High-Level Verification Solutions

고급 설계를 위한 동급 최고의 제품과 방법론을 제공하는 Siemens는 설계 프로세스의 여러 지점에서 솔루션을 제공합니다.C++ 및 SystemC 동등성 검사에 대한 설계 검사, 코드 및 기능 적용 범위, 공식 검증

Catapult High-Level Verification Solutions

Catapult HLV 플랫폼을 사용하여 알려지고 신뢰할 수 있는 방법으로 고수준 검증 (HLV) 흐름을 가속화하십시오.고급 설계 검사, 코드/기능 적용 범위, 정적/형식적 방법을 활용하여 전체 SoC 검증 소요 시간 및 비용을 최대 80% 까지 줄이십시오.

명령문, 분기, 조건, 표현식 (FEC) 및 어레이 액세스 범위에 대한 지원을 포함한 HLS 인식 코드 지원, 커버 그룹, 커버 포인트, 빈 및 크로스에 대한 지원을 포함한 SystemVerilog에서 영감을 받은 기능 지원

초기에 실수, 모호성, 문제 설계 문제 또는 사용자 제약조건 실수를 정식으로 찾아냅니다.Catapult Formal은 타이밍과 인터페이스에 차이가 있더라도 검증 및 커버리지 클로징 플로우를 지원합니다.

SLEC를 사용하여 고급 모델과 비교하여 RTL의 정확성을 확인하십시오.언어, 타이밍 또는 추상화의 차이에도 불구하고 사양과 구현이 동일하다는 것을 증명할 수 있습니다.

Questa HL-SYC 확장을 통한 높은 수준의 설계 검증은 흐름 초기에 검증을 시작하여 합성 전에 문제를 제거하는 데 도움이 됩니다.