Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2000.04a
- /
- Pages.149-154
- /
- 2000
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Formal Verification of I-Link Bus arbiter Protocol Using VIS
VIS를 이용한 I-Link Bus 중재 프로토콜의 정형검증
- 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)
- Published : 2000.04.14
Abstract
시스템이 복잡해짐에 따라 현재 사용되고 있는 무작위적 테스트나 시뮬레이션은 프로토콜의 정확성을 확인하기에 충분하지 못하므로 보다 효율적이고 믿을 만한 검증 방법이 필요하다. 본 논문은 ETRI에서 개발한 디렉토리 기반 CC-NUMA시스템의 CCA(Cache Coherent Agent)보드 내부 버스인 I-Link(Inside Link) 버스의 중재 프로토콜을 정형 검증에 쓰이는 도구 중의 하나인 VIS(Verification Interacting with Synthesis)를 이용하여 검증한다. VIS는 Verilog 입력을 받는 도구이므로 개발 단계에서 만들어진 소스를 그대로 이용하여 검증하는 기법을 사용하였고 이를 통해 보다 정확한 명세와 검증을 할 수 있었다.
Keywords