Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2001.10c
- /
- Pages.22-24
- /
- 2001
- /
- 1598-5164(pISSN)
Verification and Implementation for Co-Design of Embedded System
내장형 시스템의 통합 설계를 위한 검증 및 구현
Abstract
내장형 시스템은 산업 전반에 다양한 방법으로 응용되고 있다. 하지만 항공 분야나 원자력 분야의 내장형 시스템은 안정성과 신뢰성이 절대적으로 보장되어야 하는 시스템으로 피 설계부터 구현에 이르기까지 다양한 방법으로 검사되고 검증되어야 한다. 본 논문에서는 내장형 시스템의 통합설계를 위한 기반으로 하드웨어 설계 언어인 Verilog를 입력 언어로 받아들여 이를 정형검증 도구인 VIS를 통하여 검증한 다음 이를 바로 구현하는 방법론 및 예를 보이고자 한다. 이러한 방법을 통해 내장형 시스템의 안정성과 신뢰성의 수준을 향상시키고자 한다.
Keywords