Formal hardware verification with BDDs: An introduction (1997)

by A Hu
Venue:In IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing (PACRIM