Automatic circuit veri cation using temporal logic: Two new examples (1985)

by M Browne, E M Clarke, D L Dill
Venue:In IEEE Int. Conf. on Computer Design: VLSI and Computers