Integrating RTL IPs into TLM designs through automatic transactor generation

Bombieri, Nicola; Deganello, Nicola; Fummi, Franco

doi:10.1145/1403375.1403382

Cited by 16 publications

(10 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, the RTL interface augmenting the LSF module has to be connected to the SCNSL task. This is done by implementing the task as a transactor [3]. The component is augmented with an RTL interface symmetric w.r.t.…”

Section: F Interfacing Systemc-ams Descriptionsmentioning

confidence: 99%

Simulation Alternatives for Modeling Networked Cyber-Physical Systems

Lora

Muradore

Reffato

et al. 2014

2014 17th Euromicro Conference on Digital System Design

Self Cite

View full text Add to dashboard Cite

Several embedded system applications are used to control physical processes. Sensing, computation and actuation are combined thus involving a set of highly heterogeneous components, i.e., digital and analog hardware, software, energy sources, and external environment. Moreover, the growing use of networks contributes to introduce a further level of heterogeneity. All these aspects should be taken into account in the design process to find highly optimized solutions; therefore a Cyber-Physical System approach is needed. In particular, simulation is a key technique in the different design stages. However, the heterogeneity of components, together with the presence of the network, forces to adopt complex and slow cosimulation techniques to carry on the simulation of the entire system.This work aims at proposing SystemC as unified framework to model and simulate Networked Cyber-Physical Systems. Concerning the modeling of continuous-time components and a specific class of discrete-time components, the different Models of Computation provided by the Analog/Mixed-Signal (AMS) extension of SystemC are used. Regarding the network, SystemC and the SystemC Network Simulation Library are used to model communications at different abstraction levels. The accuracy and speed of different simulation alternatives are compared by the application to a networked control system.

show abstract

Section: F Interfacing Systemc-ams Descriptionsmentioning

confidence: 99%

Simulation Alternatives for Modeling Networked Cyber-Physical Systems

Lora

Muradore

Reffato

et al. 2014

2014 17th Euromicro Conference on Digital System Design

Self Cite

View full text Add to dashboard Cite

show abstract

“…[4] allows to gain automatic transactor specification, by identifying the sets of states that correspond to a read or a write operation in an EFSM representation of the communication protocol that is automatically extracted from a testbench of the component. Similarly, [5] allows device driver generation provided a target architecture configuration and the partitioning of the EFSM representing the device communication protocol into a set of functionalities.…”

Section: Implementation Of Connecting Componentsmentioning

confidence: 99%

“…Furthermore, if components belong to different domains (e.g., HW and SW), it becomes necessary to build co-simulation frameworks or to create connecting components that allow communication despite of the heterogeneity. Some works in literature target the generation of connecting components, such as transactors and device drivers [4,5]. Unfortunately, there is no comprehensive methodology to analyze what components are necessary and to support the designer while generating them and integrating the system.…”

Section: Introductionmentioning

confidence: 99%

The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems

Braga

Fummi

Pravadelli

et al. 2012

2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)

Self Cite

View full text Add to dashboard Cite

Modern embedded systems require a tight integration among several heterogeneous components including digital and analog HW, as well as HW-dependent SW. In literature there is a lack of a complete approach, allowing reuse and at the same time supporting correct integration of heterogeneous components. Indeed, traditional approaches rely either on homogeneous top-down methodologies (that do not allow reuse) or on co-simulation (that does not guarantee correct integration). This paper proposes to combine IP-XACT and UNIVERCM. The former is an IEEE standard for specifying interface and communication style of digital IPs. The latter is a computational model that allows to represent the starting heterogeneous components in a homogeneous way. In this way, IP-XACT is used in this paper to support the integration of general heterogeneous components, to extract component interfaces and to generate the necessary connecting modules. Furthermore, UNIVERCM allows to generate a homogeneous representation of the components behavior (in a bottom-up flow) to allow simulation and validation of the generated components and of the final system. Thus, this strange pair allows integration and validation of system communication. The effectiveness of this novel approach has been proven on complex heterogeneous benchmarks.

show abstract

“…A methodology for reusing information of the RTL communication protocol contained in the RTL testbenches has been originally proposed in [12] to automatically generate TLM transactors. In this paper we adopt the same idea but we show how such information can be exploited for automatically generating software device drivers.…”

mentioning

confidence: 99%

Correct-by-construction generation of device drivers based on RTL testbenches

Bombieri

Fummi

Pravadelli

et al. 2009

2009 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition

View full text Add to dashboard Cite

The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, even formal, specification of the device driver functionalities. In the systemlevel design, IP functionalities are tested by using testbenches, implemented to contain the communication protocols to correctly interact with the device. The aim of this paper is to present a methodology to automatically generate device drivers from the testbench of any RTL IP. The only manual step required is to tag the states corresponding to the different device functionalities. The Extended Finite State Machines (EFSMs) are then used to create a correct-by-construction two-level device driver: the lower level deals with architectural choices, while the higher one is derived from the EFSMs and it implements the communication protocols. The effectiveness of this methodology has been proved by applying it to a platform provided by STMicroelectronics.

show abstract

Integrating RTL IPs into TLM designs through automatic transactor generation

Abstract: Abstract

Cited by 16 publications

References 22 publications

Simulation Alternatives for Modeling Networked Cyber-Physical Systems

Simulation Alternatives for Modeling Networked Cyber-Physical Systems

The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems

Correct-by-construction generation of device drivers based on RTL testbenches

Contact Info

Product

Resources

About