Ilang: a modeling and verification platform for SoCs using instruction-level abstractions
- Bo Yuan Huang
- , Hongce Zhang
- , Aarti Gupta
- , Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
15
Link opens in a new tab
Scopus
citations