Synthesis of initializable asynchronous circuits

S.T. Chakradhar, S. Banerjee, R.K. Roy, D.K. Pradhan
1996 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
We show that existing synthesis techniques may produce asynchronous circuits that are not initializable by gatelevel analysis tools even when the design is functionally initializable.Due to the absence of any initialization sequence, a fault simulator or test generator that assumes an unknown starting state will be completely ineffective for these circuits. In this paper, we show that proper consideration of initializability during the asynchronous circuit synthesis procedure can guarantee
more » ... alizable implementations. We show that the assignment of don't cares during the synthesis procedure affects the initializability of the final implementation. We present a novel implicit enumeration procedure that selectively assigns don't cares to obtain an initializable implementation. Initialization sequences are obtained as a by-product of our synthesis procedure. Zndex Terms-Asynchronous synthesis, signal transition graph, initialization, don't care assignment.
doi:10.1109/92.502197 fatcat:gw2pnxjyqrfhtia5a3jpjxporm