Automatic verification of mixed-level logic circuits (1998)

by Keith Hanna
Venue:Formal Methods in Computer-Aided Design