한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
- /
- Pages.568-571
- /
- 2008
- /
- 1598-5164(pISSN)
동치성 검사를 위한 모델 체킹의 적용
Application of Model Checking for Equivalence Checking
-
Ahn, Young-Jung
(Dept. of Computer Science & Engineering, Korea University) ;
- Song, Gwan-Ho (Dept. of Computer Science & Engineering, Korea University) ;
-
Choi, Jin-Young
(Dept. of Computer Science & Engineering, Korea University)
- 발행 : 2008.06.30
초록
하드웨어 개발에 있어서 데이터의 신속한 처리와 공정의 저렴한 비용을 위해 회로의 많은 부분이 게이트 레벨에서 구현된다. 기능 검사는 하드웨어 개발에 있어서 설계의 기능을 분석하는 중요한 설계 흐름이다. 기존의 기능 검사는 사용자의 요구에 의해 하드웨어 시스템이 복잡해지고 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 시간적 경제적인 부담감을 준다. 본 연구에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 기능 검사를 위해 모델 체킹을 동치성 검사에 적용하는 방법을 제안하고자 한다.
키워드