Verification of Switch-Level Designs with Many-Valued Logic.

Reiner Hähnle Werner Kernig

Published in: LPAR (1993)

Keyphrases

modal logic
truth values
data sets
model checking
logic programming
neural network
levels of abstraction
verification method
functional verification
learning algorithm
logic programs
databases
classical logic
signature verification
digital circuits
database
concurrent systems