template-based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification

Author

Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik

Publication Year

2017

Type

Journal Article

Journal

TCAD