ส่งซอฟต์แวร์

โปรแกรมตาม equiitg.sf.net

  • equ-iitg formal equivalence checker ฟรี

    นี่คือเครื่องมือตรวจสอบความเท่าเทียมกันอย่างเป็นทางการที่พัฒนา @ IIT Guwahati ซึ่งสามารถใช้เพื่อตรวจสอบความเท่าเทียมกันในการทํางานระหว่างวงจร (รวมกันและตามลําดับ) ของรูปแบบ BLIF, verilog และ EDIF