Scaling RTL property checking using feasible path analysisand decomposition.

Lingyi Liu Shobha Vasudevan

Published in: ACM Great Lakes Symposium on VLSI (2013)

Keyphrases

video sequences
image sequences
decomposition method
real time
shortest path
hierarchical decomposition
optimal path
wavelet packet
desirable properties
website
databases
data sets
minimum cost
model based diagnosis
search engine
real world
consistency checking