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 条
  • [41] ON CONSTRUCTION OF OPTIMAL MIXED-LEVEL SUPERSATURATED DESIGNS
    Sun, Fasheng
    Lin, Dennis K. J.
    Liu, Min-Qian
    ANNALS OF STATISTICS, 2011, 39 (02): : 1310 - 1333
  • [42] Adding synchronous and LSSD modes to asynchronous circuits
    van Berkel, K
    Peeters, A
    te Beest, F
    ASYNC: EIGHTH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 2002, : 161 - 170
  • [43] Generalized equivalent circuits of an asynchronous and synchronous machines
    Novocherkasskij Gosudarstvennyj, Tekhnicheskij Univ, Novocherkassk, Russia
    Elektr, 4 (27-29):
  • [44] Adding synchronous and LSSD modes to asynchronous circuits
    van Berkel, K
    Peeters, A
    Beest, FT
    MICROPROCESSORS AND MICROSYSTEMS, 2003, 27 (09) : 461 - 471
  • [45] SYNCHRONOUS-TO-ASYNCHRONOUS CONVERSION OF CRYPTOGRAPHIC CIRCUITS
    Cassia, Ricardo F.
    Alves, Vladimir C.
    Besnard, Federico G. -D.
    Franca, Felipe M. G.
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2009, 18 (02) : 271 - 282
  • [46] Design of asynchronous circuits by synchronous CAD tools
    Kondratyev, A
    Lwin, K
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 411 - 414
  • [47] CPlace: A Constructive Placer for Synchronous and Asynchronous Circuits
    Kounalakis, Evriklis
    Sotiriou, Christos P.
    17TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC 2011), 2011, : 22 - 29
  • [48] Mixed-level identification of fault redundancy in microprocessors
    Oyeniran, Adeboye Stephen
    Ubar, Raimund
    Jenihhin, Maksim
    Gursoy, Cemil Cem
    Raik, Jaan
    2019 20TH IEEE LATIN AMERICAN TEST SYMPOSIUM (LATS), 2019,
  • [49] Mixed-level Saito-Kurokawa liftings
    Brown, Jim
    Zantout, Dania
    RAMANUJAN JOURNAL, 2016, 39 (02): : 247 - 257
  • [50] Teaching Mixed-Level Classes with A Vygotskian Perspective
    Bekiryazici, Merve
    PROCEEDINGS OF 5TH WORLD CONFERENCE ON LEARNING, TEACHING AND EDUCATIONAL LEADERSHIP, 2015, 186 : 913 - 917