Sign in
E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods.
Eshan Singh
Clark W. Barrett
Subhasish Mitra
Published in:
CAV (2) (2017)
Keyphrases
</>
formal methods
error detection
bug localization
error correction
fault tolerance
knowledge based systems
source code
model checking
artificial intelligence
fault tolerant
software engineering
formal specification
website
information retrieval
expert systems
multi agent systems
data streams