Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. equ-iitg formal equivalence checker

equ-iitg formal equivalence checker 1.2

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 2.4/5 - ‎8 ‎Undi
Muat turun

Ini adalah alat pemeriksaan kesamaan rasmi yang dibangunkan @ IIT Guwahati yang boleh digunakan untuk mengesahkan persamaan fungsi antara litar (gabungan dan berurutan) format BLIF, verilog dan EDIF.

sejarah versi

  • Versi equiitg_1.2%20beta diposkan pada 2009-07-02
    Beberapa pembaikan dan pengemaskinian
  • Versi equiitg_1.2 beta diposkan pada 2009-07-02

Butiran Atur Cara

Atur Cara Berkaitan

  • ArmedBear / J Percuma

    ArmedBear (ABCL) adalah Lisp Biasa yang ditulis dalam Jawa. Kompilernya menghasilkan kod bait JVM, meneroka falsafah 'tulis sekali, lari ke mana-mana' falsafah Jawa. J adalah editor teks yang ditulis dalam Jawa yang memaparka

  • Integrated PearPC GUI Percuma

    IPG adalah Gui PearPC Bersepadu, yang membolehkan anda mengkonfigurasi dan menjalankan emulator PearPC dalam GUI berasaskan Windows.

  • wxWindows Project Manager for VC7 Percuma

    Satu set alat untuk memudahkan penggunaan wxWindows dengan Visual C++ 7.

  • flam3 editor Percuma

    Editor Flam3 dibina di sekitar pek perisian flam3 tradisional. Editor membolehkan anda memuatkan, mengedit dan menyimpan api fractal berulang kosmik, seperti kambing biri-biri elektrik atau fail apophysis, ia mengendalikan fa

  • InvisiBright Free Percubaan Percuma

    **Jika anda suka aplikasi ini, sila pertimbangkan untuk mencuba versi Pro :) **InvisiBright adalah utiliti pelarasan kecerahan yang tidak kelihatan. Laraskan dari dalam mana-mana aplikasi dengan sama ada meleret merentasi

  • serverM - a powerful host-based IDS Percuma

    serverM adalah sistem pengesanan gangguan berasaskan tandatangan yang sangat fleksibel (HIDS). Berjalan sebagai Daemon Perl, ia menggunakan sedikit CPU, dan mampu mengesan pelbagai jenis gangguan. Bahasa tandatangan adalah pi

  • Eclipse SpringIDE Extensions Percuma

    Sambungan untuk projek SpringIDE (lihat springide-eclip dan springframework).Pada masa ini termasuk: Kelas (pindah/namakan semula) dan kaedah (menamakan semula) peserta refactoring, sokongan carian dan sumbangan 'cepat betu

  • Generic Entity Manager Percuma

    Pengurus entiti permainan generik yang ditulis dalam C++ dengan ikatan Lua. Pada peringkat awal ATM. Sistem Entiti Permainan - Kini Mencari Ahli Projek Tambahan.

  • ajaxnet4j Percuma

    ajaxnet4j adalah pelaksanaan Jawa perpustakaan Ajax.NET Profesional. Dengan bantuan itu, anda boleh menumpukan perhatian pada logik perniagaan sebelah pelayan, dan pengalaman pengguna sebelah pelanggan, dan tidak perlu mengha

  • NSketch, .Net sketch-based algorithms Percuma

    Perpustakaan NSketch menyediakan pelaksanaan algoritma berasaskan lakaran yang paling biasa (histogram, kuantile, barang-barang yang kerap, penapis mekar ...). Perpustakaan ditulis dalam C# untuk .Net.