A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs.

Aman Kumar Sebastian Simon

Published in: CoRR (2024)

Keyphrases

formal verification
model checking
bounded model checking
orders of magnitude
cost effective
program slicing
data sets
digital libraries
domain independent
design methodology
automated verification