Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎2 ‎Votos
Descargar

Esta página contiene herramientas para aplicar el razonamiento automatizado a los diseños de hardware Bluespec SystemVerilog (BSV). Proporcionamos código para importar diseños BSV en el probador de teoremas PVS y el comprobador de modelos SAL.

historial de versiones

  • Versión files publicado en 2011-04-04
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-04-04

Detalles del programa

Programas relacionados

  • Remote for MPC PRO Prueba gratuita

    Controla tu Media Player Classic Home Cinema con tu dispositivo Android usando MPC Remote. Esta aplicación es un control remoto para su reproductor MPC-HC a través de la red.MPC Remote implementa el diseño translúcido a p

  • PXPerl Gratis

    PXPerl es una distribución binaria Perl con todas las funciones para Windows(R) 2000/XP. Viene con los binarios de Perl, Pugs y Parrot, así como muchos módulos Perl adicionales en comparación con ActivePerl.

  • myjug community project Gratis

    La idea de este proyecto es proporcionar una manera de aprender la forma de código abierto. Naturalmente, el proyectose basará en otros marcos yakarta existentes y proyectos. El proyecto es más como un meta proyectoqu

  • Cloud Hub Gratis

    Cloud Hub es una implementación de redes de malla inalámbrica a nivel de vínculo. Con el firmware del concentrador en la nube, los puntos de acceso se encuentran automáticamente entre sí, optimizan la topología de conexión y

  • CAPE-OPEN Logging Tools Gratis

    Las herramientas de registro CAPE-OPEN permiten el registro de la comunicación a través de interfaces CAPE-OPEN entre un entorno de modelado de procesos y un componente de modelado de procesos. La versión 1.08.4 es la última

  • SimplePOS Gratis

    Un punto de venta (POS) de alta calidad y una suite de software de gestión de inventario escrita en C++ con back-end de base de datos MySQL e interfaz web basada en PHP con soporte para escáneres de código de barras y cualqui

  • upIRC Prueba gratuita

    upIRC (anteriormente apIRC) es un cliente de Internet Relay Chat (IRC) para Palm OS. Es rápido, estable e incluye una gama completa de características. Estos incluyen soporte de chat DCC, soporte de fuente personalizado, acc

  • AI::Categorizer Perl modules Gratis

    Un marco de Perl de código abierto para la categorización automática de texto mediante métodos de Machine Learning.

  • Tuxbox-TV Gratis

    Con este programa podrás seleccionar y obtener el TV-Stream de tudbox y mostrar esto en su PC incluyendo EPG-Data.Lenguaje de programación: Java Sistema operativo plattform: Linux/Unix, Windows, Mac

  • X-NetAPI Gratis

    un plugin para el simulador de vuelo X-Plane y las bibliotecas de cliente para una API de red robusta para el simulador X-Plane.