An ATPG-Based Framework for Verifying Sequential Equivalence.

Shi-Yu Huang Kwang-Ting Cheng Kuang-Chien Chen Uwe Gläser

Published in: ITC (1996)

Keyphrases

main contribution
theoretical framework
information systems
web pages
three dimensional
high level
face recognition
learning environment
lightweight
software architecture
bayesian framework
sequential data