all
캐터펄트 커버리지
명령문, 브랜치, 조건, 표현식 (FEC) 및 어레이 액세스 지원 포함 HLS 인식 코드 적용 범위, 커버그룹, 커버포인트, 빈 및 크로스를 지원하는 SystemVerilog에서 영감을 받은 함수 적용 범위.
High-Level 검증 솔루션들
고수준 설계를 위한 동급 최고의 제품과 방법론을 제공하는 Siemens는 설계 프로세스의 여러 지점에서 솔루션을 제공해요.C++ 및 SystemC 등가 검사를 위한 설계 검사, 코드 및 기능 적용 범위, 공식 검증.
캐터펄트 High-Level Verification 솔루션
Catapult HLV 플랫폼을 사용하여 알려지고 신뢰할 수 있는 방법으로 고수준 검증 (HLV) 흐름을 가속화하세요.높은 수준의 설계 검사, 코드/기능 적용 범위, 정적+형식적 방법을 활용하여 전체 SoC 검증 소요 시간과 비용을 최대 80% 까지 줄여요.
가상 HLS 세미나
캐터펄트 고객들이 실제 HLS 사용에 대해 이야기해요
지난 몇 년 동안 설계 및 검증의 복잡성 증가와 시장 출시 시간 압박 때문에 칩 설계에 HLS 채택이 폭발적으로 증가했어요.Catapult HLS를 사용하면 전체 설계 및 검증 흐름을 단축하여 설계자들이 칩을 더 빨리 시장에 출시할 수 있어요.
