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]
Abstract is missing.