Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. equ-iitg formal equivalence checker
  5. Download

equ-iitg formal equivalence checker 1.2

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 2.4/5 - ‎8 ‎Votos

acerca de equ-iitg formal equivalence checker

Se trata de una herramienta formal de verificación de equivalencia desarrollada por IIT Guwahati que se puede utilizar para verificar la equivalencia funcional entre circuitos (combinados y secuenciales) de los formatos BLIF, verilog y EDIF.

Programas relacionados

  • ArmedBear / J Gratis

    ArmedBear (ABCL) es un Common Lisp escrito en Java. Su compilador produce código de bytes JVM, aprovechando la filosofía de "escribir una vez, ejecutar en todas partes" de Java. J es un editor de texto escrito en Java con, po

  • Integrated PearPC GUI Gratis

    IPG es la GUI integrada de PearPC, que le permite configurar y ejecutar el emulador de PearPC dentro de una GUI basada en Windows.

  • wxWindows Project Manager for VC7 Gratis

    Un conjunto de herramientas para simplificar el uso de wxWindows con Visual C++ 7.

  • flam3 editor Gratis

    Flam3 Editor se basa en el paquete de software tradicional flam3. El editor le permite cargar, editar y guardar llamas fractales recursivas cósmicas, como ovejas eléctricas o archivos de apofísicas, maneja archivos de parámet

  • InvisiBright Free Prueba gratuita

    **Si te gusta esta aplicación, por favor considere probar la versión Pro :) **InvisiBright es una utilidad de ajuste de brillo invisible. Ajuste desde dentro de cualquier aplicación deslizando el dedo por la pantalla o in

  • serverM - a powerful host-based IDS Gratis

    serverM es un sistema de detección de intrusiones basado en host (HIDS) basado en firmas extremadamente flexible. Ejecutándose como un demonio Perl, utiliza poca CPU, y es capaz de detectar una amplia gama de intrusiones. El

  • Eclipse SpringIDE Extensions Gratis

    Extensiones para el proyecto SpringIDE (consulte springide-eclip y springframework).Actualmente incluye: Clase (mover/renombrar) y método (renombrar) refactorizar participantes, soporte de búsqueda y contribuciones de "corr

  • Generic Entity Manager Gratis

    Un administrador de entidades de juego genérico escrito en C++ con enlaces Lua. En las primeras etapas atm. Sistema de Entidades de Juego - Actualmente Buscando Miembros adicionales del Proyecto.

  • ajaxnet4j Gratis

    ajaxnet4j es una implementación Java de la famosa biblioteca Ajax.NET Professional. Con la ayuda de esto, puede concentrarse en lógicas de negocios del lado del servidor y experiencias de usuario del lado cliente, y no tiene

  • NSketch, .Net sketch-based algorithms Gratis

    La biblioteca NSketch proporciona implementaciones de los algoritmos basados en bocetos más comunes (histogramas, cuancil, elementos frecuentes, filtro de floración ...). La biblioteca está escrita en C- para .Net.