Modular Verification of Multipliers.

Kavita Ravi Abelardo Pardo Gary D. Hachtel Fabio Somenzi

Published in: FMCAD (1996)

Keyphrases

model checking
asynchronous circuits
face verification
highly flexible
multiscale
formal methods
formal analysis
modular structure