A step towards intelligent translation from high-level design to RTL

被引:3
|
作者
David, JP [1 ]
Bergeron, É [1 ]
机构
[1] Univ Montreal, Montreal, PQ, Canada
关键词
D O I
10.1109/IWSOC.2004.1319875
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Many researches have progressed to elaborate high level languages for system design. Nevertheless automatic refinement from high level to RTL can still not be automated and if designers can now specify their system at a high level, they are still forced to manually implement its RTL representation or use IP. We have developed an intermediate level language based on the representation of ASM charts with extensions such as user defined operators, communication channels, generic calls and recursivity but near the RTL level. This paper describes our compiler and presents our latest compilation results: the recursive "Towers of Hanoi"' algorithm, various sort algorithms (included quick sort) and a mix of heap and merge sorts to implement fast parallel sort. These algorithms have been automatically synthesized in a FPGA and offer one to three orders I of magnitude improvement compared to a pure software implementation for NoC The tool is easily accessible to software or hardware designers and people from both communities will appreciate its high-level and cycle accurate approach.
引用
收藏
页码:183 / 188
页数:6
相关论文
共 50 条
  • [21] Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models
    Xing, Yue
    Gupta, Aarti
    Malik, Sharad
    27TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC 2022, 2022, : 154 - 159
  • [22] A methodology to take credit for high-level verification during RTL verification
    Doucet, Frederic
    Kurshan, Robert
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (02) : 395 - 418
  • [23] Accelerating RNN on FPGA with Efficient Conversion of High-Level Designs to RTL
    Li, Zongze
    Fu, Song
    2019 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2019, : 3355 - 3364
  • [24] Robust and Efficient RTL to C Compiler Optimized for High-Level Synthesis
    Rashid, Imtiaz
    Schafer, Benjamin Carrion
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 44 (02) : 559 - 567
  • [25] Formal Equivalence Checking between High-Level and RTL Hardware Designs
    Castro Marquez, Carlos Ivan
    Strum, Marius
    Chau, Wang Jiang
    2013 14TH IEEE LATIN-AMERICAN TEST WORKSHOP (LATW2013), 2013,
  • [26] Towards Goal Based Architecture Design for Learning High-Level Representation of Behaviors from Demonstration
    Fonooni, Benjamin
    Hellstrom, Thomas
    Janlert, Lars-Erik
    2013 IEEE INTERNATIONAL MULTI-DISCIPLINARY CONFERENCE ON COGNITIVE METHODS IN SITUATION AWARENESS AND DECISION SUPPORT (COGSIMA), 2013, : 67 - 74
  • [27] THE FUTURE OF HIGH-LEVEL DESIGN
    DEGEUS, AJ
    ELECTRONIC DESIGN, 1992, 40 (24) : 122 - 122
  • [28] HIGH-LEVEL LANGUAGE DESIGN
    ALLWEISS, JA
    MCCLINTOCK, JH
    DATAMATION, 1981, 27 (04): : 186 - &
  • [29] An Intelligent Assistant for High-Level Task Understanding
    Sun, Ming
    Chen, Yun-Nung
    Rudnicky, Alexander I.
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON INTELLIGENT USER INTERFACES (IUI'16), 2016, : 169 - 174
  • [30] HIGH-LEVEL DESIGN ISSUES
    SHELDON, C
    ELECTRONIC ENGINEERING, 1994, 66 (807): : 12 - 12