Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. equ-iitg formal equivalence checker

equ-iitg formal equivalence checker 1.2

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 2.4/5 - ‎8 ‎Suara
Download

Ini adalah alat pengecekan kesetaraan formal yang dikembangkan @ IIT Guwahati yang dapat digunakan untuk memverifikasi kesetaraan fungsional antara sirkuit (kombinasi dan berurutan) dari format BLIF, verilog dan EDIF.

Riwayat versi

  • Versi equiitg_1.2%20beta diposting di 2009-07-02
    Beberapa perbaikan dan pembaruan
  • Versi equiitg_1.2 beta diposting di 2009-07-02

Detil Program

Program Terkait

  • ArmedBear / J Gratis

    ArmedBear (ABCL) adalah Lisp Umum yang ditulis di Jawa. Kompilasinya menghasilkan kode byte JVM, memanfaatkan filosofi 'tulis sekali, lari ke mana-mana' Jawa. J adalah editor teks yang ditulis dalam Java yang menampilkan peny

  • Integrated PearPC GUI Gratis

    IPG adalah GUI PearPC Terintegrasi, yang memungkinkan Anda untuk mengonfigurasi dan menjalankan emulator PearPC dalam GUI berbasis Windows.

  • wxWindows Project Manager for VC7 Gratis

    Seperangkat alat untuk menyederhanakan penggunaan wxWindows dengan Visual C++ 7.

  • flam3 editor Gratis

    Flam3 Editor dibangun di sekitar paket perangkat lunak flam3 tradisional. Editor memungkinkan Anda memuat, mengedit, dan menyimpan api fraktal rekursif kosmik, seperti domba listrik atau file apophysis, ia menangani file para

  • InvisiBright Free Uji Coba Gratis

    ** Jika Anda menyukai aplikasi ini, silakan pertimbangkan untuk mencoba versi Pro :) **InvisiBright adalah utilitas penyesuaian kecerahan yang tak terlihat. Sesuaikan dari dalam aplikasi apa pun dengan menggesek di layar

  • serverM - a powerful host-based IDS Gratis

    serverM adalah sistem deteksi intrusi berbasis host berbasis tanda tangan yang sangat fleksibel (HIDS). Berjalan sebagai daemon Perl, ia menggunakan sedikit CPU, dan mampu mendeteksi berbagai gangguan. Bahasa tanda tangan kua

  • Eclipse SpringIDE Extensions Gratis

    Ekstensi untuk proyek SpringIDE (lihat springide-eclip dan springframework).Saat ini termasuk: Kelas (pindah/ganti nama) dan metode (ganti nama) refactoring peserta, dukungan pencarian dan kontribusi 'perbaikan cepat'.

  • Generic Entity Manager Gratis

    Manajer entitas game generik yang ditulis dalam C++ dengan pengikatan Lua. Pada tahap awal ATM. Sistem Entitas Game - Saat Ini Mencari Anggota Proyek Tambahan.

  • ajaxnet4j Gratis

    ajaxnet4j adalah implementasi Jawa dari perpustakaan Ajax.NET Professional yang terkenal. Dengan bantuan itu, Anda dapat berkonsentrasi pada logika bisnis sisi server, dan pengalaman pengguna pihak klien, dan tidak perlu meng

  • NSketch, .Net sketch-based algorithms Gratis

    Perpustakaan NSketch menyediakan implementasi algoritma berbasis sketsa yang paling umum (histogram, quantile, item yang sering, filter mekar ...). Perpustakaan ditulis dalam C# untuk .Net.