프로세서 설계 검증을 위한 의미적으로 동등한 프로그램 실행을 통한 상징적 빠른 오류 탐지

프로세서 설계의 모든 논리적 오류를 검증할 수 있도록 프로그램 합성 기술을 활용하여 SQED를 개선한 SEPE-SQED 기법을 제안한다.