Signal Coverage Computation in Formal Verification.

Hamid Shojaei Mohammad Sayyaran

Published in: VLSI-SoC (2006)

Keyphrases

formal verification
model checking
bounded model checking
automated verification
signal processing
non stationary
model checker
program slicing
symbolic model checking
image processing
frequency domain
signal detection
test cases
high frequency