Verification of sequential machines using boolean functional vectors (1989)

by O Coudert, C Berthet, J C Madre
Venue:Proceedings IFIP International Workshop on Applied Formal Methods for Correct VLSI Design