Seqver : A Sequential Equivalence Verifier for Hardware Designs .

Daher Kaiss Silvian Goldenberg Zurab Khasidashvili

Published in: ICCD (2006)

Keyphrases

hardware designs
model based diagnosis
database
databases
parallel version
machine learning
information systems
case study
sequential search