Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎2 ‎Stemmen
Downloaden

Deze pagina bevat tools voor het toepassen van geautomatiseerde redenering op Bluespec SystemVerilog (BSV) hardware ontwerpen. Wij bieden code voor het importeren van BSV ontwerpen in de PVS stelling prover en de SAL model checker.

versiegeschiedenis

  • Versie files geplaatst op 2011-04-04
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-04-04

Programmadetails

Gerelateerde programma's

  • Remote for MPC PRO Gratis proefperiode

    Bedien je Media Player Classic Home Cinema met je Android-apparaat met MPC Remote. Deze app is een afstandsbediening voor uw MPC-HC speler via het netwerk.MPC Remote implementeert doorschijnend ontwerp vanaf KitKat.Fu

  • PXPerl Gratis

    PXPerl is een volledige Perl binaire distributie voor Windows(R) 2000/XP. Het wordt geleverd met de binaries van Perl, Pugs en Parrot, evenals vele extra Perl modules in vergelijking met ActivePerl.

  • myjug community project Gratis

    Het idee van dit project is om een manier te bieden om het leren van de open source manier. Uiteraard is het projectzal voortbouwen op andere bestaande jakarta kaders en projecten. Het project lijkt meer op een metaproj

  • Cloud Hub Gratis

    Cloud hub is een link-level wireless mesh networking implementatie. Met cloudhub-firmware vinden toegangspunten elkaar automatisch, optimaliseren ze de topologie van de verbinding en kunnen andere ad-hoc draadloze gebruikers

  • CAPE-OPEN Logging Tools Gratis

    CAPE-OPEN Logging Tools maken het mogelijk om communicatie te registreren via CAPE-OPEN interfaces tussen een process modelling Environment en een Process Modelling Component.. Versie 1.08.4 is de nieuwste stabiele versie (5

  • SimplePOS Gratis

    Een hoogwaardige Point of Sale (POS) en inventory management software suite geschreven in C++ met MySQL database backend en PHP gebaseerde webinterface met ondersteuning voor Barcode scanners en elke standaard printer (inclus

  • upIRC Gratis proefperiode

    upIRC (voorheen apIRC) is een Internet Relay Chat (IRC) client voor Palm OS. Het is snel, stabiel en bevat een volledig scala aan functies. Deze omvatten DCC-chatondersteuning, aangepaste lettertypeondersteuning, sneltoetsen

  • AI::Categorizer Perl modules Gratis

    Een open-source Perl framework voor automatische tekstcategorisatie met behulp van Machine Learning-methoden.

  • Tuxbox-TV Gratis

    Met dit programma u de TV-Stream selecteren en ophalen van uwdbox en toon dit op uw pc inclusief EPG-Data.programmeertaal: Java OS plattform: Linux/Unix, Windows, Mac

  • X-NetAPI Gratis

    een plug-in voor X-Plane flight simulator en clientbibliotheken voor een robuuste netwerk-API voor de X-Plane simulator.