Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

Verification of SoC ASIC with Dual Processor Core

듀얼 프로세서 코어 내장 SoC ASIC의 검증

  • Kim, Young-Woo (Computer System Research Department Electronics and Telecommunications Research Institute) ;
  • Park, Chan-Ho (Computer System Research Department Electronics and Telecommunications Research Institute) ;
  • Park, Kyoung (Computer System Research Department Electronics and Telecommunications Research Institute)
  • 김영우 (한국전자통신연구원 컴퓨터시스템연구부) ;
  • 박찬호 (한국전자통신연구원 컴퓨터시스템연구부) ;
  • 박경 (한국전자통신연구원 컴퓨터시스템연구부)
  • Published : 2003.07.01
Download PDF
⟨ Previous Next ⟩

Abstract

다중 프로세서 내장 SoC의 동작 검증에는 많은 연산과 시간을 필요로 한다. 본 논문에서는 듀얼 프로세서 내장 SoC AISC의 검증을 위해 가상 명령어 세트를 기반으로 한 프로그램 소프트웨어 모델(PSM)과 버스 트랜잭션을 발생시키는 프로세서 마크로 엔진 모델(PEM)을 사용한 검증 방법을 제시한다. 제시된 방법은 추상화된 가상 마크로 엔진 명령 세트를 사용함으로써, 적은 컴퓨팅 리소스로 다중프로세서 내장 SoC의 검증을 보다 빠르게 수행할 수 있다.

Keywords