Login / Signup
A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage.
Liang Zhang
Indradeep Ghosh
Michael S. Hsiao
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
</>
design principles
main contribution
neural network
conceptual framework
theoretical framework
computational framework
circuit design
software architecture
keywords
knowledge based systems
semi automatic
design tools
decision model
design concepts
high level synthesis