Towards Fully Automated TLM-to-RTL Property Refinement

被引：0
|
作者：
Herdt, Vladimir [1 ]
Le, Hoang M. [1 ]
Grosse, Daniel [1 ,2 ]
Drechsler, Rolf [1 ,2 ]
机构：
[1] Univ Bremen, Inst Comp Sci, D-28359 Bremen, Germany
[2] DFKI GmbH, Cyber Phys Syst, D-28359 Bremen, Germany
来源：
PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE) | 2018年
关键词：
CHECKING;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
An ESL design flow starts with a TLM description, which is thoroughly verified and then refined to a RTL description in subsequent steps. The properties used for TLM verification are refined alongside the TLM description to serve as starting point for RTL property checking. However, a manual transformation of properties from TLM to RTL is error prone and time consuming. Therefore, in this paper we propose a fully automated TLM-to-RTL property refinement based on a symbolic analysis of transactors. We demonstrate the applicability of our property refinement approach using a case study.
引用
收藏
页码：1508 / 1511
页数：4
相关论文
共 50 条
  • [1] Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions
    Pierre, Laurence
    INTEGRATION-THE VLSI JOURNAL, 2021, 76 : 190 - 204
  • [2] Verification methodologies in a TLM-to-RTL design flow
    Kasuya, Atsushi
    Tesfaye, Tesh
    2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 199 - +
  • [3] Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow
    Bombieri, Nicola
    Fummi, Franco
    Pravadelli, Graziano
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2008, 13 (03) : 1 - 22
  • [4] Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL Synthesis
    Bombieri, Nicola
    Fummi, Franco
    Guarnieri, Valerio
    PROCEEDINGS OF THE 2010 18TH IEEE/IFIP INTERNATIONAL CONFERENCE ON VLSI AND SYSTEM-ON-CHIP, 2010, : 61 - 66
  • [5] System-on-Chip Verification: TLM-to-RTL Assertions Transformation
    Amor, Zeineb Bel Hadj
    Pierre, Laurence
    Borrione, Dominique
    2014 10TH CONFERENCE ON PH.D. RESEARCH IN MICROELECTRONICS AND ELECTRONICS (PRIME 2014), 2014,
  • [6] A Tool for the Automatic TLM-to-RTL Conversion of Embedded Systems Requirements for a Seamless Verification Flow
    Amor, Zeineb Bel Hadj
    Pierre, Laurence
    Borrione, Dominique
    2014 22ND INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2014,
  • [7] RTL Assertion Mining with Automated RTL-to-TLM Abstraction
    Ghasempouri, Tara
    Danese, Alessandro
    Pravadelli, Graziano
    Bombieri, Nicola
    Raik, Jaan
    PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
  • [8] Towards equivalence checking between TLM and RTL models
    Bombieri, Nicola
    Fummi, Franco
    Pravadelli, Graziano
    Marques-Silva, Joao
    MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 113 - +
  • [9] RTL property abstraction for TLM assertion-based verification
    Bombieri, Nicola
    Filippozzi, Riccardo
    Pravadelli, Graziano
    Stefanni, Francesco
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 85 - 90
  • [10] Towards Fully Automated Phototransfection
    Cappelleri, David J.
    Halasz, Adam
    Sul, Jai-Yoon
    Kim, Tae Kyung
    Eberwine, James
    Kumar, Vijay
    2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 202 - +
12345