Transaction-level models for AMBA bus architecture using SystemC 2.0