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
|