An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS

Naiju Zeng, Wenhui Zhang. An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. In 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014. pages 198-201, IEEE, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: