Skip to main content
หน้านี้จะแสดงผลโดยใช้การแปลอัตโนมัติ ดูเป็นภาษาอังกฤษแทน?

ภาพรวม

Questa Inspect

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


ติดต่อกับทีมขายของเรา 1-800-547-3000

วิศวกรใช้เครื่องมือ Questa Inspect บนเดสก์ท็อปของเขาในขณะที่สวมชุดหูฟัง
คุณสมบัติที่สำคัญ

การตรวจสอบที่กลืนไม่ออกไม่ออกจากนักออกแบบ

SVA และ PSL ใช้เวลานานแอป Questa Inspect ทำให้ง่ายต่อการระบุปัญหาที่อาจต้องใช้เวลาและความพยายามมากในการกำจัด เช่น การหยุดล็อคของสถานะของเครื่อง และ livelock การล้นทางคณิตศาสตร์ และการจัดทำดัชนีหน่วยความจำนอกช่วง

การตรวจสอบอย่างเป็นทางการ

เอกสารไวท์เปเปอร์ที่แนะนำ

การตรวจสอบอย่างเป็นทางการ

กิจกรรมที่กำลังจะมาถึงและตามความต้องการ

ดูบันทึกวิดีโอการตรวจสอบอย่างเป็นทางการทั้งหมดที่มี ได้ที่ สถาบันการตรวจสอบ.