A method for symbolic verification of synchronous circuits (1991)

by T Filkom
Venue:in Proc. Tenth Int. Symp. Computer Hardware Description Longuages and their Applications