A unified framework for the formal verification of sequential circuits (1990)

by O Coudert, J C Madre
Venue:In Proceedings of the IEEE International Conference on Computer Aided Design