High-level Synthesis-based Signal Coding

被引:0
|
作者
Dossis, Michael [1 ]
Androulidakis, Iosif [2 ]
机构
[1] TEI Western Macedonia, Dept Informat Engn, Kastoria, Greece
[2] Univ Ioannina, Ioannina, Greece
关键词
High-level Synthesis; Signal Coding; Low level Design; EDA; formal verification; simulation; DESIGN; EXPLORATION;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
The extremely populated state of current ICs have motivated for advanced High-level Synthesis techniques to be used for specialized circuits. Due to the complexity and lack of flexibility of existing High-level Synthesis tools, most of the low level circuits such as signal coding blocks were left out of the EDA scope and to the responsibility of layout engineers. In this paper we present a High-level Synthesis approach which is suitable for both complex and low level custom block design. The advantage of this approach is a uniform and formal treatment of both high-level and low-level design, as well as provably correct results.
引用
收藏
页码:90 / 94
页数:5
相关论文
共 50 条
  • [21] OPTIMIZATIONS IN HIGH-LEVEL SYNTHESIS
    ROSENSTIEL, W
    MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 347 - 352
  • [22] HIGH-LEVEL SYNTHESIS - A TUTORIAL
    WU, ACH
    LIN, YL
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (03) : 209 - 218
  • [23] ALGORITHMS FOR HIGH-LEVEL SYNTHESIS
    PAULIN, PG
    KNIGHT, JP
    IEEE DESIGN & TEST OF COMPUTERS, 1989, 6 (06): : 18 - 31
  • [24] Introduction to high-level synthesis
    Gajski, Daniel D.
    Ramachandran, Loganath
    IEEE Design and Test of Computers, 1600, 11 (04): : 44 - 54
  • [25] INTRODUCTION TO HIGH-LEVEL SYNTHESIS
    GAJSKI, DD
    RAMACHANDRAN, L
    IEEE DESIGN & TEST OF COMPUTERS, 1994, 11 (04): : 44 - 54
  • [26] Incremental High-Level Synthesis
    Lavagno, Luciano
    Kondratyev, Alex
    Watanabe, Yosinori
    Zhu, Qiang
    Fujii, Mototsugu
    Tatesawa, Mitsuru
    Nakayama, Noriyasu
    2010 15TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC 2010), 2010, : 693 - 698
  • [27] An Introduction to High-Level Synthesis
    Coussy, Philippe
    Meredith, Michael
    Gajski, Daniel D.
    Takach, Andres
    IEEE DESIGN & TEST OF COMPUTERS, 2009, 26 (04): : 8 - 17
  • [28] THE STATUS OF HIGH-LEVEL SYNTHESIS
    WALKER, RA
    IEEE DESIGN & TEST OF COMPUTERS, 1994, 11 (04): : 42 - 43
  • [29] High-level synthesis for testability
    Marzouki, M
    Alves, VC
    Antunes, AR
    38TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS, VOLS 1 AND 2, 1996, : 718 - 721
  • [30] PASS - HIGH-LEVEL SYNTHESIS
    EWERING, C
    GERHARDT, G
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 103 - 108