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]
Abstract is missing.