Carl Pixley et al, "Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams", Proc. of the 29th ACM/IEEE Design Automation Conf., pp. 620-623, 1992. |
S. T. Chakradhar et al, "Synthesis of Initializable Asynchronous Circuits", 7th Int'l Conference on VLSI Design, Jan. 1994. |
Kwang-Ting Cheng et al, "State Assignment for Initializable Synthesis", IEEE 1989, pp. 212-215. |
L. Lavagno et al, "Algorithms for synthesis of hazard-free asynchronous circuits", 28th ACM/IEEE Design Automation Conf. pp. 302-308. |
Carl Pixley et al, "Calculating Resetability and Reset Sequences", IEEE 1991, pp. 376-378. |
Ben Mathew et al, "Partial Reset: An Inexpensive Design for Testability Approach", IEEE 1993, pp. 151-155. |