Verification of asynchronous interface circuits with bounded wire delays

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

An Introduction to Input/Output Automata

Nancy Lynch, Mark R. Tuttle · Formal Aspects of Computing · 2026 · 1K citations · Full text

Engineering, Computer Engineering, Computer Science +8

Asynchronous Sequential Switching Circuits

S.H. Unger, Stephen Y. H. Su · IEEE Transactions on Systems Man and Cybernetics · 1973 · 584 citations

Engineering, Computer Engineering, Computer Science +9

Hazard Detection in Combinational and Sequential Switching Circuits

E. B. Eichelberger · IBM Journal of Research and Development · 1965 · 287 citations

Engineering, Computer Engineering, Electrical Engineering +15

Algorithms for synthesis of hazard-free asynchronous circuits

Luciano Lavagno, Kurt Keutzer, Alberto Sangiovanni‐Vincentelli · 1991 · 134 citations

Engineering, Computer Engineering, Electrical Engineering +11