Automatic verification of asynchronous circuits using temporal logic (1986)

by D Dill, E M Clarke
Venue:In Proceedings of the IEEE