Mixed-Level Emulation of Asynchronous Circuits on Synchronous FPGAs

被引:0
|
作者
Dashkin, Ruslan [1 ]
Manohar, Rajit [1 ]
机构
[1] Yale Univ, Comp Syst Lab, New Haven, CT 06520 USA
关键词
Field programmable gate arrays; Cogeneration; Logic gates; Emulation; Hardware; Protocols; Logic; Integrated circuit modeling; Syntactics; Synchronization; Asynchronous VLSI; FPGA; prototyping;
D O I
10.1109/TCAD.2024.3479077
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Delivering an FPGA-based emulation model to the software and hardware development teams is one of the crucial steps in the chip design process. The parallelism available on the FPGA gives a performance boost necessary to speed up development and verification processes and benefits both hardware and software engineers. However, this step is challenging in the asynchronous circuits design flow due to the limitations of the commercially available FPGA platforms and electronic design automation (EDA) tools. We present a comprehensive solution to the problem of asynchronous design emulation on synchronous FPGAs by extending prior work for emulating gate-level asynchronous designs (Hoare, 1978). Our framework supports asynchronous designs described at the behavioral level in the communicating hardware processes language, the gate level, and hybrid designs that combine the two. We also support designs where parts of the system use natively synchronous logic. We show that our model for behavioral emulation is up to $3\times 10<^>{5}$ faster than CPU-based simulation and up to $1.96\times $ faster than the gate-level emulation model of the same design. We evaluate our toolchain using three real-world asynchronous design examples. We present a case study where we use our flow to emulate an asynchronous CPU on the synchronous FPGA and use this hardware to boot a real-time operating system, Zephyr RTOS. In this example, FPGA I/O interfaces use synchronous Verilog IP, and the RISC-V core model is generated from the asynchronous design.
引用
收藏
页码:1516 / 1528
页数:13
相关论文
共 50 条
  • [1] Synchronous emulation of asynchronous circuits
    OLeary, J
    Brown, G
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (02) : 205 - 209
  • [2] Prototyping globally asynchronous locally synchronous circuits on commercial synchronous FPGAs
    Najibi, M
    Saleh, K
    Naderi, M
    Pedram, H
    Sedighi, M
    16th International Workshop on Rapid System Prototyping, Proceedings: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2005, : 63 - 69
  • [3] EXPLOITING SYNCHRONOUS PLACEMENT FOR ASYNCHRONOUS CIRCUITS ONTO COMMERCIAL FPGAS
    Tranchero, Maurizio
    Reyneri, Leonardo M.
    FPL: 2009 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, 2009, : 622 - 625
  • [4] General Approach to Asynchronous Circuits Simulation Using Synchronous FPGAs
    Dashkin, Ruslan
    Manohar, Rajit
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (10) : 3452 - 3465
  • [5] Simulator for path-delay faults on mixed-level circuits
    Yim, YT
    Kang, YS
    Kang, S
    IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS, 1997, 144 (04): : 236 - 242
  • [6] Mixed-Level Explanation
    Wilson, Mark
    PHILOSOPHY OF SCIENCE, 2010, 77 (05) : 933 - 946
  • [7] A mixed-level power estimator for CMOS circuits using pattern compaction techniques
    Hsu, WL
    Shen, WZ
    Lin, JY
    APCCAS '98 - IEEE ASIA-PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS: MICROELECTRONICS AND INTEGRATING SYSTEMS, 1998, : 771 - 774
  • [8] MIXED-LEVEL SIMULATION ACCELERATION
    EVANCZUK, S
    VLSI SYSTEMS DESIGN, 1987, 8 (02): : 62 - &
  • [9] Implementing asynchronous circuits on LUT based FPGAs
    Ho, QT
    Rigaud, JB
    Fesquet, L
    Renaudin, M
    Rolland, R
    FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, 2002, 2438 : 36 - 46
  • [10] Detailed implementation of asynchronous circuits on commercial FPGAs
    Ahmadreza Motaqi
    Mohamed Helaoui
    Soodeh AghliMoghaddam
    Mohammad Reza Mosavi
    Analog Integrated Circuits and Signal Processing, 2020, 103 : 375 - 389