Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 37 (2018-08-01), Heft 8, S. 1692-1705
Online
academicJournal
Zugriff:
Titel: |
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.
|
---|---|
Autor/in / Beteiligte Person: | Subramanyan, Pramod ; Huang, Bo-Yuan ; Vizel, Yakir ; Gupta, Aarti ; Malik, Sharad |
Link: | |
Zeitschrift: | IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 37 (2018-08-01), Heft 8, S. 1692-1705 |
Veröffentlichung: | 2018 |
Medientyp: | academicJournal |
ISSN: | 0278-0070 (print) |
DOI: | 10.1109/TCAD.2017.2764482 |
Sonstiges: |
|