Checking the correctness of sequential circuits (1985)

by Clarke, D Dill
Venue:In Proc 1985 IEEE Int. Conf. Comput. Design