Verifying sequential equivalence using ATPG techniques.

Shi-Yu Huang Kwang-Ting Cheng Kuang-Chien Chen

Published in: ACM Trans. Design Autom. Electr. Syst. (2001)

Keyphrases

model checking
data sets
database
search engine
computer vision
decision making
real time
image processing
website
cooperative
data streams
medical images
logic programs
sequential data