Automatic generation of systemc transactors from graphical FSM
- 1 December 2007
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 257-260
- https://doi.org/10.1109/icm.2007.4497706
Abstract
To specify, design, and implement complex system-on-chip (SoC), a new modeling method, transaction level modeling (TLM), has been proposed recently. TLM allows designers to focus on functionality while abstracting implementation details. At the register transfer level (RTL), however, different modules communicate through detailed pin level signaling. SoC design methodologies involve the integration of different intellectual property (IP) blocks modeled at different levels of abstraction. Therefore a special module or channel is needed in order to link modules, IPs, designed at different abstraction levels. This module, called transactor, can be modeled using a finite state machine (FSM) providing a functional specification of the protocol's behavior. In this paper, we propose a methodology to specify transactors using graphical finite state machine (FSM). This technique enables an automatic generation of SystemC TLM-RTL transactors via an intermediate translation of the user-defined FSM to the Abstract State Machines Language (AsmL). The UTOPIA standard protocol is provided as an illustration of this approach.Keywords
This publication has 4 references indexed in Scilit:
- Functional Verification Methodology Based on Formal Interface Specification and Transactor GenerationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Abstract State MachinesPublished by Springer Nature ,2003
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977