Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification

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

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Fingerprint

Dive into the research topics of 'Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification'. Together they form a unique fingerprint.

Engineering & Materials Science