Sequential circuit verification using symbolic model checking (1990)

by J R Burch, E M Clarke, K L McMillan, D L Dill
Venue:In Proc. DAC