한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
- /
- Pages.149-154
- /
- 2000
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
VIS를 이용한 I-Link Bus 중재 프로토콜의 정형검증
Formal Verification of I-Link Bus arbiter Protocol Using VIS
- Um, Hyun-Sun (Department of Computer Science and Engineering, Korea University) ;
- Choi, Jin-Young (Department of Computer Science and Engineering, Korea University) ;
- Han, Woo-Jong (Computer System Department, ETRI-CSTL) ;
- Ki, An-Do (Computer System Department, ETRI-CSTL)
- 발행 : 2000.04.14
초록
시스템이 복잡해짐에 따라 현재 사용되고 있는 무작위적 테스트나 시뮬레이션은 프로토콜의 정확성을 확인하기에 충분하지 못하므로 보다 효율적이고 믿을 만한 검증 방법이 필요하다. 본 논문은 ETRI에서 개발한 디렉토리 기반 CC-NUMA시스템의 CCA(Cache Coherent Agent)보드 내부 버스인 I-Link(Inside Link) 버스의 중재 프로토콜을 정형 검증에 쓰이는 도구 중의 하나인 VIS(Verification Interacting with Synthesis)를 이용하여 검증한다. VIS는 Verilog 입력을 받는 도구이므로 개발 단계에서 만들어진 소스를 그대로 이용하여 검증하는 기법을 사용하였고 이를 통해 보다 정확한 명세와 검증을 할 수 있었다.
키워드