정적 공식 검증 기법을 사용하여 수백만 개의 게이트 설계를 신속하게 검증하고 검증 시간을 크게 단축했어요.오류의 위치/원인을 식별하는 포괄적인 디버그 도구와 기존 검증 세션에서 설계 수정을 조사할 수 있는 독특한 “what-if” 기능을 사용하여 설계를 수정하는 가장 빠른 방법이에요.
포멀프로 - 등가 검사 솔루션
FormalPro는 디자인이 골든 레퍼런스와 기능적으로 동일하다는 것을 증명하기 위해 정적 형식 검증 기법을 사용해요.이것은 기존의 게이트 레벨 시뮬레이션보다 훨씬 빠른 속도예요. 며칠 또는 몇 주가 걸리는 설계를 FormalPro로 몇 시간, 심지어 몇 분 만에 검증할 수 있어요.
주요 특징들
테스트벤치 없이 동등성 검증 적용 범위
디자인이 기능적으로 동일하다는 것을 빨리 증명하세요. 합성을 위한 RTL을 게이트 넷리스트와 비교하고 레이아웃 스핀의 경우 게이트와 게이트 간 넷리스트를 비교해 보세요.모든 디자인에 하나의 툴과 플로우를 사용하세요.
빠른 등가 검사
