FormalPro ใช้เทคนิคการตรวจสอบอย่างเป็นทางการแบบคงที่เพื่อพิสูจน์ว่าการออกแบบนั้นเหมือนกับการอ้างอิงสีทองในเชิงหน้าที่นี่เป็นลำดับที่เร็วกว่าการจำลองระดับประตูแบบดั้งเดิม - การออกแบบที่ใช้เวลาหลายวันหรือหลายสัปดาห์สามารถตรวจสอบได้เป็นชั่วโมงหรือแม้แต่นาทีโดยใช้ FormalPro
พิสูจน์ได้อย่างรวดเร็วว่าการออกแบบนั้นเหมือนกันในทางการ - เปรียบเทียบ RTL กับ gate netlist สำหรับการสังเคราะห์, เกตถึงเกตเน็ตลิสต์สำหรับเลย์เอาต์สปินใช้เครื่องมือเดียวและโฟลว์สำหรับการออกแบบทั้งหมดของคุณ
การตรวจสอบอย่างรวดเร็วของการออกแบบประตูหลายล้านรายการและการลดเวลาในการตรวจสอบอย่างมากโดยใช้เทคนิคการตรวจสอบอย่างเป็นทางการแบบคงที่เส้นทางที่เร็วที่สุดในการแก้ไขการออกแบบด้วยเครื่องมือแก้ไขข้อบกพร่องที่ครอบคลุมซึ่งระบุตำแหน่ง/สาเหตุของข้อผิดพลาดและความสามารถ “what-if” ที่ไม่เหมือนใครในการตรวจสอบการแก้ไขการออกแบบภายในเซสชันการตรวจสอบที่มีอยู่
เข้าร่วมการอภิปรายเกี่ยวกับหัวข้อใหม่ คุณลักษณะ เนื้อหา และผู้เชี่ยวชาญด้านเทคนิค
เข้าถึงรายละเอียดบันทึกแอปพลิเคชันผู้ใช้ทรัพยากรการฝึกอบรมและอื่น ๆ
ช่วยให้คุณบรรลุผลกระทบทางธุรกิจสูงสุดโดยการจัดการกับเทคโนโลยีที่ซับซ้อนและความท้าทายขององค์กรด้วยการผสมผสานเฉพาะของประสบการณ์การพัฒนาและการออกแบบและความเชี่ยวชาญด้านระเบียบวิธีการ
