안전 결함 분석에 사용되는 다른 결함 시뮬레이터와 달리 Optima의 FIE 기술 알고리즘 세트는 이 작업의 특정 요구 사항을 해결하기 위해 의도적으로 구축되었습니다. 최신 검증 기술을 결합하여 사용합니다. 여기에는 고급 병렬 시뮬레이션, 공식 검증, 결함 목록 최적화 등이 포함되어 달성 가능한 성능을 최대화합니다. 또한, 안전 결함 분석의 특성에 맞는 결함 등급화 방법을 적용하여 분석 시간을 더욱 단축합니다.
차상위 대체 결함 시뮬레이터에 비해 최대 1,000배까지 분석 작업이 가속화되는 것은 실제 상용 설계에서 일관되게 관찰되었습니다. 엄청난 성능 향상이 표준입니다. 아래 그림은 대규모 상용 프로세서 설계에 대한 벤치마크 결과를 보여줍니다.
