Transaction-level models for AMBA bus architecture using SystemC 2.0 [SOC applications] | IEEE Conference Publication | IEEE Xplore