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
来源
2016 INTERNATIONAL CONFERENCE ON INFORMATION AND DIGITAL TECHNOLOGIES (IDT) | 2016年
关键词
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] Verification method of dataflow algorithms in high-level synthesis
    Chiang, Tsung-Hsi
    Dung, Lan-Rong
    JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (08) : 1256 - 1270
  • [22] JIT Trace-based Verification for High-Level Synthesis
    Yang, Liwei
    Ikram, Magzhan
    Gurumani, Swathi
    Fahmy, Suhaib
    Chen, Deming
    Rupnow, Kyle
    2015 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY (FPT), 2015, : 228 - 231
  • [23] Generating Posit-Based Accelerators With High-Level Synthesis
    Murillo, Raul
    Del Barrio, Alberto A.
    Botella, Guillermo
    Pilato, Christian
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2023, 70 (10) : 4040 - 4052
  • [24] High-Level Synthesis of Key Based Obfuscated RTL Datapaths
    Islam, Sheikh Ariful
    Katkoori, Srinivas
    2018 19TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2018, : 407 - 412
  • [25] Translation Validation of High-Level Synthesis
    Kundu, Sudipta
    Lerner, Sorin
    Gupta, Rajesh K.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (04) : 566 - 579
  • [26] RPython']Python High-Level Synthesis
    Cieszewski, Radoslaw
    Linczuk, Maciej
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2016, 2016, 10031
  • [27] High-level test synthesis: a survey
    Ghosh, I
    Jha, NK
    INTEGRATION-THE VLSI JOURNAL, 1998, 26 (1-2) : 79 - 99
  • [28] A Survey of Verification for High-level Synthesis
    Hu J.
    Hu Y.
    Wang G.
    Chen G.
    Yang H.
    Kang Y.
    Wang K.
    Li S.
    1600, Institute of Computing Technology (33): : 287 - 297
  • [29] High-Level Synthesis of Benevolent Trojans
    Pilato, Christian
    Basu, Kanad
    Shayan, Mohammed
    Regazzoni, Francesco
    Karri, Ramesh
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1124 - 1129
  • [30] Formal Verification of High-Level Synthesis
    Herklotz, Yann
    Pollard, James D.
    Ramanathan, Nadesh
    Wickerson, John
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):