@inproceedings{a45c791a21154daeb11a83a2b754f61c,
title = "Automatic verification of asynchronous circuits",
abstract = "Establishing the correctness of complicated asynchronous circuit is in general quite difficult because of the high degree of nondeterminism that is inherent in such devices. Nevertheless, it is also very important in view of the cost involved in design and testing of circuits. We show how to give specifications for circuits in a branching time temporal logic and how to mechanically verify them using a simple and efficient model checker. We also show how to tackle a large and complex circuit by verifying it hierarchically.",
author = "E. Clarke and B. Mishra",
note = "Publisher Copyright: {\textcopyright} 1984, Springer-Verlag.; Workshop on Logics of Programs, 1983 ; Conference date: 06-06-1983 Through 08-06-1983",
year = "1984",
doi = "10.1007/3-540-12896-4_358",
language = "English (US)",
isbn = "9783540128960",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "101--115",
editor = "Edmund Clarke and Dexter Kozen",
booktitle = "Logics of Programs - Workshop",
}