Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

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

Esta página contém ferramentas para aplicar raciocínio automatizado aos designs de hardware bluespec SystemVerilog (BSV). Fornecemos código para importar desenhos de BSV no prover de teorema PVS e no verificador de modelos SAL.

história da versão

  • Versão files postado em 2011-04-04
    Várias correções e atualizações
  • Versão N/A postado em 2011-04-04

Detalhes do programa

Programas Relacionados

  • Remote for MPC PRO Julgamento Gratuito

    Controle o seu Media Player Classic Home Cinema com o seu dispositivo Android utilizando o MPC Remote. Esta aplicação é um controlo remoto para o seu leitor MPC-HC em rede.MPC Remote implementa design translúcido a partir

  • PXPerl Grátis

    PXPerl é uma distribuição binária Perl em destaque para Windows(R) 2000/XP. Ele vem com os binários de Perl, Pugs e Papagaio, bem como muitos módulos Perl adicionais em comparação com ActivePerl.

  • myjug community project Grátis

    A ideia deste projeto é fornecer uma forma de aprendendo o caminho de código aberto. Naturalmente, o projetoserá construído sobre outros quadros de Jacarta existentes e projetos. O projeto é mais como um projeto metaq

  • Cloud Hub Grátis

    O cloud hub é uma implementação de rede de malha sem fios de nível de ligação. Com o firmware do cloud hub, os pontos de acesso encontram-se automaticamente, otimizam a topologia de ligação e permitem que outros utilizadores

  • CAPE-OPEN Logging Tools Grátis

    As ferramentas de registo CAPE-OPEN permitem o registo de comunicações que ocorrem através de interfaces CAPE-OPEN entre um Ambiente de Modelação de Processos e um Componente de Modelação de Processos. A versão 1.08.4 é a ver

  • SimplePOS Grátis

    Um pacote de software de alta qualidade Point of Sale (POS) e gestão de inventário escrito em C++ com backend de base de dados MySQL e interface web baseada em PHP com suporte para scanners de Barcode e qualquer impressora pa

  • upIRC Julgamento Gratuito

    upIRC (anteriormente apIRC) é um cliente do Internet Relay Chat (IRC) para o Palm OS. É rápido, estável e inclui uma gama completa de funcionalidades. Estes incluem suporte de chat DCC, suporte de fonte personalizado, atalho

  • AI::Categorizer Perl modules Grátis

    Um quadro perl de código aberto para a categorização automática de textos utilizando métodos de aprendizagem automática.

  • Tuxbox-TV Grátis

    Com este programa poderá selecionar e obter o TV-Stream a partir do seudbox e mostrar isso no seu PC, incluindo EPG-Data.linguagem de programação: Java Plattform OS: Linux/Unix, Windows, Mac

  • X-NetAPI Grátis

    um plugin para simulador de voo X-Plane e bibliotecas de clientes para uma rede robusta API para o simulador X-Plane.