Accurately Timed Transaction Level Models for Virtual Prototyping at High Abstraction Level

被引:0
|
作者
Lu, Kun [1 ]
Mueller-Gritschneder, Daniel [1 ]
Schlichtmann, Ulf [1 ]
机构
[1] Tech Univ Munich, Inst Elect Design Automat, Munich, Germany
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Transaction level modeling (TLM) improves the simulation performance by raising the abstraction level. In the TLM 2.0 standard based on OSCI SystemC, a single transaction can transfer a large data block. Due to such high abstraction, a great amount of information becomes invisible and thus timing accuracy can be degraded heavily. We present a methodology to accurately time such block transactions and achieve high simulation performance at the same time. First, before abstraction, a profiling process is performed on an instruction set simulator (ISS). Driver functions that implement the transfer of the data blocks are simulated. Several techniques are employed to trace the exact start and end of the driver functions as well as HW usages. Thus, a profile library of those driver functions can be constructed. Then, the application programs are host-compiled and use a single transaction to transfer a data block. A strategy is presented that efficiently estimates the timing of block transactions based on the profile library. It is the first method that takes into account caching effects that influence the timing of block transactions. Moreover, it ensures overall timing accuracy when integrated in other SW timing tools for full system simulation. Experimental results show that the block transactions are accurately timed, with average error less than 1 %. At the same time, the simulation gain can be up to three orders of magnitude.
引用
收藏
页码:135 / 140
页数:6
相关论文
共 50 条
  • [21] On cosimulating multiple abstraction-level system-level models
    Patel, Hiren D.
    Shukla, Sandeep K.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, 27 (02) : 394 - 398
  • [22] SystemC transaction level models and RTL verification
    Swan, Stuart
    43rd Design Automation Conference, Proceedings 2006, 2006, : 90 - 92
  • [23] Transaction level modeling: Flows and use models
    Donlin, A
    INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS, 2004, : 75 - 80
  • [24] Static analysis of transaction-level models
    Agosta, G
    Bruschi, F
    Sciuto, D
    40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 448 - 453
  • [25] Design for verification of SystemC transaction level models
    Habibi, A
    Tahar, S
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 560 - +
  • [26] DESIGNING AT A HIGH-LEVEL OF ABSTRACTION
    MISTREE, F
    ALLEN, JK
    ATTIA, F
    BEHAVIORAL SCIENCE, 1993, 38 (02): : 124 - 138
  • [27] Determination of the abstraction level in production network models
    Benfer, Martin
    Ziegler, Moritz
    Guetzlaff, Andreas
    Fraenken, Bastian
    Cremer, Sven
    Prote, Jan-Philipp
    Schuh, Guenther
    52ND CIRP CONFERENCE ON MANUFACTURING SYSTEMS (CMS), 2019, 81 : 198 - 203
  • [28] OPTIMIZATION AT A HIGH-LEVEL OF ABSTRACTION
    RICHARD, I
    MILGROM, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 367 : 252 - 256
  • [29] High abstraction level CAD tool implementation of MOS drain current models
    Prodanov, William
    Valle, Maurizio
    MICROELECTRONICS JOURNAL, 2009, 40 (08) : 1225 - 1234
  • [30] High level synthesis of timed asynchronous circuits
    Yoneda, T
    Matsumoto, A
    Kato, M
    Myers, C
    11TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 2005, : 178 - 189