ภาพรวม
ตัวตรวจสอบการออกแบบคาตาปูลต์
Catapult นำมาซึ่งการวิเคราะห์อย่างเป็นทางการเพื่อตรวจสอบการออกแบบ C++/Systemc ของคุณเพื่อความถูกต้องก่อนการสังเคราะห์หลีกเลี่ยงปัญหาการออกแบบที่เกี่ยวข้องกับการอ่านหน่วยความจำที่ไม่ได้เริ่มต้น การเข้าถึงนอกอาร์เรย์ที่ผูกพัน คำสั่งสวิตช์ที่ไม่สมบูรณ์ และปัญหา QoR ที่อาจเกิดขึ้นเมื่อเข้ารหัสสำหรับ HLS
การตรวจสอบที่ระบบ C++ ลดต้นทุนได้ถึง 80%
ลินต์แบบฟอร์มและแบบคงที่สำหรับ C++/Systemc
Catapult Design Checker มีโหมดการตรวจสอบหลายโหมดที่ขจัดความจำเป็นในการแก้ไขข้อบกพร่องตามการจำลองในการออกแบบของคุณปัญหาการเข้ารหัส ปัญหา QoR และความไม่ตรงกันและความคลุมเครือ C++/SystemC ถึง RTL ที่อาจเกิดขึ้นจะถูกจับอย่างรวดเร็วเพื่อให้ข้อเสนอแนะที่แน่นอนเกี่ยวกับแหล่งที่มาและสาเหตุ
ลินต์แบบคงที่สำหรับ QoR
ค้นหาปัญหาทั่วไปในการเข้ารหัสก่อนการสังเคราะห์เป็นเรื่องง่ายด้วย Catapult Design Checker
มุ่งเน้นไปที่ปัญหาเฉพาะ
Catapult Design Checker ช่วยให้ผู้ใช้สามารถปรับแต่งและจัดลำดับความสำคัญของการตรวจสอบเพื่อมุ่งเน้นไปที่ปัญหาเร่งด่วนในขณะที่ลดเสียงรบกวนจากปัญหาที่รู้จักอยู่แล้ว
การฝึกอบรมแบบ Catapult ตามความต้องการ
ห้องสมุดการฝึกอบรมตามความต้องการของ Catapult High-Level Synthesis (HLS) ประกอบด้วยชุดเส้นทางการเรียนรู้พร้อมโมดูลเพื่อแนะนำวิศวกรให้รู้จักกับ HLS และการตรวจสอบระดับสูง
กลุ่มการสังเคราะห์และการตรวจสอบระดับสูง
กลุ่มเพื่อหารือเกี่ยวกับประเด็นที่ละเอียดที่สุดของการออกแบบและการตรวจสอบโดยใช้เครื่องมือ HLS และ HLV ของ Siemens EDAเข้าร่วมการอภิปรายเกี่ยวกับหัวข้อใหม่ คุณลักษณะ เนื้อหา และผู้เชี่ยวชาญด้านเทคนิค
HLSLibs
ชุดไลบรารีแบบเปิดและฟรีที่ใช้ใน C ++ มาตรฐานสำหรับการออกแบบฮาร์ดแวร์และซอฟต์แวร์ที่แม่นยำกับบิตเป็นชุมชนเปิดสำหรับการแลกเปลี่ยนความรู้และ IP สำหรับ HLS ที่สามารถใช้เพื่อเร่งทั้งการวิจัยและการออกแบบ
บล็อกการออกแบบและการตรวจสอบ HLS
บล็อกที่ครอบคลุมวิธีการและเทคนิคการออกแบบและการตรวจสอบการสังเคราะห์ระดับสูง (HLS) รุ่นต่อไป
ให้คำปรึกษา EDA
ช่วยให้คุณบรรลุผลกระทบทางธุรกิจสูงสุดโดยการจัดการกับเทคโนโลยีที่ซับซ้อนและความท้าทายขององค์กรด้วยการผสมผสานเฉพาะของประสบการณ์การพัฒนาและการออกแบบและความเชี่ยวชาญด้านระเบียบวิธีการ