Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. equ-iitg formal equivalence checker

equ-iitg formal equivalence checker 1.2

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 2.4/5 - ‎8 ‎Głosów
Pobierz

Jest to formalne narzędzie do sprawdzania równoważności opracowane przez IIT Guwahati, które może być wykorzystane do weryfikacji równoważności funkcjonalnej między obwodami (kombinowanymi i sekwencyjnymi) formatów BLIF, verilog i EDIF.

historia wersji

  • Wersja equiitg_1.2%20beta opublikowany na 2009-07-02
    Kilka poprawek i aktualizacji
  • Wersja equiitg_1.2 beta opublikowany na 2009-07-02

Szczegóły programu

Programy pokrewne

  • ArmedBear / J Wolna

    ArmedBear (ABCL) jest zwykłym lisp napisanym w Javie. Jego kompilator produkuje kod bajtów JVM, dotykając filozofii "napisz raz, uruchom wszędzie" javy. J to edytor tekstu napisany w javie, zawierający np.

  • Integrated PearPC GUI Wolna

    IPG to zintegrowany gui PearPC, który pozwala skonfigurować i uruchomić emulator PearPC w gui opartym na systemie Windows.

  • wxWindows Project Manager for VC7 Wolna

    Zestaw narzędzi, aby uprościć korzystanie z wxWindows z Visual C++ 7.

  • flam3 editor Wolna

    Flam3 Editor jest zbudowany wokół tradycyjnego pakietu oprogramowania flam3. Edytor pozwala załadować, edytować i zapisać kosmiczne cykliczne płomienie fraktalne, takie jak elektryczne pliki owiec lub apophysis, obsługuje tra

  • InvisiBright Free Bezpłatna wersja próbna

    ** Jeśli podoba Ci się ta aplikacja, rozważ wypróbowanie wersji Pro :) **InvisiBright jest niewidocznym narzędziem regulacji jasności. Dostosuj z wnętrza dowolnej aplikacji, przesuwając palcem po ekranie lub przechylając

  • serverM - a powerful host-based IDS Wolna

    serverM to niezwykle elastyczny system wykrywania włamań oparty na hostie oparty na sygnaturach (HIDS). Działa jako demon Perla, używa małego procesora i jest w stanie wykryć szeroki zakres włamań. Język podpisu jest potężny,

  • Eclipse SpringIDE Extensions Wolna

    Rozszerzenia dla projektu SpringIDE (patrz springide-eclip i springframework).Obecnie obejmuje: klasę (przenieś/zmień nazwę) i metodę (zmień nazwę) refaktoryzacji uczestników, wsparcie wyszukiwania i "quick fix" składek.

  • Generic Entity Manager Wolna

    Ogólny menedżer jednostek gry napisany w języku C++ z powiązaniami Lua. Na wczesnych etapach atm. Game Entity System - Obecnie poszukuje dodatkowych członków projektu.

  • ajaxnet4j Wolna

    ajaxnet4j to implementacja java słynnej biblioteki Ajax.NET Professional. Za jego pomocą możesz skupić się na logice biznesowej po stronie serwera i środowiskach użytkowników po stronie klienta i nie musisz spędzać dużo czasu

  • NSketch, .Net sketch-based algorithms Wolna

    Biblioteka NSketch zawiera implementacje najczęściej opartych na szkicu algorytmów (histogramy, kwanty, częste przedmioty, filtr kwitnienia ...). Biblioteka jest napisana w języku C# dla .Net.