AI-POWERED SMART VERIFICATION

복잡한 반도체 검증의 한계를 넘는
AI 기반 차세대 통합 검증 플랫폼

3DIC 및 칩렛(Chiplet) 아키텍처의 설계 복잡성을 해결하기 위해 탄생한 차세대 솔루션입니다. NVIDIA AI 모델 기반 추론 엔진과 에이전틱 워크플로우를 통해 검증 속도, 커버리지 달성, 팀 생산성을 극대화합니다.

Verification Domains

4대 핵심 검증 도메인

문서에 나온 핵심 솔루션 중 엔지니어 임팩트가 가장 큰 네 가지 영역을 한 화면에서 확인합니다.

Stimulus-Free / Formal

테스트벤치 없는 포멀 검증

복잡한 전문 지식이나 별도의 테스트벤치 작성 없이, 자동화된 포멀 애플리케이션으로 설계 초기 결함을 조기에 탐지하고 수학적으로 완벽하게 검증합니다.

OneSpin 포멀 기술
Zero-Bug Signoff
초기 결함 탐지
Unified Coverage & VIQ

통합 커버리지 및 빅데이터 분석

시뮬레이션, 포멀, 에뮬레이션을 하나의 UCDB 허브로 통합하여 중복 테스트를 줄이고 회귀 테스트(Regression)를 최적화합니다.

통합 UCDB
Verification IQ
추적성(Traceability)
Functional Safety & Assurance

차량용 기능안전 및 보안

ISO 26262 등 안전 규격을 준수하며, 실시간 요구사항 추적과 포멀 분석을 통해 하드웨어 보안 취약점과 설계 리스크를 사전에 차단합니다.

ISO 26262 준수
고장 분석
보안 취약점 방어
Low Power & DFT

저전력 및 DFT 사인오프

UPF 4.0 표준을 지원하여 아키텍처 단계부터 전력 의도를 검증하고, 최첨단 DFT 툴로 테스트 비용과 사인오프 리스크를 최소화합니다.

UPF 4.0 지원
CDC 체크
DFT 사인오프 가속
Portfolio

Questa One 제품 포트폴리오

시뮬레이션, 검증 IP, 디버그를 하나의 지능형 워크플로우로 연결합니다.

Questa One Simulation

Questa One Simulation

RTL부터 게이트 레벨, 고장(Fault) 시뮬레이션까지 모든 추상화 단계를 지원하는 고성능 시뮬레이션 엔진.

Avery Verification IP

Avery Verification IP (VIP)

최신 산업 표준 프로토콜과 메모리 인터페이스를 지원하여 검증 개발 일정을 대폭 단축하는 재사용 검증 IP 라이브러리.

Debug & Analysis

Debug & Analysis

시뮬레이션, 에뮬레이션, 프로토타이핑 전반을 아우르는 직관적인 단일 로직 디버깅 환경.

FAQ

자주 묻는 질문

3DIC 및 칩렛과 같은 초고집적 설계를 지원하기 위해 AI와 머신러닝을 기반으로 완전히 새롭게 설계된 플랫폼입니다. 더 빠른 엔진과 에이전틱 AI 자동화를 통해 엔지니어의 검증 작업량을 획기적으로 줄여줍니다.

분편화되어 있던 시뮬레이션, 포멀 검증, 디버깅 엔진과 워크플로우를 단 하나의(One) 지능형 플랫폼으로 결합하여 엔드투엔드 생산성을 제공한다는 의미입니다.

12종 이상의 신규 검증 도구와 17개 이상의 생성형·처방형 AI 기능을 통해 설계 결함 조기 발견, 테스트벤치 구축 기간 단축, 커버리지 클로저 가속을 지원합니다.

Questa One으로 차세대 반도체 검증을 시작하십시오

고객사의 프로젝트 아키텍처에 맞춘 AI 검증 솔루션 도입과 라이선스 상담을 지원합니다.

기술/영업 문의 02-2069-0099 · ㈜이디앤씨