Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎2 ‎Votes
Télécharger

Cette page contient des outils pour appliquer le raisonnement automatisé aux conceptions matérielles Bluespec SystemVerilog (BSV). Nous fournissons du code pour l’importation de conceptions BSV dans le prover de theorème PVS et le checker modèle SAL.

historique de la version

  • Version files posté sur 2011-04-04
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-04-04

Détails du programme

Programmes connexes

  • Remote for MPC PRO Essai gratuit

    Contrôlez votre Media Player Classic Home Cinema avec votre appareil Android à l’aide de MPC Remote. Cette application est une télécommande pour votre lecteur MPC-HC sur le réseau.MPC Remote implémente la conception trans

  • PXPerl Gratuit

    PXPerl est une distribution binaire Perl complète pour Windows(R) 2000/XP. Il est livré avec les binaires de Perl, Pugs et Parrot, ainsi que de nombreux modules Perl supplémentaires par rapport à ActivePerl.

  • myjug community project Gratuit

    L’idée de ce projet est de fournir un moyen de apprendre la voie open source. Naturellement, le projets’appuiera sur d’autres cadres existants de Jakarta et des projets. Le projet ressemble plus à un méta-projetqui se

  • Cloud Hub Gratuit

    Cloud hub est une implémentation de réseau sans fil de maillage au niveau des liens. Avec le firmware du hub cloud, les points d’accès se retrouvent automatiquement, optimisent la topologie des connexions et permettent à d’au

  • CAPE-OPEN Logging Tools Gratuit

    Cape-OPEN Logging Tools permet l’enregistrement des communications à travers les interfaces CAPE-OPEN entre un environnement de modélisation des processus et un composant de modélisation des processus.. La version 1.08.4 est

  • SimplePOS Gratuit

    Une suite logicielle de point de vente (POS) et de gestion des stocks de haute qualité écrite en C++ avec backend de base de données MySQL et interface Web PHP avec prise en charge des scanners de codes à barres et de toute i

  • upIRC Essai gratuit

    upIRC (anciennement apIRC) est un client internet relay chat (IRC) pour Palm OS. Il est rapide, stable, et comprend une gamme complète de fonctionnalités. Il s’agit notamment de la prise en charge du chat DCC, de la prise en

  • AI::Categorizer Perl modules Gratuit

    Un cadre Perl open-source pour la catégorisation automatique du texte à l’aide de méthodes d’apprentissage automatique.

  • Tuxbox-TV Gratuit

    Avec ce programme, vous serez en mesure de sélectionner et d’obtenir le flux TV de votredbox et le montrer sur votre PC, y compris EPG-Data.langage de programmation: Java OS plattform: Linux / Unix, Windows, Mac

  • X-NetAPI Gratuit

    un plugin pour simulateur de vol X-Plane et bibliothèques clients pour une API réseau robuste pour le simulateur X-Plane.