Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification.

Jordan Gergov Christoph Meinel

Published in: IFIP Congress (1) (1994)

Keyphrases

model checking
binary decision diagrams
boolean functions
decision diagrams
real valued
timed automata
knowledge compilation
heuristic search
signature verification
asynchronous circuits
information systems
artificial intelligence
real world
formal verification
neural network
databases
database