Browsing by Author Huang, Bo-Yuan
Showing results 1 to 3 of 3
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Nov-2018 | A formal instruction-level GPU model for scalable verification | Xing, Yue; Huang, Bo-Yuan; Gupta, Aarti; Malik, Sharad |
| 2019 | ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions | Huang, Bo-Yuan; Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
| Oct-2017 | Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification | Subramanyan, Pramod; Huang, Bo-Yuan; Vizel, Yakir; Gupta, Aarti; Malik, Sharad |