Signal domain based reachability analysis in RTL circuits.

Sharad Bagri Kelson Gent Michael S. Hsiao

Published in: ISQED (2015)

Keyphrases

reachability analysis
model checking
domain specific
signal processing
non stationary
high frequency
markov decision processes
search algorithm
frequency domain
model based diagnosis
data mining
image sequences
state space
high speed
steady state
domain independent