Login / Signup
CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits.
Miroslav N. Velev
Ping Gao
Published in:
ISCAS (2011)
Keyphrases
</>
formal methods
formal analysis
formal specification
knowledge based systems
process algebra
safety critical
model checking
model checker
cmos technology
provably correct
fine grained
reactive systems
boolean functions
high speed
software engineering
expert systems
data mining