Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
Crossref DOI link: https://doi.org/10.1007/s10836-015-5514-8
Published Online: 2015-03-20
Published Print: 2015-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bombieri, Nicola
Fummi, Franco
Guarnieri, Valerio
Pravadelli, Graziano
Stefanni, Francesco
Ghasempouri, Tara
Lora, Michele
Auditore, Giovanni
Marcigaglia, Mirella Negro
Text and Data Mining valid from 2015-03-20