Latch-based FPGA emulation method for design verification: case study with microprocessor

被引:5
|
作者
Kim, M. [1 ]
Kong, J. [1 ]
Suh, T. [2 ]
Chung, S. W. [1 ]
机构
[1] Korea Univ, Div Comp & Commun Engn, Seoul 136713, South Korea
[2] Korea Univ, Coll Educ, Dept Comp Sci Educ, Seoul 136713, South Korea
关键词
D O I
10.1049/el.2011.0462
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Using latches in a digital design is considered wrong owing to the timing issue. Field-programmable gate array (FPGA) vendors also recommend flip-flops instead of latches in emulation. In this reported work, however, the usefulness and benefit of utilising latches in FPGA emulation for processor design verification is demonstrated. The study shows that a latch-based register file provides the seamless capability of functionality validation, whereas the flip-flop based one requires modification to the original design, potentially harming the completeness of functional verification. Experiment results with Xilinx and Altera devices show marginal differences in terms of emulation performance and area requirement in both approaches. This study reveals that replacing SRAM with latches rather than flip-flops is appealing and preferable in emulation with FPGAs.
引用
收藏
页码:532 / 533
页数:2
相关论文
共 50 条
  • [1] Minimum Energy Analysis and Experimental Verification of a Latch-Based Subthreshold FPGA
    Grossmann, Peter J.
    Leeser, Miriam E.
    Onabajo, Marvin
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2012, 59 (12) : 942 - 946
  • [2] Resonant-clock latch-based design
    Sathe, Visvesh S.
    Kao, Jerry C.
    Papaefthymiou, Marios C.
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 2008, 43 (04) : 864 - 873
  • [3] Crossbar latch-based combinational and sequential logic for nano FPGA
    Mohamed, T.
    Jullien, G. A.
    Badawy, W.
    2007 IEEE INTERNATIONAL SYMPOSIUM ON NANOSCALE ARCHITECTURE, 2007, : 117 - 122
  • [4] Design of latch-based C-element
    Murphy, J. P.
    ELECTRONICS LETTERS, 2012, 48 (19) : 1190 - U37
  • [5] An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists
    Jason Baumgartner
    Tamir Heyman
    Vigyan Singhal
    Adnan Aziz
    Formal Methods in System Design, 2003, 23 : 39 - 65
  • [6] An abstraction algorithm for the verification of level-sensitive latch-based netlists
    Baumgartner, J
    Heyman, T
    Singhal, V
    Aziz, A
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 23 (01) : 39 - 65
  • [7] Optimal Register Assignment with Minimum-Delay Compensation for Latch-Based Design
    Inoue, Keisuke
    Kaneko, Mineo
    PROCEEDINGS OF THE 2010 IEEE ASIA PACIFIC CONFERENCE ON CIRCUIT AND SYSTEM (APCCAS), 2010, : 887 - 890
  • [8] Design verification based on hardware emulation
    Nguyen, HN
    Thill, M
    SEVENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 1996, : 2 - 4
  • [9] Design and test of latch-based circuits to maximize performance, yield, and delay test quality
    Chung, Kun Young
    Gupta, Sandeep K.
    INTERNATIONAL TEST CONFERENCE 2010, 2010,
  • [10] Building a multi-FPGA-based emulation framework to support networks-on-chip design and verification
    Liu, Yangfan
    Liu, Peng
    Jiang, Yingtao
    Yang, Mei
    Wu, Kejun
    Wang, Weidong
    Yao, Qingdong
    INTERNATIONAL JOURNAL OF ELECTRONICS, 2010, 97 (10) : 1241 - 1262