Combinational Logic Verification with FBDDs

Jordan Gergov Christoph Meinel

Published in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1993)

Keyphrases

model checking
formal verification
knowledge base
case study
concurrent systems
decision making
three dimensional
database systems
data structure
digital libraries
preprocessing
special case
signature verification
fingerprint verification