Template-based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification
Subramanyan, Pramod, Huang, Bo-Yuan, Vizel, Yakir, Gupta, Aarti, Malik, SharadYear:
2017
Language:
english
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
DOI:
10.1109/TCAD.2017.2764482
File:
PDF, 8.87 MB
english, 2017