Behavioral Synthesis of Asynchronous Circuits Using Syntax Directed Translation as Backend

被引:8
|
作者
Nielsen, Sune Fallgaard [1 ]
Sparso, Jens [1 ]
Madsen, Jan [1 ]
机构
[1] Tech Univ Denmark, Dept Informat & Math Modelling, DK-2800 Lyngby, Denmark
关键词
Asynchronous circuits; behavioral synthesis;
D O I
10.1109/TVLSI.2008.2005285
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The current state-of-the art in high-level synthesis of asynchronous circuits is syntax directed translation, which performs a one-to-one mapping of an HDL-description into a corresponding circuit. This paper presents a method for behavioral synthesis of asynchronous circuits which builds on top of syntax directed translation, and which allows the designer to perform automatic design space exploration guided by area or speed constraints. This paper presents an asynchronous implementation template consisting of a data-path and a control unit and its implementation using the asynchronous hardware description language Balsa. This "conventional" template architecture allows us to adapt traditional synchronous synthesis techniques for resource sharing, scheduling, binding, etc., to the domain of asynchronous circuits. A prototype tool has been implemented on top of the Balsa framework, and the method is illustrated through the implementation of a set of example circuits. The main contributions of this paper are the fundamental idea, the template architecture and its implementation using asynchronous handshake components, and the implementation of a prototype tool.
引用
收藏
页码:248 / 261
页数:14
相关论文
共 23 条
  • [1] A behavioral synthesis system for asynchronous circuits
    Sacker, M
    Brown, AD
    Rushton, AJ
    Wilson, PR
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2004, 12 (09) : 978 - 994
  • [2] Integration of Behavioral Synthesis and Floorplanning for Asynchronous Circuits with Bundled-Data Implementation
    Hamada, Naohiro
    Saito, Hiroshi
    IEICE TRANSACTIONS ON ELECTRONICS, 2012, E95C (04): : 506 - 515
  • [3] A structural encoding technique for the synthesis of asynchronous circuits
    Carmona, J
    Cortadella, J
    Pastor, E
    FUNDAMENTA INFORMATICAE, 2002, 50 (02) : 135 - 154
  • [4] Desynchronization: Synthesis of asynchronous circuits from synchronous specifications
    Cortadella, Jordi
    Kondratyev, Alex
    Lavagno, Luciano
    Sotiriou, Christos P.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (10) : 1904 - 1921
  • [5] Logic Decomposition of Asynchronous Circuits Using STG Unfoldings
    Khomenko, Victor
    17TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC 2011), 2011, : 3 - 12
  • [6] Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT
    Khomenko, V
    Koutny, M
    Yakovlev, A
    FUNDAMENTA INFORMATICAE, 2006, 70 (1-2) : 49 - 73
  • [7] SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces
    Saifhashemi, Arash
    Beerel, Peter A.
    COMMUNICATING PROCESS ARCHITECTURES 2011, 2011, 68 : 287 - 302
  • [8] VHDLASYN: A Tool for Synthesis of Asynchronous Systems from of VHDL Behavioral Specifications
    Curtinhas, Tiago
    Oliveira, Duarte L.
    Saotome, Osamu
    2018 2ND CONFERENCE ON PHD RESEARCH IN MICROELECTRONICS AND ELECTRONICS LATIN AMERICA (PRIME-LA), 2018,
  • [9] Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT
    Khomenko, V
    Koutny, M
    Yakovlev, A
    FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2004, : 16 - 25
  • [10] Modelling and analysis of asynchronous circuits and timing diagrams using parametric timed automata
    Chen, CL
    Lin, T
    Yen, HC
    PROCEEDINGS OF THE 23RD IASTED INTERNATIONAL CONFERENCE ON MODELLING, IDENTIFICATION, AND CONTROL, 2004, : 500 - 505