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]

Authors

Naiju Zeng

This author has not been identified. Look up 'Naiju Zeng' in Google

Wenhui Zhang

This author has not been identified. Look up 'Wenhui Zhang' in Google