지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2014.12
- 수록면
- 566 - 571 (6page)
이용수
초록· 키워드
오류제보하기
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.
목차
등록된 정보가 없습니다.
참고문헌 (8)
참고문헌 신청
1. [보고서] - International Electrotechnical Commission / 2012 / Nuclear power plants – Instrumentation and control important to safety –Development of HDL-programmed integrated circuits for systems performing category A functions
2. [단행본] - Andreas Meyer / 2003 / Principles of Functional Verification / Nownos
3. [단행본] - Christian B. Spear / 2006 / SystemVerilog for Verification: A Guide to Learning the Testbench Language Features / Springer
4. [단행본] - Mark Glasser / 2009 / Open Verification Methodology Cookbook / Springer
5. [단행본] - Lionel Bening / 2001 / Principles of Verifiable RTL Design Second Edition - A Functional Coding Style Supporting Verification Processes in Verilog / Kluwer Academic Publishers
2. [단행본] - Andreas Meyer / 2003 / Principles of Functional Verification / Nownos
3. [단행본] - Christian B. Spear / 2006 / SystemVerilog for Verification: A Guide to Learning the Testbench Language Features / Springer
4. [단행본] - Mark Glasser / 2009 / Open Verification Methodology Cookbook / Springer
5. [단행본] - Lionel Bening / 2001 / Principles of Verifiable RTL Design Second Edition - A Functional Coding Style Supporting Verification Processes in Verilog / Kluwer Academic Publishers
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2017-056-001388546