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

Naiju Zeng, Wenhui Zhang

Browse the full ICECCS paper archive.