Login / Signup
Evaluating and comparing simulation verification vs. formal verification approach on block level design.
Eyal Segev
Sharon Goldshlager
Hillel Miller
Oren Shua
Olga Sher
Shlomo Greenberg
Published in:
ICECS (2004)
Keyphrases
</>
formal verification
model checking
model checker
functional verification
automated verification
symbolic model checking
bounded model checking
case study
simulation environment
temporal logic
formal methods
program slicing