A methodology to take credit for high-level verification during RTL verification (Q1696592)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A methodology to take credit for high-level verification during RTL verification |
scientific article |
Statements
A methodology to take credit for high-level verification during RTL verification (English)
0 references
14 February 2018
0 references
SystemC
0 references
high-level synthesis
0 references
micro-architecture
0 references
high-level verification
0 references
coverage
0 references
abstraction
0 references
refinement
0 references
