Journal of IKEEE (전기전자학회논문지)

Institute of Korean Electrical and Electronics Engineers (한국전기전자학회)
권호 표지
DOI QR코드

DOI QR Code

Testbench Implementation for FPGA based Nuclear Safety Class System using OVM

  • Heo, Hyung-Suk (Dept. of Electronics and Electrical Engineering, Dankook University) ;
  • Oh, Seungrohk (Dept. of Electronics and Electrical Engineering, Dankook University) ;
  • Kim, Kyuchull (Dept. of Applied Computer Engineering, Dankook University)
  • Received : 2014.11.25
  • Accepted : 2014.12.08
  • Published : 2014.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

A safety class field programmable gate array based system in nuclear power plant has been developed to improve the diversity. Testbench is necessary to satisfy the technical reference, IEC-62566, for verification and validation of register transfer level code. We use the open verification methodology(OVM) developed by standard body. We show that our testbench can use random input for test. And also we show that reusability of block level testbench for the integration level testbench, which is very efficient for large scale system like nuclear reactor protection system.

Keywords

References

  1. International Electrotechnical Commission, "Nuclear power plants-Instrumentation and control important to safety-Development of HDL-programmed integrated circuits for systems performing category A functions," IEC-62566, 2012
  2. Andreas Meyer, "Principles of Functional Verification", Nownos, 2003
  3. Christian B. Spear, "SystemVerilog for Verification: A Guide to Learning the Testbench Language Features", Springer, 2006
  4. Mark Glasser, "Open Verification Methodology Cookbook", Springer, 2009
  5. Lionel Bening, Harry D. Foster, "Principles of Verifiable RTL Design Second Edition-A Functional Coding Style Supporting Verification Processes in Verilog", Kluwer Academic Publishers, 2001
  6. Hyung-suk Heo, Seungrohk Oh, Kyuchull Kim, "Improving Code Coverage for the FPGA based nuclear power plant controller", j.inst.Korean.electr.electron.eng. vol. 18, no. 3, pp. 8-15, 2014
  7. Mentor Graphics Corporation, "Testbench Guide for OVM", Mentor Graphics Corporation, 2011
  8. Mark Glasser, "Open Verification Methodology Cookbook", Springer, 2009