การตรวจสอบสิ่งกระตุ้นฟรี

แอพล่าปัญหาอย่างเป็นทางการอัตโนมัติเต็มรูปแบบที่พบปัญหาที่ซ่อนอยู่อย่างลึกซึ้งเนื่องจากข้อผิดพลาดในการเข้ารหัส RTL ทั่วไป Questa Inspect ทำให้สามารถกำจัดปัญหาที่หลากหลายได้โดยไม่ต้องใช้เบนช์

เดอะ Questa Check Connect แอพเป็นโซลูชันอัตโนมัติเต็มรูปแบบสำหรับการตรวจสอบการเชื่อมต่อแบบคงที่และแบบไดนามิกอย่างครบถ้วนโดยไม่ต้องมีความรู้เกี่ยวกับภาษาที่เป็นทางการหรือข้อมูลจำเพาะของคุณสมบัติ

Questa Increase Coverage เป็นโซลูชันอย่างเป็นทางการอัตโนมัติเพื่อให้การปิดความครอบคลุมโค้ดได้เร็วขึ้น ซึ่งแก้ไขข้อเท็จจริงที่ไม่อาจโต้แย้งไม่ได้ของการตรวจสอบได้: เศษส่วนหนึ่งของรหัสที่เปิดเผยยังคงอยู่เสมอ

Questa Formal VIP AMBA และ OnChip Libraries ปรับปรุงคุณภาพและลดตารางเวลาโดยการสร้างความเชี่ยวชาญด้านโปรโตคอลและวิธีการเป็นแพ็คเกจการยืนยันที่นำกลับมาใช้ใหม่ซึ่งรองรับอินเทอร์เฟซมาตรฐานอุตสาหกรรมยอดนิยม

Questa Verify Property ค้นพบข้อผิดพลาดในการออกแบบที่อาจเกิดขึ้นได้อย่างถี่ถ้วน โดยไม่จำเป็นต้องมีสิ่งกระตุ้นเฉพาะเพื่อตรวจจับปัญหาสิ่งนี้ช่วยให้มั่นใจได้ว่าการออกแบบที่ตรวจสอบแล้วจะปราศจากปัญหาในสถานการณ์การป้อนข้อมูลทางกฎหมายทั้งหมด

เดอะ Questa Check Register แอพทำการตรวจสอบอย่างละเอียดถี่ถ้วนของพฤติกรรมการควบคุมและลงทะเบียนสถานะโดยอัตโนมัติตามข้อกำหนดการลงทะเบียน CSV หรือ IP-XACT

เดอะ Questa Verify Secure แอปเป็นโซลูชันอัตโนมัติเต็มรูปแบบสำหรับการตรวจสอบอย่างละเอียดว่าเฉพาะเส้นทางที่คุณระบุเท่านั้นที่สามารถเข้าถึงองค์ประกอบด้านความปลอดภัยหรือการจัดเก็บข้อมูลที่สำคัญต่อความปลอดภัย

Questa Equivalent RTL เปรียบเทียบข้อมูลจำเพาะ RTL และการใช้งานบล็อกรหัส RTL โดยอัตโนมัติโดยใช้การวิเคราะห์อย่างเป็นทางการอย่างละเอียดถี่ถ้วนไม่จำเป็นต้องมีความรู้เกี่ยวกับภาษาที่เป็นทางการหรือข้อมูลจำเพาะของทรัพย์สิน

Questa Check X เป็นแอปพลิเคชันอัตโนมัติที่กำจัดปัญหา 'X' อย่างเต็มที่ในระดับ RTL โดยไม่ต้องใช้เบนช์ทดสอบ

ซีเมนส์ Questa Equivalent FPGA โซลูชันช่วยให้มั่นใจได้ว่าขั้นตอนการใช้งาน FPGA เช่นการสังเคราะห์และการเพิ่มประสิทธิภาพตำแหน่งและเส้นทางจะไม่แนะนำข้อผิดพลาดในการทำงาน

Questa GapFree เพิ่มประสิทธิภาพคุณภาพของการออกแบบดิจิทัลโดยพิสูจน์การทำงานทั้งหมดสำหรับอินพุตทั้งหมดซึ่งนำไปสู่อัตราการหลบหนีปัญหาต่ำที่ไม่เคยมีมาก่อน

การตรวจสอบการออกแบบระดับสูงด้วยการขยายตัว Questa HL-SYC ช่วยขจัดปัญหาก่อนการสังเคราะห์โดยเริ่มการตรวจสอบก่อนหน้าขั้นตอนการทำงาน

Questa Verify Trust ใช้การวิเคราะห์อัตโนมัติเพื่อตรวจจับและรายงานข้อกังวลเกี่ยวกับช่องโหว่เกี่ยวกับความปลอดภัย

รับรองความสอดคล้องของการออกแบบ RISC-V กับ ISA และข้อกำหนดเบื้องต้นด้านการทำงาน เร่งการตรวจสอบโดยการขจัดความจำเป็นในการสร้าง testbench

เดอะ Questa FPU แอปพลิเคชันช่วยลดภาระงานการตรวจสอบได้อย่างมีนัยสำคัญ ทำให้มั่นใจได้ว่าการปรับใช้จุดลอยได้ถูกต้องตามผลลัพธ์ที่ต้องการ

เดอะ Questa Analyze Fault แอปพลิเคชันเป็นโซลูชันที่ใช้เทคโนโลยี Questa formal ซึ่งวิเคราะห์ข้อผิดพลาดโดยการฉีดและตรวจสอบผลลัพธ์อย่างเป็นทางการเพื่อความปลอดภัยและความปลอดภัยของฮาร์ดแวร์

Analysis Architecture เป็นโซลูชันที่ก้าวหน้าซึ่งช่วยให้ผู้ใช้มีความสามารถในการตรวจสอบระบบฮาร์ดแวร์ขนาดใหญ่สอดคล้องกับสถาปัตยกรรมที่ระบุหรือไม่

แอป Questa Post Silicon Debug ใช้ประโยชน์จากการวิเคราะห์อย่างเป็นทางการและการสังเคราะห์คุณสมบัติเพื่อรากปัญหาสาเหตุอย่างรวดเร็วในตรรกะที่ลึกซึ้งภายใน SoC และพิสูจน์ว่าการแก้ไขจะไม่ทำลายอะไรอื่น