equ-iitg formal equivalence checker 1.2
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 2.4/5 - 8 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ equ-iitg formal equivalence checker
นี่คือเครื่องมือตรวจสอบความเท่าเทียมกันอย่างเป็นทางการที่พัฒนา @ IIT Guwahati ซึ่งสามารถใช้เพื่อตรวจสอบความเท่าเทียมกันในการทํางานระหว่างวงจร (รวมกันและตามลําดับ) ของรูปแบบ BLIF, verilog และ EDIF