Sequential circuit verification using symbolic model checking (1990)

by J Burch, E Clarke, K McMillan, D Dill
Venue:In Design Automation Conf