ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. equ-iitg formal equivalence checker

equ-iitg formal equivalence checker 1.2

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 2.4/5 - ‎8 ‎โหวต
ดาวน์โหลด

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

ประวัติรุ่น

  • เวอร์ชัน equiitg_1.2%20beta โพสต์เมื่อ 2009-07-02
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน equiitg_1.2 beta โพสต์เมื่อ 2009-07-02

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • ArmedBear / J ฟรี

    ArmedBear (ABCL) เป็น Lisp ทั่วไปที่เขียนใน Java คอมไพเลอร์ของมันผลิตรหัสไบต์ JVM แตะที่ 'เขียนครั้งเดียวเรียกใช้ทุกที่' ปรัชญาของ Java J เป็นโปรแกรมแก้ไขข้อความที่เขียนใน Java ที่มีเช่นการเน้นไวยากรณ์และการเยื้องอัตโนมัติ

  • Integrated PearPC GUI ฟรี

    IPG เป็น PearPC GUI ในตัวซึ่งช่วยให้คุณสามารถกําหนดค่าและเรียกใช้โปรแกรมจําลอง PearPC ภายใน GUI ที่ใช้ Windows

  • wxWindows Project Manager for VC7 ฟรี

    ชุดเครื่องมือเพื่อลดความซับซ้อนของการใช้ wxWindows ด้วย Visual C++ 7

  • flam3 editor ฟรี

    โปรแกรมแก้ไข Flam3 ถูกสร้างขึ้นรอบ ๆ ชุดซอฟต์แวร์ flam3 แบบดั้งเดิม บรรณาธิการช่วยให้คุณสามารถโหลดแก้ไขและบันทึกเปลวไฟเศษส่วนแบบคอสมิกเช่นแกะไฟฟ้าหรือไฟล์ apophysis มันจัดการไฟล์พารามิเตอร์ xml flam3 แบบดั้งเดิม

  • InvisiBright Free ทดลองใช้ฟรี

    **หากคุณชอบแอพนี้โปรดลองรุ่น Pro :) **InvisiBright เป็นยูทิลิตี้การปรับความสว่างที่มองไม่เห็น ปรับจากภายในแอปพลิเคชันใด ๆ โดยการปัดผ่านหน้าจอหรือเอียงอุปกรณ์ของคุณ การรักษาความสว่างในการตรวจสอบเช่นนี้เป็นวิธีที่ดีที่สุดใน

  • serverM - a powerful host-based IDS ฟรี

    serverM เป็นระบบตรวจจับการบุกรุกตามลายเซ็นที่ยืดหยุ่นมาก (HIDS) ทํางานเป็นดีมอน Perl, มันใช้ CPU น้อย, และมีความสามารถในการตรวจจับการบุกรุกที่หลากหลาย. ภาษาซิกเนเจอร์นั้นทรงพลังและตัวเลือกการเตือนภัยแตกต่างกัน

  • Eclipse SpringIDE Extensions ฟรี

    ส่วนขยายสําหรับโครงการ SpringIDE (ดูสปริงไทด์คราฟต์และสปริงเฟรมเวิร์ค)ปัจจุบันประกอบด้วย: คลาส (ย้าย/เปลี่ยนชื่อ) และวิธีการ (เปลี่ยนชื่อ) refactoring ผู้เข้าร่วม, การสนับสนุนการค้นหาและการมีส่วนร่วม 'แก้ไขด่วน'

  • Generic Entity Manager ฟรี

    ผู้จัดการเอนทิตีเกมทั่วไปที่เขียนด้วย C++ ที่มีการผูก Lua ในระยะแรก atm ระบบเอนทิตีเกม - ขณะนี้กําลังมองหาสมาชิกโครงการเพิ่มเติม

  • ajaxnet4j ฟรี

    ajaxnet4j เป็น Java การดําเนินการของห้องสมุดAjax.NETมืออาชีพที่มีชื่อเสียง ด้วยความช่วยเหลือของมันคุณสามารถมุ่งเน้นไปที่ตรรกะทางธุรกิจฝั่งเซิร์ฟเวอร์และประสบการณ์ของผู้ใช้ฝั่งไคลเอ็นต์และไม่ต้องใช้เวลามากในการเชื่อมต่อระหว่าง

  • NSketch, .Net sketch-based algorithms ฟรี

    ห้องสมุด NSketch ให้การใช้งานของอัลกอริทึมที่ใช้ร่างที่พบมากที่สุด (ฮิสโตแกรม, quantile, รายการบ่อย, ตัวกรองบาน ... ) ไลบรารีถูกเขียนขึ้นใน C# สําหรับ .Net