Catapult Design Checker는 다중 푸시 버튼 정적 및 형식 검사 모드를 제공하므로 설계의 시뮬레이션 기반 검증의 필요성을 줄여줍니다.코딩 문제, 설계 소스 모호성, QoR 문제, 잠재적 HLS C++/SystemC와 RTL 불일치의 원인이 빠르게 포착되고 원인과 원인에 대한 피드백이 제공돼요.
주요 기능
캐터펄트 포멀
HL 중심 앱은 기존 RTL 흐름 및 UVM 원칙과 플러그인 호환이 가능해요. 타겟팅은 다음과 같아요.
- 정의되지 않은 동작에 대한 디자인 확인
- 보험 마감 달성했어요
- 디자인 행동을 변화시키는 설정 실수를 감지하세요
- 구현 정확성 확인해 봐요
- 버그 헌팅으로 차이점을 찾아내세요
캐터펄트 포멀 어설트는 캐터펄트 HLS에 통합된 공식 검증 앱이에요.C-Source로 작성된 어설션은 빠른 응답, 구성 가능한 타임아웃 및 해결 전략, 강력한 디버그 환경을 제공하는 강력한 공식 솔버로 평가돼요. 주장하세요, 취하다 그리고 커버 지원돼요.카운터 예제를 통해 C 레벨 테스트벤치와 기본 gdb 설정과 SEDA의 비주얼라이저 그래픽 파형 디버거를 만들 수 있어요.
캐터펄트 온디맨드 교육
Catapult High-Level Synthesis (HLS) 온디맨드 교육 라이브러리에는 엔지니어들에게 HLS와 고수준 검증을 소개하는 모듈이 포함된 학습 경로 세트가 포함되어 있어요.
고위급 합성 및 검증 그룹
Siemens EDA HLS와 HLV 도구를 사용한 설계와 검증의 세부 사항에 대해 논의하는 그룹이에요.새로운 주제, 기능, 콘텐츠, 기술 전문가에 대한 토론에 참여하세요.
HLS 립스
비트가 정확한 하드웨어와 소프트웨어 설계를 위해 표준 C++로 구현된 무료 개방형 라이브러리 세트예요.연구와 설계를 가속화하는 데 사용할 수 있는 HLS에 대한 지식과 IP 교환을 위한 오픈 커뮤니티예요.