Research on VHDL RTL synthesis system

被引:0
|
作者
Zhou, HF [1 ]
Lin, ZH [1 ]
Cao, W [1 ]
机构
[1] Shanghai Jiao Tong Univ, VLSI Res Inst, Shanghai 200030, Peoples R China
关键词
D O I
10.1109/DELTA.2002.994596
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, we present a prototype of VHDL RTL synthesis system- VHB. This prototype can be divided into three parts. The first part is a VHDL synthesis subset parser, the second part is an optimizer at language level, and the third part is an inferencer responsible for getting the netlist. The parser checks whether the input VHDL descriptions are in accordance with the grammar of synthesis subset, and generates the parsing tree of input descriptions. The parsing tree generated by the parser is provided to the second part of the prototype to perform language level optimization, which includes redundant and ambiguous elimination in assignment statements; expression optimization; common sub-expression extraction; operator reordering; resource sharing and loop unrolling. The task of the third part is very simple, which generates the netlist.
引用
收藏
页码:99 / 103
页数:5
相关论文
共 50 条
  • [31] RTL synthesis with physical and controller information
    Xu, M
    Kurdahi, FJ
    EUROPEAN DESIGN & TEST CONFERENCE - ED&TC 97, PROCEEDINGS, 1997, : 299 - 303
  • [32] Advantages RTL partial scan synthesis
    Greene, BS
    Mourad, S
    IMTC 2002: PROCEEDINGS OF THE 19TH IEEE INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE, VOLS 1 & 2, 2002, : 1077 - 1082
  • [33] Simulation Framework for Cycle-Accurate RTL Modeling of Partial Run-Time Reconfiguration in VHDL
    Hansen, Simen Gimle
    Koch, Dirk
    Torresen, Jim
    2013 8TH INTERNATIONAL WORKSHOP ON RECONFIGURABLE AND COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), 2013,
  • [34] RTL Synthesis: From Logic Synthesis to Automatic Pipelining
    Cortadella, Jordi
    Galceran-Oms, Marc
    Kishinevsky, Mike
    Sapatnekar, Sachin S.
    PROCEEDINGS OF THE IEEE, 2015, 103 (11) : 2061 - 2075
  • [35] Technical decisions on several key problems in VHDL high level synthesis system
    Liu M.
    Zhang D.
    Xu Q.
    Journal of Computer Science and Technology, 1999, 14 (6) : 565 - 571
  • [36] Method of RTL Debugging When Using HLS for HW Design Different Simulation Result of Verilog & VHDL
    Park, Sang Un
    Kim, Tae Pyeong
    Lee, Mee Zee
    Cho, Yong Beom
    2018 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2018, : 273 - 274
  • [37] Variable assignment statement synthesis method in RTL synthesis
    Yuan, Yuan
    Xie, Wei
    Liu, Mingye
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2002, 14 (07): : 683 - 687
  • [38] Testability analysis and test-point insertion in RTL VHDL specifications for scan-based BIST
    Boubezari, S
    Cerny, E
    Kaminska, B
    Nadeau-Dostie, B
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (09) : 1327 - 1340
  • [39] Asynchronous system synthesis based on direct mapping using VHDL and Petri nets
    Shang, D
    Burns, F
    Koelmans, A
    Yakovlev, A
    Xia, F
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2004, 151 (03): : 209 - 220
  • [40] Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis
    Bombieri, N.
    Fummi, F.
    Guarnieri, V.
    Pravadelli, G.
    Vinco, S.
    PROCEEDINGS OF THE 13TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV 2012), 2012, : 76 - 81