Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2001.10a
  • /
  • Pages.623-626
  • /
  • 2001
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Study on HW/SW Co-verification Methods for Embedded Systems

내장형시스템을 위한 HW/SW 통합검증 환경 연구

  • Kim, Nam-Do (Dept. of Computer Engineering, Pusan National University) ;
  • Yang, Sei-Yang (Dept. of Computer Engineering, Pusan National University)
  • 김남도 (부산대학교 컴퓨터공학과) ;
  • 양세양 (부산대학교 컴퓨터공학과)
  • Published : 2001.10.12
Download PDF
⟨ Previous Next ⟩

Abstract

최근 휴대폰단말기, PDA 와 같은 내장형시스템에 필수적으로 사용되고 있는 SoC(System On a Chip)에 대한 설계에서는 HW/SW 동시설계를 통한 설계생산성 향상이 필수적이다. 이에 따라서 설계검증에서도 HW/SW 통합검증의 중요성이 매우 커지고 있다. 본 논문에서는 이와 같이 내장형시스템을 위한 HW/SW 통합검증을 효율적으로 수행 할 수 있는 방법들인 co-simulation 과 co-emulation 및 co-prototyping 에 대하여 이들 방법들의 장단점과 더불어 이들을 통합한 새로운 검증방법인 집적 동시-검증(integrated co-verification) 기법에 대하여 논하기로 한다.

Keywords