Login / Signup
Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs.
Bijan Alizadeh
Payman Behnam
Published in:
Microprocess. Microsystems (2013)
Keyphrases
</>
model based diagnosis
formal methods
formal analysis
model checking
hardware designs
artificial intelligence
data sets
information systems
case study
petri net
error correction
formal specification
formal language