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

Naiju Zeng, Wenhui Zhang

Browse the full APSEC paper archive.