11 search results - page 1 / 3 » Modeling and Analysis of the AMBA Bus Using CSP and B |
WOTUG
2007
13 years 6 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
CONCURRENCY
2010
13 years 5 months ago
2010
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
DATE
2005
IEEE
13 years 7 months ago
2005
IEEE
Transaction Level Modeling (TLM) approach is used to meet the simulation speed as well as cycle accuracy for large scale SoC performance analysis. We implemented a transaction-lev...
DAC
2007
ACM
14 years 6 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...