지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2024.12
- 수록면
- 32 - 41 (10page)
- DOI
- 10.5573/ieie.2024.61.12.32
이용수
초록· 키워드
오류제보하기
반도체 공정 기술의 발전으로 인해 증가한 집적도는 디지털 회로 설계 단계에서 강력한 검증 기술의 필요성을 높이고 있다. 다양한 설계 검증 방법 중, 본 논문에서는 RTL 코드 검증 과정에서 Questa를 활용한 코드 커버리지 검증 절차를 소개한다. 먼저 Questa 툴을 기반으로 코드 커버리지 검증 방법을 설명하고, 이를 활용한 두 가지 예제인 카운터와 FIFO 예제를 통해 설계 오류를 확인하고 세부 수정 절차를 자세히 다룬다. 이를 통해 코드 커버리지 검증이 하드웨어 설계의 신뢰성과 무결성을 높이는데 있어 효율적인 도구임을 확인할 수 있다. 끝으로, 코드 커버리지 검증 방법이 디지털 회로의 완성도와 무결성을 향상시키며, 이는 항공, 우주, 국방, 자동차 등 다양한 산업 분야에서 시스템의 안정성과 신뢰성을 보장하는 데 기여할 수 있음을 제시한다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. 배경
Ⅲ. 본론
Ⅳ. 실험 결과
Ⅴ. 결론
REFERENCES
참고문헌 (12)
참고문헌 신청
Y. Akhilesh, J. Poonam, M. Fyrbiak, B. Devaraju, "A Survey on Assertion-based Hardware Verification," in ACM Computing Surveys, Vol. 54, No. 11s, Article 225, September. 2022.
Harry D. Foster, “Trends in Functional Verification: A 2014 Industry Study,” in DAC '15: Proceedings of the 52nd Annual Design Automation Conference, Jun. 2015.
W. Hasini, L. Yangdi, C. Subodha, M. Prabhat, "Study And Analysis of RTL Verification Toop" in 2020 IEEE Students Conference on Engineering & Systems (SCES), July. 2020.
E. Hatem, K. Mostafa, S. Amr, K. Mohammed, " A Novel Assertions-Based Code Coverage Automatic CAD Tool," in IEEE EUROCON 2017 -17th International Conference on Smart Technologies, July 2017.
A. Viraj, M. Sai, H. Samuel, V. Shobha, “Code Coverage of Assertions Using RTL Source Code Analysis,” in DAC '14: Proceedings of the 51st Annual Design Automation Conference, June 2014.
Harry D. Foster, “Trends in Functional Verification: A 2014 Industry Study,” in DAC '15: Proceedings of the 52nd Annual Design Automation Conference, Jun. 2015.
W. Hasini, L. Yangdi, C. Subodha, M. Prabhat, "Study And Analysis of RTL Verification Toop" in 2020 IEEE Students Conference on Engineering & Systems (SCES), July. 2020.
E. Hatem, K. Mostafa, S. Amr, K. Mohammed, " A Novel Assertions-Based Code Coverage Automatic CAD Tool," in IEEE EUROCON 2017 -17th International Conference on Smart Technologies, July 2017.
A. Viraj, M. Sai, H. Samuel, V. Shobha, “Code Coverage of Assertions Using RTL Source Code Analysis,” in DAC '14: Proceedings of the 51st Annual Design Automation Conference, June 2014.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
커버리지 기반 검증을 위한 이행 검증 패턴 생성 방법에 관한 연구
한국통신학회 학술대회논문집
2015 .01
-
위성관제시스템 SW 동적시험 환경 구축
한국항공우주학회 학술발표회 초록집
2016 .11
-
모델기반설계 소프트웨어 신뢰성 검증에 관한 연구
한국항공우주학회 학술발표회 초록집
2015 .11
-
Transformation Method for a State Machine to Increase Code Coverage
Journal of KIISE
2016 .09
-
마이크로 컨트롤러 소프트웨어 코드 커버리지 분석 효율성 향상 방안
한국항공우주학회 학술발표회 초록집
2020 .11
-
코드 커버리지 기반의 안드로이드 데모 어플리케이션 생성 기법
한국정보과학회 학술발표논문집
2020 .07
-
제품 설계 검증 자동화 지원을 위한 설계 검증 시스템 개발
대한기계학회 춘추학술대회
2024 .06
-
제한된 최대 상관전력 값을 갖는 길이 제약된 골드코드 집합의 선택기법에 대한 연구
한국통신학회논문지
2019 .04
-
무작위 테스트 입력 생성을 통한 하드웨어 설계 검증
대한전자공학회 학술대회
2019 .11
-
정보기기 소스코드 유사성 분석에서 목적물 검증
한국소프트웨어감정평가학회논문지
2021 .12
-
코드 다중화 기반 확산 코드 추정 알고리즘
한국통신학회 학술대회논문집
2015 .06
-
효율적인 5G 망 운용을 위한 커버리지 최적화에 관한 연구
한국통신학회 학술대회논문집
2019 .11
-
실용적인 코드 생성을 위한 언어 모델 기반 코드 생성 평가지표 분석
한국정보과학회 학술발표논문집
2024 .06
-
코드로 그린 그림
한국컴퓨터그래픽스학회 학술대회
2022 .07
-
센싱 데이터 수집 시스템을 위한 통합검증 프로세스 설계
한국정보통신학회 종합학술대회 논문집
2021 .10
-
ISO/IEC 10646과 멀티바이트 코드 세트간의 변환시스템의 설계 및 구현
한국정보전자통신기술학회 논문지
2018 .08
-
SPACE 코드를 활용한 DEC 대처기술 개발 현황
한국유체기계학회 학술대회 논문집
2019 .11
-
[내가 읽은 책] 코드의 도시에서 디자인의 도시로
건축
2019 .04
-
키코드 알고리즘 최적화 방안에 관한 연구
한국자동차공학회 추계학술대회 및 전시회
2016 .11
-
소형민수헬기 비행제어법칙의 모델기반설계와 자동코드생성 도구 및 검증 절차 개발
한국항공우주학회 학술발표회 초록집
2020 .11
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-151-25-02-092093643