System Prototyping Based on SystemC Transaction-Level Modeling | IEEE Conference Publication | IEEE Xplore