Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0