Automatic RTL Test Generation from SystemC TLM Specifications

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita. Automatic RTL Test Generation from SystemC TLM Specifications. ACM Trans. Embedded Comput. Syst., 11(2):38, 2012. [doi]

Abstract

Abstract is missing.