지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. Introduction
2. Preliminary
3. Implementation of a High-Level Hardware Verification Environment using Teal and Truss
4. Simulation and Validation
5. Conclusions
References
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Implementation of a Verification System using Teal/Truss and SystemVerilog
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
Verification of results
한국소음진동공학회 세미나자료집
2009 .11
A Framework for Integrated Hardware-Software Co-verification of Multiprocessor SoC
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -
IEEE Region 10 Conference
1987 .01
Constraint-Based hardware Verification
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1993 .01
“소프트웨어 검증” 특집을 내면서
정보과학회지
2019 .04
하드웨어/소프트웨어 Co-Verification 환경기반 고효율 하드웨어 IP 검증 기법
한국통신학회 학술대회논문집
2014 .01
Implementation of a Functional Verification System using SystemC
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
Aspect enhanced functional coverage driven verification in the SystemC HDVL
대한전자공학회 ISOCC
2011 .11
다중처리기 검증 프로그램 구현
한국정보과학회 학술발표논문집
1992 .04
Design and Implementation of a Protocol Verification System-LOVE
KITE JOURNAL OF ELECTRONICS ENGINEERING
1991 .01
철골 트러스 구조의 자동화 최적설계
한국공간구조학회지
2001 .01
Design and verification of 24bit DSP
대한전자공학회 ISOCC
2007 .10
An Adaptive Utterance Verification Framework Using Minimum Verification Error Training
[ETRI] ETRI Journal
2011 .06
Auto Test Bench 구현을 통한 CAN 자동 검증 알고리즘
대한전자공학회 학술대회
2013 .07
Configurations of double-layer space trusses
Structural engineering and mechanics : An international journal
1998 .01
0