Questa One의 포멀 엔진입니다. 복잡한 전문 지식 없이 자동화된 포멀 애플리케이션으로 설계 초기 결함을 조기에 탐지하고 Zero-Bug Signoff를 지원합니다.
생성형·분석형·처방형 검증 AI 탑재
시뮬레이션·포멀·에뮬레이션 단일 데이터베이스(UCDB) 통합
엔비디아 네모트론(Nemotron) 추론 모델 기반 가속
테스트벤치 작성과 자극 생성 없이도 설계 의도를 수학적으로 증명합니다. Questa One 안에서 OneSpin 포멀 기술이 초기 결함 탐지와 Zero-Bug Signoff를 담당합니다.
별도의 테스트벤치 작성 없이 자동화된 포멀 애플리케이션으로 설계를 검증합니다.
OneSpin 포멀 엔진으로 버그 부재를 수학적으로 증명하고 사인오프 리스크를 낮춥니다.
설계 초기에 기능 결함을 찾아 시뮬레이션 회귀 비용을 줄입니다.
3DIC 및 칩렛과 같은 초고집적 설계를 지원하기 위해 AI와 머신러닝을 기반으로 완전히 새롭게 설계된 플랫폼입니다. 더 빠른 엔진과 에이전틱 AI 자동화를 통해 엔지니어의 검증 작업량을 획기적으로 줄여줍니다.
분편화되어 있던 시뮬레이션, 포멀 검증, 디버깅 엔진과 워크플로우를 단 하나의(One) 지능형 플랫폼으로 결합하여 엔드투엔드 생산성을 제공한다는 의미입니다.
12종 이상의 신규 검증 도구와 17개 이상의 생성형·처방형 AI 기능을 통해 설계 결함 조기 발견, 테스트벤치 구축 기간 단축, 커버리지 클로저 가속을 지원합니다.
고객사의 프로젝트 아키텍처에 맞춘 AI 검증 솔루션 도입과 라이선스 상담을 지원합니다.
기술/영업 문의 02-2069-0099 · ㈜이디앤씨