Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia. Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electronic Testing, 31(2):167-180, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.