전체 UVM 환경을 자동으로 생성하는 IDesignSpec의 애드온 형태(add-on) RTL 시뮬레이션을 위한 시퀀스, C 기반 테스트, 공식 검증을 위한 주장, 기능적 범위를 100 % 제공합니다.

• ● 레지스터 설계와 검증 요소 간의 추적 성 제공
• ● 상용 RTL 시뮬레이션 및 공식 툴과 통합
• ● 테스트 결과의 백 - 어노테이션으로 검증 계획 생성
• ● Lock, Indirect, Constraint, FIFO 또는 다중 버스 도메인을 포함한 특수 레지스터 지원