Boundary Conditions for Iteratively Realized Sequential Circuits

A more compact and structured way of obtaining the boundary conditions for iteratively realized sequential circuits is presented. The notion of a ``predecessor tree'' is used.

[1]  Arthur D. Friedman.  Feedback in Synchronous Sequential Switching Circuits , 1966, IEEE Trans. Electron. Comput..

[2]  Monty Newborn,et al.  Iteratively Realized Sequential Circuits , 1970, IEEE Transactions on Computers.

[3]  Arthur D. Friedman.  Feedback in Asynchronous Sequential Circuits , 1966, IEEE Trans. Electron. Comput..