Sequential circuit verification using symbolic model checking (1990)

by J Burch, E Clarke, K McMillan, D Dill
Venue:In Proceedings of the 27th