The following publications are possibly variants of this publication:
- On the reuse of RTL assertions in SystemC TLM verificationNicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia. latw 2014: 1-6 [doi]
- On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTLNicola Bombieri, Franco Fummi, Graziano Pravadelli. date 2006: 1007-1012 [doi]
- RTL property abstraction for TLM assertion-based verificationNicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni. date 2015: 85-90 [doi]
- RTL Assertion Mining with Automated RTL-to-TLM AbstractionTara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik. fdl 2019: 1-8 [doi]
- Reusing Verification Assertions as Security Checkers for Hardware Trojan DetectionMohammad Eslami, Tara Ghasempouri, Samuel Pagliarini. isqed 2022: 1-6 [doi]
- On the Reuse of TLM Mutation Analysis at RTLValerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar. et, 28(4):435-448, 2012. [doi]