Automatic Assertion Generation for Simulation, Formal Verification and Emulation.

Tong Zhang Daniel G. Saab Jacob A. Abraham

Published in: ISVLSI (2017)

Keyphrases

formal verification
model checking
simulation model
model checker
automated verification
bounded model checking
semi automatic
program slicing
fully automatic
mathematical model
simulation study
search strategies
graph theory