การสังเคราะห์และการตรวจสอบระดับสูง Catapult

Catapult มีโซลูชันการออกแบบฮาร์ดแวร์ที่กว้างขวางที่สุดสำหรับ C++ และการสังเคราะห์ระดับสูงที่ใช้ System (HLS)โหมด Multi-VT ที่ตระหนักถึงทางกายภาพของ Catapult พร้อมการประมาณและการเพิ่มประสิทธิภาพการใช้พลังงานต่ำ รวมถึงโซลูชันการตรวจสอบชั้นนำที่หลากหลายทำให้ Catapult HLS มากกว่าแค่ “C to RTL”

กิจกรรมที่กำลังจะมาถึง HLS & HLV ห้องสมุดทรัพยากร HLS และ HLV

คาตาปูลต์ High-Level Synthesis Solutions

โซลูชันการสังเคราะห์ระดับสูง Catapult ให้การสนับสนุนภาษา C++ และ SystemC ความเป็นอิสระ FPGA และ ASIC การประเมินและการเพิ่มประสิทธิภาพพลังงาน ASIC รวมถึงพื้นที่ Multi-VT ที่ตระหนักถึงทางกายภาพและการเพิ่มประสิทธิภาพการทำงานล่าสุดเพื่อยกระดับการออกแบบของคุณ

C++/SystemC Synthesis

การ@@

ไหลของ HLS ที่ครอบคลุมโดยใช้ C++ หรือ SystemC เป็นอินพุตการออกแบบและกำหนดเป้าหมายการใช้งาน ASIC, eFPGA หรือ FPGA อย่างเหมาะสมที่ปรับให้เหมาะสมกับเทคโนโลยีความถี่และเป้าหมาย

โซลูชันพลังงานต่ำ

เมื่อพูดถึงการสำรวจอวกาศการออกแบบในช่วงต้น การประมาณพลังงาน และการเพิ่มประสิทธิภาพสำหรับ ASIC RTL พลังงานต่ำ Catapult สร้าง RTL ที่มีประสิทธิภาพสูงซึ่งได้รับการปรับให้เหมาะสมกับเรา PowerPro เทคโนโลยีใต้ฝากระโปรง

กราฟิกเวกเตอร์ของคาตาปูลต์ที่มีส่วนที่มีป้ายกำกับ เช่น 'Arm', 'Counterweight' และ 'Trigger'

โซลูชั่น AI

Catapult AI ช่วยเพิ่มประสิทธิภาพ HLS สำหรับการสำรวจการออกแบบอย่างเร่งด่วน การวิเคราะห์ปริมาณและการทำนายประสิทธิภาพ พลังงาน และพื้นที่

คาตาปูลต์ High-Level Verification Solutions

เร่งการตรวจสอบระดับสูง (HLV) ของคุณด้วยวิธีการที่รู้จักและเชื่อถือได้โดยใช้แพลตฟอร์ม Catapult HLVลดเวลาและค่าใช้จ่ายในการดำเนินการตรวจสอบ SoC โดยรวมของคุณได้ถึง 80% โดยใช้ประโยชน์จากการตรวจสอบการออกแบบระดับสูง ความครอบคลุมรหัส/ฟังก์ชันการทำงาน และวิธีการแบบคงที่และเป็นทางการ

Catapult Coverage

ความ@@

ครอบคลุมโค้ดที่ตระหนักถึง HLS รวมถึงการสนับสนุนสำหรับคำสั่ง สาขา เงื่อนไข การแสดงออก (FEC) และการเข้าถึงอาร์เรย์ รวมถึงความครอบคลุมการทำงานที่ได้รับแรงบันดาลใจจาก SystemVerilog พร้อมรองรับกลุ่มครอบคลุม จุดครอบคลุม ถังขยะ และครอส

Catapult Formal Verification Tools

ค้นหาข้อผิดพลาด ความคลุมเครือ และปัญหาการออกแบบปัญหาหรือข้อผิดพลาดในการจำกัดผู้ใช้อย่างเป็นทางการ ในช่วงต้นของกระบวนการ HLSแม้จะมีความแตกต่างในเวลาและอินเทอร์เฟซ แต่ Catapult Formal ยังช่วยให้การตรวจสอบและขั้นตอนการปิดความครอบคลุม