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 条
  • [1] An RTL design-space exploration method for high-level applications
    Kao, PC
    Hsieh, CK
    Wu, ACH
    PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 162 - 167
  • [2] An RTL design-space exploration method for high-level applications
    Kao, Peng-Cheng
    Hsieh, Chih-Kuang
    Su, Ching-Feng
    Wu, Allen C.-H.
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2001, E84-A (11) : 2648 - 2654
  • [3] An RTL design-space exploration method for high-level applications
    Kao, PC
    Hsieh, CK
    Su, CF
    Wu, ACH
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11): : 2648 - 2654
  • [4] A High-level Synthesis Design Flow from ESL to RTL with Multi-parametric Optimization Objective
    Sengupta, Anirban
    Sedaghat, Reza
    IETE JOURNAL OF RESEARCH, 2011, 57 (02) : 172 - 189
  • [5] High-Level Synthesis of Key-Obfuscated RTL IP with Design Lockout and Camouflaging
    Islam, Sheikh Ariful
    Sah, Love Kumar
    Katkoori, Srinivas
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2021, 26 (01)
  • [6] An interactive design environment for c-based high-level synthesis of RTL processors
    Shin, Dongwan
    Gerstlauer, Andreas
    Domer, Rainer
    Gajski, Daniel D.
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2008, 16 (04) : 466 - 475
  • [7] Towards an automatic diagnosis for high-level design validation
    Khalil, M
    Le Traon, Y
    Robach, C
    INTERNATIONAL TEST CONFERENCE 1998, PROCEEDINGS, 1998, : 1010 - 1018
  • [8] HIGH-LEVEL TRANSLATION INITIATION
    GOLD, L
    STORMO, GD
    METHODS IN ENZYMOLOGY, 1990, 185 : 89 - 93
  • [9] Verification of RTL generated from scheduled behavior in a high-level synthesis flow
    Ashar, P
    Bhattacharya, S
    Raghunathan, A
    Mukaiyama, A
    1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 517 - 524
  • [10] Tutorial - Bluespec SystemVerilog: Efficient, correct RTL from high-level specifications
    Nikhil, R
    Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 69 - 70