Methods of equivalence checking and ECO support under C-based design through reproduction of C descriptions from implementation designs.
Qinhao WangYusuke KimuraMasahiro FujitaPublished in: ISQED (2017)
Keyphrases
- computer aided
- software environment
- circuit design
- implementation issues
- design tools
- qualitative and quantitative
- efficient implementation
- machine learning methods
- design process
- software architecture
- neural network
- statistical methods
- object oriented
- design methodology
- computational cost
- preprocessing
- design considerations
- case study
- artificial intelligence