다양한 동급 최고의 엔진과 함께 사용하면 이 강력한 검증 접근 방식을 통해 버그 헌팅, 경계 검사, 완벽한 증거 전략이 가능해요.SLEC는 일반적인 시뮬레이션 기반 검증을 보완하도록 설계되었으며 위조를 이해하기 위해 Siemens EDA Visualizer와 같은 디버그 도구와 통합되어 있어요.
주요 기능
C++/시스템C/RTL의 공식 검증
디자이너들이 높은 수준의 설명을 RTL로 옮기거나 RTL에 전력 최적화를 할 때 결과가 원본과 기능적으로 동일한지 알아야 해요.SLEC 엔진은 수동, 고수준 합성 (투석기 생성), 전력 최적화 RTL 등가 검사를 위한 솔루션을 제공해요.
손으로 코딩한 RTL에서의 복잡한 구현과 관련된 가장 어려운 수동 공식 검증 문제에 대해서요.SLEC 시스템은 배정밀도 부동 소수점 곱셈, 다중덧셈과 RTL로는 완전히 시뮬레이션할 수 없는 다른 문제들만큼 어려운 정식 설계 증명을 가능하게 하는 기능을 제공해요.
캐터펄트 온디맨드 교육
Catapult High-Level Synthesis (HLS) 온디맨드 교육 라이브러리에는 엔지니어들에게 HLS와 고수준 검증을 소개하는 모듈이 포함된 학습 경로 세트가 포함되어 있어요.
고위급 합성 및 검증 그룹
Siemens EDA HLS와 HLV 도구를 사용한 설계와 검증의 세부 사항에 대해 논의하는 그룹이에요.새로운 주제, 기능, 콘텐츠, 기술 전문가에 대한 토론에 참여하세요.
HLS 립스
비트가 정확한 하드웨어와 소프트웨어 설계를 위해 표준 C++로 구현된 무료 개방형 라이브러리 세트예요.연구와 설계를 가속화하는 데 사용할 수 있는 HLS에 대한 지식과 IP 교환을 위한 오픈 커뮤니티예요.