지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 하드웨어-소프트웨어 통합 검증 시스템의 설계
3. RTL 에뮬레이션을 위한 설계 지침
4. 실험 결과
5. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
상위 단계에서의 설계 검증을 위한 회로 추출 시스템
대한전자공학회 학술대회
1990 .11
하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법
정보과학회논문지 : 소프트웨어 및 응용
2010 .04
임베디드 시스템을 위한 동기적 언어 기반 하드웨어/소프트웨어 통합 설계 및 검증
한국정보과학회 학술발표논문집
2006 .10
암호 하드웨어 모듈의 신뢰성 검증 도구
한국정보과학회 학술발표논문집
2004 .04
하드웨어 - 소프트웨어 통합 설계 기술
전자공학회지
1997 .12
SAVE : 소프트웨어 모델을 사용한 효율적인 실시간 하드웨어 검증 시스템
한국정보과학회 학술발표논문집
1998 .04
Safety - critical 시스템의 요구명세 검증
한국정보과학회 학술발표논문집
1996 .04
하드웨어-소프트웨어 통합설계 ( Hardware - Software Codesign )
CAD 및 VLSI 설계연구회지
1994 .01
VLSI 설계 검증을 위한 회로 비교기 구현에 관한 연구
한국정보과학회 학술발표논문집
1994 .10
하드웨어-소프트웨어 통합설계에서의 새로운 분할 방법 ( New Partitioning Techniques in Hardware-Software Codesign )
전자공학회논문지-C
1998 .05
하드웨어-소프트웨어 통합 설계를 위한 분할 ( Partitioning for Hardware-Software Codesign )
전자공학회논문지-A
1996 .07
Radar System에서 Real-Time을 위한 FFT Hardware block의 설계 및 하드웨어-소프트웨어 동시-검증
대한전자공학회 학술대회
2009 .07
소프트웨어의 안전성 검증을 위한 모델 검증 도구
정보과학회지
2014 .04
하드웨어/소프트웨어 Co-Verification 환경기반 고효율 하드웨어 IP 검증 기법
한국통신학회 학술대회논문집
2014 .01
상위 단계에서의 설계 검증을 위한 회로 추출 시스템 ( Circuit Extraction System for Higher-Ievel Design Verification )
대한전자공학회 학술대회
1990 .11
집적검증 기법을 채용한 하드웨어 / 소프트웨어 동시검증
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2002 .06
위성 성능 시험을 위한 통합 시뮬레이션 아키텍처 연구
항공우주산업기술동향
2015 .07
하드웨어와 소프트웨어의 상호작용을 고려한 시스템 신뢰성 모델링 접근방법
한국정보과학회 학술발표논문집
2011 .11
0