DOI QR코드

DOI QR Code

Improving Code Coverage for the FPGA Based Nuclear Power Plant Controller

FPGA기반 원전용 제어기 코드커버리지 개선

  • 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.05.16
  • Accepted : 2014.08.01
  • Published : 2014.09.30

Abstract

IIt takes a lot of time and needs the workloads to verify the RTL code used in complex system like a nuclear control system which is required high level reliability using simple testbench. UVM has a layered testbench architecture and it is easy to modify the testbench to improve the code coverage. A test vector can be easily constructed in the UVM, since a constrained random test vector can be used even though the construction of testbench using UVM. We showed that the UVM testbench is easier than the verilog testbench for the analysis and improvement of code coverage.

기존의 Verilog테스트벤치로 원전용 안정등급 제어기기와 같이 복잡하고 높은 신뢰도를 요구하는 모듈의 테스트는 수작업으로만 수행된 결과를 가지고 RTL단계의 검증을 마무리하기에는 현실적으로 많은 시간과 노력이 필요하다. UVM은 기존의 테스트벤치의 한계점을 보완하는 계층적 테스트벤치의 구조를 갖고 있어 DUT의 검증을 위한 테스트개선에 대해 테스트벤치의 수정을 간편하게 할 수 있다. 비록 구축과정이 다소 복잡하긴 하지만 테스트 벤치의 컴포넌트들인 driver나 sequence 등을 사용함으로 constraint random test를 가능하게 하여 test vector 작성을 편리하게 한다. 본 논문에서는 기존의 테스트벤치와 계층적 테스트벤치인 UVM테스트벤치를 사용하여 실제 시뮬레이션 하고 커버리지를 분석하여 코드커버리지를 간편하게 향상 할 수 있음을 보였다.

Keywords

References

  1. Jong Gyun Choi, Dong young Lee, "Development of RPS Trip Logic based on PLDTechnology", Journal of KNS, vol. 44, no. 6, pp. 697-699, 2011
  2. International Electrotechnical Commission (IEC), "IEC 62566-2012 Nuclear power plants -Instrumentation and control important to safety-Development of HDL-programmed integrated circuits for systems performing category A functions", 01/01/12
  3. Kyuhong Kim, "Integrated Verification Method", Cadence Korea, 2003
  4. Andreas Meyer, "Principles of Functional Verification", Nownos, 2003
  5. Lionel Bening, Harry D. Foster, "Principles of Verifiable RTLDesign Second Edition-A Functional Coding Style SupportingVerification Processes in Verilog", Kluwer Academic Publishers, 2001
  6. Christian B. Spear, "SystemVerilog for Verification: A Guide to Learning the Testbench Language Features", Springer, 2006
  7. Young Jin Oh, Gi Yong Song, "Implementation of a Verification Environment using Layered Testbench", Journal of KISPS, vol. 12, no. 2, pp. 145-146,2011
  8. Ill-ho Bae, "Implementation of Verification Methodology for A FPGA based Conrol System ", Dankook University, 2012
  9. Mark Glasser, "UVM: The Next Gerneration in Verification Methodology", Methodology Architect, 2011