Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎2 ‎Voti
Scaricare

Questa pagina contiene strumenti per l'applicazione del ragionamento automatico ai progetti hardware Bluespec SystemVerilog (BSV). Forniamo codice per l'importazione di progetti BSV nel dimostratore del teorema PVS e nel controllore del modello SAL.

cronologia delle versioni

  • Versione files pubblicato il 2011-04-04
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-04-04

Dettagli del programma

Programmi correlati

  • Remote for MPC PRO Prova gratuita

    Controllare media player classic home cinema con il dispositivo Android utilizzando MPC Remote. Questa app è un telecomando per il tuo lettore MPC-HC in rete.MPC Remote implementa un design traslucido da KitKat in poi.

  • PXPerl Gratuito

    PXPerl è una distribuzione binaria Perl completa per Windows(R) 2000/XP. Viene fornito con i binari di Perl, Pugs e Parrot, così come molti moduli Perl aggiuntivi rispetto ad ActivePerl.

  • myjug community project Gratuito

    L'idea di questo progetto è di fornire un modo di imparare il modo open source. Naturalmente, il progettosarà costruito su altri quadri giacarta esistenti progetti. Il progetto è più simile a un meta progettoche consi

  • Cloud Hub Gratuito

    L'hub cloud è un'implementazione di rete mesh wireless a livello di collegamento. Con il firmware dell'hub cloud, i punti di accesso si trovano automaticamente, ottimizzano la topologia di connessione e consentono ad altri ut

  • CAPE-OPEN Logging Tools Gratuito

    Gli strumenti di registrazione CAPE-OPEN consentono la registrazione della comunicazione tramite interfacce CAPE-OPEN tra un ambiente di modellazione dei processi e un componente di modellazione dei processi.. La versione 1.0

  • SimplePOS Gratuito

    Una suite software pos (Point of Sale) e gestione dell'inventario di alta qualità scritta in C++ con back-end del database MySQL e interfaccia web basata su PHP con supporto per scanner di codici a barre e qualsiasi stampante

  • upIRC Prova gratuita

    upIRC (precedentemente apIRC) è un client IRC (Internet Relay Chat) per Palm OS. È veloce, stabile e include una gamma completa di funzionalità. Questi includono il supporto della chat DCC, il supporto personalizzato dei tip

  • AI::Categorizer Perl modules Gratuito

    Framework Perl open source per la categorizzazione automatica del testo con metodi di Machine Learning.

  • Tuxbox-TV Gratuito

    Con questo programma sarai in grado di selezionare e ottenere il TV-Stream dal tuodbox e mostrarlo sul PC, incluso EPG-Data.linguaggio di programmazione: Java Plattform del sistema operativo: Linux/Unix, Windows, Mac

  • X-NetAPI Gratuito

    un plugin per simulatore di volo X-Plane e librerie client per una robusta API di rete al simulatore X-Plane.