SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications
- Huaixi Lu
- , Yue Xing
- , Aarti Gupta
- , Sharad Malik
Research output: Contribution to journal › Article › peer-review
1
Link opens in a new tab
Scopus
citations