Template-based synthesis of instruction-level abstractions for SoC verification
- Pramod Subramanyan
- , Yakir Vizel
- , Sayak Ray
- , Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
30
Link opens in a new tab
Scopus
citations