Accelerated verification of RTL assertions based on satisfiability solvers.

Ranan Fraer Shahid Ikram Gila Kamhi Tim Leonard Abdel Mokkedem

Published in: HLDVT (2002)

Keyphrases

face verification
knowledge base
model checking
verification method
signature verification
concurrent systems
information systems
website
data structure
asynchronous circuits