Automatic Veri cation of Asynchronous Circuits Using Temporal Logic (1985)

by D Dill, E Clarke
Venue:Chapel Hill Conf. on VLSI