포멀프로 - 동등성 검사 솔루션

FormalPro는 정적 형식 검증 기법을 사용하여 설계가 골든 레퍼런스와 기능적으로 동일하다는 것을 증명합니다.이는 기존의 게이트 레벨 시뮬레이션보다 훨씬 빠른 속도입니다. 며칠 또는 몇 주가 걸리는 설계를 FormalPro를 사용하여 몇 시간 또는 몇 분 만에 검증할 수 있습니다.

주요 기능

테스트 벤치가 없는 동등성 검증 범위

설계가 기능적으로 동일하다는 것을 빠르게 증명하세요. 합성을 위해 RTL을 게이트 넷리스트와 비교하고 레이아웃 스핀의 경우 게이트와 게이트 넷리스트를 비교하세요.모든 디자인에 하나의 툴과 플로우를 사용하세요.

빠른 등가 검사

정적 공식 검증 기법을 사용하여 수백만 개의 게이트 설계를 신속하게 검증하고 검증 시간을 크게 단축합니다.오류의 위치/원인을 식별하는 포괄적인 디버그 도구와 기존 검증 세션 내에서 설계 수정 사항을 조사할 수 있는 고유한 “what-if” 기능을 사용하여 설계를 가장 빠르게 수정할 수 있습니다.