![](/img/cover-not-exists.png)
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
Bombieri, Nicola, Fummi, Franco, Guarnieri, Valerio, Pravadelli, Graziano, Stefanni, Francesco, Ghasempouri, Tara, Lora, Michele, Auditore, Giovanni, Marcigaglia, Mirella NegroVolume:
31
Language:
english
Journal:
Journal of Electronic Testing
DOI:
10.1007/s10836-015-5514-8
Date:
April, 2015
File:
PDF, 2.10 MB
english, 2015