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

equ-iitg formal equivalence checker 1.2

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 2.4/5 - ‎8 ‎votos

Sobre equ-iitg formal equivalence checker

Esta é uma ferramenta formal de verificação de equivalência desenvolvida @ IIT Guwahati que pode ser usada para verificar a equivalência funcional entre circuitos (combinados e sequenciais) dos formatos BLIF, verilog e EDIF.

Programas Relacionados

  • ArmedBear / J Grátis

    ArmedBear (ABCL) é um Lisp comum escrito em Java. O seu compilador produz código byte JVM, tocando na filosofia de Java "escrever uma vez, correr em todo o lado". J é um editor de texto escrito em Java com, por exemplo, desta

  • Integrated PearPC GUI Grátis

    O IPG é o GUIA Integrado pearpc, que permite configurar e executar o emulador PearPC dentro de um GUI baseado no Windows.

  • wxWindows Project Manager for VC7 Grátis

    Um conjunto de ferramentas para simplificar o uso de wxWindows com Visual C++ 7.

  • flam3 editor Grátis

    O Flam3 Editor é construído em torno do tradicional pacote de software flam3. O editor permite carregar, editar e salvar chamas fractais cósmicas recursivas, como ovelhas elétricas ou ficheiros de apofisia, que lida com os tr

  • InvisiBright Free Julgamento Gratuito

    **Se você gosta desta aplicação, por favor considere experimentar a versão Pro :) **InvisiBright é um utilitário de ajuste de brilho invisível. Ajuste a partir de dentro qualquer aplicação, deslizando pelo ecrã ou inclina

  • serverM - a powerful host-based IDS Grátis

    serverM é um sistema de deteção de intrusão baseado em assinaturas extremamente flexível (HIDS). Funcionando como um daemon Perl, usa pouco CPU, e é capaz de detetar uma ampla gama de intrusões. A linguagem de assinatura é po

  • Eclipse SpringIDE Extensions Grátis

    Extensões para o projeto SpringIDE (ver springide-eclip e springframework).Atualmente inclui: Classe (mudança/renome) e método (renomear) participantes, suporte à pesquisa e contribuições de "correção rápida".

  • Generic Entity Manager Grátis

    Um gestor genérico de entidade de jogo escrito em C++ com encadernações Lua. Em fases iniciais atm. Game Entity System - Atualmente à procura de membros adicionais do projeto.

  • ajaxnet4j Grátis

    ajaxnet4j é uma implementação java da famosa biblioteca Ajax.NET Professional. Com a ajuda, pode concentrar-se em lógicas de negócios do lado do servidor e experiências de utilizador do lado do cliente, e não tem que passar m

  • NSketch, .Net sketch-based algorithms Grátis

    A biblioteca NSketch fornece implementações de algoritmos baseados em esboços mais comuns (histogramas, quânticos, itens frequentes, filtro de flores...). A biblioteca está escrita em C# para .Net.