Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow

Nicola Bombieri, Franco Fummi, Graziano Pravadelli. Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst., 13(3), 2008. [doi]

Abstract

Abstract is missing.