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: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 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 Livre

    ArmedBear (ABCL) é uma Lisp comum escrita em Java. Seu compilador produz código de byte JVM, tocando na filosofia "escrever uma vez, executar em todos os lugares" do Java. J é um editor de texto escrito em Java com, por exemp

  • Integrated PearPC GUI Livre

    IPG é o Gui PearPC Integrado, que permite configurar e executar o emulador PearPC dentro de uma GUI baseada no Windows.

  • wxWindows Project Manager for VC7 Livre

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

  • flam3 editor Livre

    Flam3 Editor é construído em torno do tradicional pacote de software flam3. O editor permite que você carregue, edite e salve chamas fractais recursivas cósmicas, como ovelhas elétricas ou arquivos de apofise, ele lida com ar

  • InvisiBright Free Avaliação gratuita

    **Se você gosta deste aplicativo, por favor considere experimentar a versão Pro :) **InvisiBright é um utilitário invisível de ajuste de brilho. Ajuste de dentro de qualquer aplicativo deslizando pela tela ou inclinando o

  • serverM - a powerful host-based IDS Livre

    serverM é um sistema de detecção de intrusão baseado em host (HIDS) extremamente flexível baseado em assinatura. Funcionando como um daemon Perl, ele usa pouca CPU, e é capaz de detectar uma ampla gama de invasões. A linguage

  • Eclipse SpringIDE Extensions Livre

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

  • Generic Entity Manager Livre

    Um gerente genérico de entidade de jogo escrito em C++ com ligações Lua. Em estágios iniciais atm. Game Entity System - Atualmente buscando membros adicionais do projeto.

  • ajaxnet4j Livre

    ajaxnet4j é uma implementação Java da famosa biblioteca Ajax.NET Professional. Com a ajuda dele, você pode se concentrar em lógicas de negócios do lado do servidor e experiências de usuário do lado do cliente, e não precisa g

  • NSketch, .Net sketch-based algorithms Livre

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