ESL Design Methodology for Architecture Exploration using OSCI TLM-2.0 Standard
نویسندگان
چکیده
We present a methodology for design of complex digital systems at system level through a training video. After the introduction to SystemC and TLM-2.0, the video explains a number of design sub-levels and guidelines for design at each sub-level. A test data compression system is implemented as a case study using OSCI TLM 2.0 standard. .
منابع مشابه
TLM-2.0 in SystemVerilog
Transaction-level modeling (TLM) is a methodology for building models at high levels of abstraction, those above RTL. TLM-2.0 is a library that contains classes that implements a methodology for building transaction-level models in systemC and connecting them together. It was developed by OSCI and released in 2009 and is now on its way to becoming an IEEE standard as part of IEEE-1666-2011. In ...
متن کاملThe ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model
Design technology is expected to rise to electronic system-level (ESL). This necessitates new techniques and tools for synthesizing ESL designs and for verifying them before and after ESL synthesis. A promising verification strategy for future very complex designs is to initially verify the design at the highest level of abstraction, and then check the equivalence of the lower level automatical...
متن کاملTowards Proving TLM Properties with Local Variables
With the growing popularity and adoption of Electronic System Level (ESL) design, the verification of SystemC models at Transaction Level (TLM) has become an important research problem. In the context of formal verification, most of the existing approaches for SystemC TLM only consider basic properties such as deadlock-freedom or local assertions. In previous work, a high-level BMC-based proper...
متن کاملSystemC TLM Transaction Modelling and Dispatch for Active Object
The approach presented in this paper is a contribution to the methodology of transaction-level modelling (TLM) based on SystemC and the TLM standard of the Open SystemC Initiative (OSCI). Different from previously published approaches to the use of SystemC / TLM, we use object-oriented features to represent transactions, namely an inheritance relationship of transaction classes, transaction pol...
متن کاملTLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
The development of embedded systems starts more and more by the design of abstract models written in SystemC/TLM [18, 6]. These models allow the simulation of the embedded software before the hardware RTL descriptions are available, and are used as golden models for hardware verification. The verification of the SystemC/TLM models is an important issue, since a error in the model can mislead th...
متن کامل