Essential Issues in System Level Design

Transaction-level models for AMBA bus architecture using SystemC 2.0

“…In our model, we concentrated exclusively in the program-state machine (PSM) [5], that is, an instance of a heterogeneous model that integrates a hierarchical concurrent finite-state-machine (HCFSM) with a programming language paradigm. The HCFSM is essentially an extension of the FSM model, which adds support for hierarchy and concurrency, thus eliminating the potential for state and arc explosion that occurred when describing hierarchical arc concurrent system with FSM models.…”

“…This model consists of a hierarchy of program-states, in which each program state represents a distinct mode of computation [5]. At any given time, only a subset of program-states will be active, that is, actively carrying out their computation.…”