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]

Authors

Nicola Bombieri

This author has not been identified. Look up 'Nicola Bombieri' in Google

Franco Fummi

This author has not been identified. Look up 'Franco Fummi' in Google

Graziano Pravadelli

This author has not been identified. Look up 'Graziano Pravadelli' in Google