A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS

Naiju Zeng, Wenhui Zhang. A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. In 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1. pages 371-379, IEEE, 2013. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: