Naiju ZengWenhui ZhangAn Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS.198-2012014ICECCShttps://doi.org/10.1109/ICECCS.2014.36https://doi.ieeecomputersociety.org/10.1109/ICECCS.2014.36conf/iceccs/2014db/conf/iceccs/iceccs2014.html#ZengZ14