Submit Software
  1. Home
  2. Windows
  3. Other
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎2 ‎votes
Download

This page contains tools for applying automated reasoning to Bluespec SystemVerilog (BSV) hardware designs. We provide code for importing BSV designs into the PVS theorem prover and the SAL model checker.

VERSION HISTORY

  • Version files posted on 2011-04-04
    Several fixes and updates
  • Version N/A posted on 2011-04-04

Program Details

Related Programs

  • Remote for MPC PRO Free Trial

    Control your Media Player Classic Home Cinema with your Android device using MPC Remote. This app is a remote control for your MPC-HC player over network.MPC Remote implements translucent design from KitKat onwards.Features:

  • PXPerl Free

    PXPerl is a full-featured Perl binary distribution for Windows(R) 2000/XP. It comes with the binaries of Perl, Pugs and Parrot, as well as many additional Perl modules compared to ActivePerl.

  • myjug community project Free

    The idea of this project is to provide a way of learning the open source way. Naturally, the projectwill be build upon other existing jakarta frameworks and projects. The project is more like a meta projectwhich consists

  • Cloud Hub Free

    Cloud hub is a link-level wireless mesh networking implementation. With cloud hub firmware, access points automatically find each other, optimize connection topology, and allow other ad-hoc wireless users to join as clients.

  • CAPE-OPEN Logging Tools Free

    CAPE-OPEN Logging Tools permit logging of communication taking place through CAPE-OPEN interfaces between a Process Modelling Environment and a Process Modelling Component.. Version 1.08.4 is the latest stable version (Nov 5,

  • SimplePOS Free

    A high quality Point of Sale (POS) and inventory management software suite written in C++ with MySQL database backend and PHP based web interface with support for Barcode scanners and any standard printer (including recite pr

  • upIRC Free Trial

    upIRC (formerly apIRC) is an Internet Relay Chat (IRC) client for Palm OS. It is fast, stable, and includes a full range of features. These include DCC chat support, custom font support, command shortcuts with variables, aut

  • AI::Categorizer Perl modules Free

    An open-source Perl framework for automatic text categorization using Machine Learning methods.

  • Tuxbox-TV Free

    With this program you will be able to select and get the TV-Stream from yourdbox and show this on your PC including EPG-Data.programming Language: Java OS plattform: Linux/Unix, Windows, Mac

  • X-NetAPI Free

    a plugin for X-Plane flight simulator and client libraries for a robust network API to the X-Plane simulator.