Subramanyan, Pramod, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, and Sharad Malik. 2017. “Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification”. TCAD.
Bo-Yuan Huang
First name
Bo-Yuan
Last name
Huang