|
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models |
|
|
|
Titel: |
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models |
Auteur: |
Bombieri, Nicola Fummi, Franco Guarnieri, Valerio Pravadelli, Graziano Stefanni, Francesco Ghasempouri, Tara Lora, Michele Auditore, Giovanni Marcigaglia, Mirella Negro |
Verschenen in: |
Journal of electronic testing |
Paginering: |
Jaargang 31 (2015) nr. 2 pagina's 167-180 |
Jaar: |
2015 |
Inhoud: |
|
Uitgever: |
Springer US, New York |
Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
|
|
|
|