Automated Reasoning for Bluespec Designs

download home page
developer:ar4bluespec.sourceforge.net
license:Freeware
version:1.0
size in Kb:244
price:$0
 
platform:
downloads:7
our rating: n/a
popularity:
526/2027621
link error:Report


Rate me

Description:   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.


More Downloads Related to Automated Reasoning for Bluespec Designs

Marsupial Designs Marsupial Designs is a software and web development company. We have been working on a lot of web scripts lately and would like to share them with you.

ASAP - Automated Programming Assessment ASAP is an e-learning application service for the automated assessment of Programming assignments. Developed at Kingston University, UK, with JISC funding, it is designed to work with other services in JISCs e-Learning Framework.

Automated Simulation Rig (ASR) ASR is a project designed for automatically running RoboCup servers and clients. This allows multiple simulation runs to be performed without human oversight. Automated RefereeSecure CommunicationEmail AlertsFull LoggingDistributed ComputingMultiple Games Per HostRun Genetic AlgorithmsEasy To Use APICommand Line Interface

Automated cron backup thru email Program to automate the backup of the MySQL database & file directory, and send the backup data files to an offsite destination for safe storage through email. Works with Joomla!, Mambo, PostNuke, WordPress & etc. See http://ecommerce.matrix-e.com NO Automated cron backup thru emailDatabase backup to ...

Automated Basic Acceptance Test (ABAT) The Automated Basic Acceptance Test (ABAT) code is designed to install a build of software on a target machine, reboot the machine, and run through a series of basic system tests on that machine.

Automated Essay Grader This is an automated essay grading system. It grades essays based on their relevance to the given prompt. It also detects any gibberish writing and wrong facts stated in the essay.

Automated File Retrieval Automated File Retrieval (AFR) is a plugin for X-Chat written in C. AFR is a queue-based file retrieval utility that can download files from many different types of file servers on IRC.

Automated Key Presser This is the Automated Key Presser. It symulates pressing any keys on the keyboard. As if you were sitting there pressing them yourself.

Automated Manufacturing System AMS(Automated Manufacturing System) is a model of real world manufacture factory. It consists of dedicated stations that perform tasks. All stations or components of the system are modeled by using CD++ based on the DEVS formalism.

Automated Music Composition Automated Music Composition can generate chords and a backing track (e.g. bass line) from an Audio (WAV) or MIDI input melody. It uses WaoN for Audio to Midi conversion but with new sophisticated BPM detection. It also has reliable key detection. Try it!

Automated Perl Deprovisioner Automated Perl Deprovisioner (apdep) is a script designed to automatically disable and/or delete Active Directory accounts that have gone stale. Exceptions to this deletion process are stored in a database of your choosing (through DBI).

Automated Reverse BLAST A ready-to-use Python application program run in Windows operating system to BLAST query and re-BLAST returned hits for protein sequence verification.

New software

Popular software

Current software picks