지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 집적 동시검증 기법
3. ARM / AMBA 플랫폼 기반 집적 동시검증 기법의 구현
4. 실험
5. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
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
기가 스케일 SoC를 위한 통합 설계 방법론 및 검증 플랫폼
전자공학회논문지-SD
2010 .02
HW-SW Co-Simulation and Co-Emulation for SoC Design and Verification
대한전자공학회 ISOCC
2005 .10
하드웨어/소프트웨어 Co-Verification 환경기반 고효율 하드웨어 IP 검증 기법
한국통신학회 학술대회논문집
2014 .01
다중모드 통합시험환경을 이용한 계층구조 항공전자시스템의 검증
한국항공우주학회지
2017 .11
“소프트웨어 검증” 특집을 내면서
정보과학회지
2019 .04
FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -
IEEE Region 10 Conference
1987 .01
In - System Verification of C - based SOC Design at early design stage
대한전자공학회 기타 간행물
2001 .11
GML파일을 이용한 검증조건의 시각화
한국컴퓨터정보학회논문지
2012 .07
소프트웨어의 안전성 검증을 위한 모델 검증 도구
정보과학회지
2014 .04
Y2K 적합성 검증
정보과학회지
1999 .06
Effective Verification Environment using SoC Platform
대한전자공학회 ISOCC
2006 .10
[특집:SoC Platform 설계기술]SoC Front-end 설계를 위한 통합 환경
전자공학회지
2003 .09
Simulation Driven Board Verification Methodology Using SW/HW Co-Verification Technique For CDMA/W-CDMA Base Station System
한국통신학회 학술대회논문집
2005 .06
임베디드 소프트웨어의 검증에 관한 연구
대한산업공학회 추계학술대회 논문집
2004 .11
정보기기온칩을 위한 HW/SW 혼합 설계 및 검증 환경 개발
대한전자공학회 학술대회
2001 .06
하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법
정보과학회논문지 : 소프트웨어 및 응용
2010 .04
0