RTL2RTL Formal Equivalence: Boosting the Design Confidence.

M. V. Achutha Kiran Kumar Aarti Gupta S. S. Bindumadhava

Published in: FSFMA (2014)

Keyphrases

design process
optimal design
design space
real time
neural network
decision trees
semi supervised
knowledge based systems
formal methods