개요
캐터펄트 디자인 체커
Catapult는 합성 전에 C++/SystemC 설계의 정확성을 검증하는 린트 분석과 형식 분석을 제공해요.초기화되지 않은 메모리 읽기, 범위를 벗어난 배열 액세스, 불완전한 스위치 명령문, HLS로 코딩할 때 발생할 수 있는 QoR 문제와 관련된 설계 문제를 피하세요.
C++에서의 검증으로 비용을 최대 80% 까지 절감해요
C++/SystemC용 정형 및 정적 린트요
Catapult Design Checker는 여러 검사 모드를 제공하므로 설계의 문제를 시뮬레이션 기반으로 디버그할 필요가 없어요.코딩 문제, QoR 문제, 잠재적 C++/SystemC와 RTL 간의 불일치와 모호성이 빠르게 포착돼서 소스와 원인에 대한 정확한 피드백을 줘요.
QoR용 스태틱 린트요
Catapult Design Checker를 사용하면 합성 전에 코딩에서 흔히 발생하는 문제를 쉽게 찾을 수 있어요.
특정한 문제에 집중하세요
Catapult Design Checker를 사용하면 이미 알려진 문제로 인한 소음을 줄이면서 긴급한 문제에 집중하도록 검사를 사용자 지정하고 우선 순위를 지정할 수 있어요.
디자인 체커에 대해 대화할 준비가 되셨나요?
어떤 질문이든 저희가 답변해 드릴게요!
캐터펄트 온디맨드 교육
Catapult 고수준 합성 (HLS) 온디맨드 교육 라이브러리에는 엔지니어들에게 HLS와 고수준 검증을 소개하는 모듈이 포함된 학습 경로 세트가 포함되어 있어요.
고위급 합성 및 검증 그룹
Siemens EDA HLS와 HLV 도구를 사용한 설계와 검증의 세부 사항에 대해 논의하는 그룹이에요.새로운 주제, 기능, 콘텐츠, 기술 전문가에 대한 토론에 참여하세요.
HLS 립스
비트가 정확한 하드웨어와 소프트웨어 설계를 위해 표준 C++로 구현된 무료 개방형 라이브러리 세트예요.연구와 설계를 가속화하는 데 사용할 수 있는 HLS에 대한 지식과 IP 교환을 위한 오픈 커뮤니티예요.
