고도로 구성 가능한 디지털 설계의 효율적인 구성 커버리지를 위한 반형식적 검증 방법론

고도로 구성 가능한 디지털 설계의 기능적 정확성을 보장하기 위해 시뮬레이션 기반 및 형식적 검증 기술의 한계를 극복하는 반형식적 검증 방법론을 제안한다.