Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎2 ‎Голосов
Скачать

Эта страница содержит инструменты для применения автоматизированных рассуждений к конструкции оборудования Bluespec SystemVerilog (BSV). Мы предоставляем код для импорта конструкций BSV в теорему PVS и проверку модели SAL.

история версии

  • Версия files размещено на 2011-04-04
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-04-04

Подробная информация о программе

Похожие программы

  • Remote for MPC PRO Бесплатная пробная версия

    Управление Media Player Классический домашний кинотеатр с устройством Android с помощью MPC Remote. Это приложение является пультом дистанционного управления для вашего MPC-HC плеер по сети.MPC Remote реализует полупрозра

  • PXPerl Бесплатный

    PXPerl — полное распространение двоичной версии Perl для Windows (R) 2000/XP. Он поставляется с дыни Perl, pugs и попугай, а также многие дополнительные модули Perl по сравнению с ActivePerl.

  • myjug community project Бесплатный

    Идея этого проекта заключается в том, чтобы изучение способа с открытым исходным кодом. Естественно, проектбудет опираться на другие существующие рамки Джакарты и проекты. Проект больше похож на мета-проекткоторая сос

  • Cloud Hub Бесплатный

    Облачный концентратор — это внедрение беспроводных сетей беспроводной сетки на уровне ссылок. С помощью прошивки облачного концентратора точки доступа автоматически находят друг друга, оптимизируют топологию соединения и позв

  • CAPE-OPEN Logging Tools Бесплатный

    Инструменты CAPE-OPEN logging Tools позволяют работать с помощью интерфейсов CAPE-OPEN между средой моделирования процессов и компонентом моделирования процессов. Версия 1.08.4 является последней стабильной версией (5 ноября

  • SimplePOS Бесплатный

    Высокое качество Точка продажи (POS) и пакет программного обеспечения для управления запасами, написанный в C с myS'L базы данных бэкэнд и PHP на основе веб-интерфейса с поддержкой сканеров штрих-кодов и любого стандартного п

  • upIRC Бесплатная пробная версия

    upIRC (ранее apIRC) является интернет-чат реле (IRC) клиент Palm OS. Это быстрый, стабильный, и включает в себя полный спектр функций. К ним относятся поддержка чата DCC, пользовательская поддержка шрифтов, командные ярлыки

  • AI::Categorizer Perl modules Бесплатный

    Структура Perl с открытым исходным кодом для автоматической категоризации текста с использованием методов машинного обучения.

  • Tuxbox-TV Бесплатный

    С помощью этой программы вы сможете выбрать и получить TV-Stream от вашегоdbox и показать это на вашем компьютере, включая EPG-Data.Язык программирования: Java Платтформа ОС: Linux/Unix, Windows, Mac

  • X-NetAPI Бесплатный

    плагин для симулятора полета X-Plane и клиентских библиотек для надежного сетевого API для симулятора X-Plane.