개요
캐터펄트 디자인 체커
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 교환을 위한 개방형 커뮤니티입니다.
EDA 컨설팅
개발 및 설계 경험과 방법론 전문 지식을 고유하게 결합하여 복잡한 기술 및 엔터프라이즈 문제를 해결하여 비즈니스 효과를 극대화할 수 있도록 지원합니다.