Logo image
A Formal Full Bus TLM Modeling for Fast and Accurate Contention Analysis
Conference paper

A Formal Full Bus TLM Modeling for Fast and Accurate Contention Analysis

Mao-Lin Li, Chen-Kang Lo, Li-Chun Chen, Hong-Jie Huang, Jen-Chieh Yeh and Ren-Song Tsay
The 17th Workshop on Synthesis And System Integration of Mixed Information technologies
2012

Abstract

Cycle-count Accurate Transaction level;CCA-TLM;Composite Master-Slave-pair and Arbiter Transaction;CMSAT;bus architecture validation;contention;MultiProcessor System-on-Chip;MPSoC;Cycle-Accurate bus model;Formal Full Bus TLM Modeling;Contention Analysis
This paper presents an effective Cycle-count Accurate Transaction level (CCA-TLM) full bus modeling and simulation technique. Using the two-phase arbiter and master-slave models, an FSM-based Composite Master-Slave-pair and Arbiter Transaction (CMSAT) model is proposed for efficient and accurate dynamic simulations. This approach is particularly effective for bus architecture validation and contention analysis of complex MultiProcessor System-on-Chip (MPSoC) designs. The experimental results show that the proposed approach performs 23 times faster than the Cycle-Accurate (CA) bus model while maintaining 100% accurate timing information at every transaction boundary

Metrics

1 Record Views

Details

Logo image