Functional Verification of AE32000

AE32000의 기능 검증

  • 이종욱 (고려대학교 전자정보공학과) ;
  • 오형철 (고려대학교 전자정보공학과)
  • Published : 2000.11.01

Abstract

This paper presents a technique used for verifying the design of AE32000, a 32-bit microprocessor core. We follow the commonly used verification procedure while speeding up and completing the debugging process by adopting a reverse engineering scheme.

Keywords