Submit Software
  1. Home
  2. Windows
  3. Other
  4. equ-iitg formal equivalence checker

equ-iitg formal equivalence checker 1.2

License: Free ‎File size: N/A
‎Users Rating: 2.4/5 - ‎8 ‎votes
Download

This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.

VERSION HISTORY

  • Version equiitg_1.2%20beta posted on 2009-07-02
    Several fixes and updates
  • Version equiitg_1.2 beta posted on 2009-07-02

Program Details

Related Programs

  • ArmedBear / J Free

    ArmedBear (ABCL) is a Common Lisp written in Java. Its compiler produces JVM byte code, tapping into the 'write once, run everywhere' philosophy of Java. J is a text editor written in Java featuring e.g. syntax highlighting a

  • Integrated PearPC GUI Free

    IPG is the Integrated PearPC GUI, which allows you to configure and run the PearPC emulator within a Windows-based GUI.

  • wxWindows Project Manager for VC7 Free

    A set of tools to simplify the use of wxWindows with Visual C++ 7.

  • flam3 editor Free

    Flam3 Editor is built around the traditional flam3 software pack. The editor let you load, edit and save cosmic recursive fractal flames, like electric sheep or apophysis files, it handles traditional flam3 xml parameter file

  • InvisiBright Free Free Trial

    **If you like this app, please consider trying the Pro version :) **InvisiBright is an invisible brightness adjustment utility. Adjust from inside any application by either swiping across the screen or tilting your device. Ke

  • serverM - a powerful host-based IDS Free

    serverM is an extremely flexible signature-based host-based intrusion detection system (HIDS). Running as a Perl daemon, it uses little CPU, and is capable of detecting a wide range of intrusions. Signature language is powerf

  • Eclipse SpringIDE Extensions Free

    Extensions for the SpringIDE project (see springide-eclip and springframework).Currently includes: Class (move/rename) and method (rename) refactoring participants, search support and 'quick fix' contributions.

  • Generic Entity Manager Free

    A generic game entity manager written in C++ with Lua bindings. In early stages atm. Game Entity System - Currently Seeking Additional Project Members.

  • ajaxnet4j Free

    ajaxnet4j is a Java implementation of the famous Ajax.NET Professional library. With the help of it, you can concentrate on server-side business logics, and client-side user experiences, and don't have to spend much time on c

  • NSketch, .Net sketch-based algorithms Free

    The NSketch library provides implementations of most common sketch-based algorithms (histograms, quantile, frequent items, bloom filter ...). The library is written in C# for .Net.