Template-based Synthesis of Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik

Browse the full FMCAD paper archive.