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

Access Full Text

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

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Electronics Letters — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.

Inspec keywords: microprocessor chips; field programmable gate arrays; logic design; flip-flops

Other keywords: Xilinx devices; latch-based register file; field-programmable gate array; latch-based FPGA emulation method; SRAM; design verification; Altera devices; microprocessor; digital design; flip-flops

Subjects: Logic design methods; Microprocessor chips; Digital circuit design, modelling and testing; Logic circuits; Microprocessors and microcomputers; Logic and switching circuits

References

    1. 1)
    2. 2)
      • Altera Corporation: ‘Cyclone II memory blocks’, Cyclone II Device Handbook, Vol. 1, Chapter 8, February 2008.
    3. 3)
      • Xilinx: ‘Xilinx design reuse methodology for ASIC and FPGA designers’, Reuse Methodology Manual For System-on-Chip Designs.
    4. 4)
      • Nakamura, Y., Hosokawa, K., Kuroda, I., Yoshikawa, K., Yoshimura, T.: `A fast hardware/software co-verification method for system-on-chip by using a C/C++ simulator and FPGA emulator with shared register communication', Proc. of 41st Annual Design Automation Conf., (DAC'04), 2004, San Diego, CA, USA, p. 299–304.
http://iet.metastore.ingenta.com/content/journals/10.1049/el.2011.0462
Loading

Related content

content/journals/10.1049/el.2011.0462
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Correspondence
This article has following corresponding article(s):
Interview