Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎2 ‎Głosów
Pobierz

Ta strona zawiera narzędzia do stosowania automatycznego rozumowania do projektów sprzętowych Bluespec SystemVerilog (BSV). Dostarczamy kod do importowania projektów BSV do twierdzy PVS prover i kontrolera modelu SAL.

historia wersji

  • Wersja files opublikowany na 2011-04-04
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2011-04-04

Szczegóły programu

Programy pokrewne

  • Remote for MPC PRO Bezpłatna wersja próbna

    Steruj klasycznym kinem domowym Media Player za pomocą urządzenia z systemem Android za pomocą pilota MPC. Ta aplikacja jest pilotem do odtwarzacza MPC-HC przez sieć.MPC Remote implementuje półprzezroczystą konstrukcję od

  • PXPerl Wolna

    PXPerl jest w pełni funkcjonalny Perl dystrybucji binarnej dla Windows (R) 2000/XP. Jest wyposażony w pliki binarne Perla, Mopsy i Papugi, a także wiele dodatkowych modułów Perla w porównaniu do ActivePerl.

  • myjug community project Wolna

    Ideą tego projektu jest zapewnienie uczenia się w sposób open source. Oczywiście projektopierać się na innych istniejących ramach dżakarty i projektów. Projekt przypomina bardziej metaprojektktóry składa się z innych

  • Cloud Hub Wolna

    Cloud hub to implementacja sieci bezprzewodowej na poziomie łącza. Dzięki oprogramowaniu układowe centrum chmury punkty dostępu automatycznie się odnajdują, optymalizują topologię połączeń i umożliwiają innym użytkownikom bez

  • CAPE-OPEN Logging Tools Wolna

    Narzędzia do rejestrowania CAPE-OPEN umożliwiają rejestrowanie komunikacji za pośrednictwem interfejsów CAPE-OPEN między środowiskiem modelowania procesów a składnikiem modelowania procesów. Wersja 1.08.4 jest najnowszą stabi

  • SimplePOS Wolna

    Wysokiej jakości pakiet oprogramowania do zarządzania zapasami (PoS) i pakiet oprogramowania do zarządzania zapasami napisany w języku C++ z zapleczem bazy danych MySQL i interfejsem internetowym opartym na PHP z obsługą skan

  • upIRC Bezpłatna wersja próbna

    upIRC (dawniej apIRC) jest klientem Internet Relay Chat (IRC) dla Palm OS. Jest szybki, stabilny i zawiera pełną gamę funkcji. Należą do nich obsługa czatu DCC, obsługa czcionek niestandardowych, skróty poleceń ze zmiennymi,

  • AI::Categorizer Perl modules Wolna

    Struktura perla typu open source dla automatycznej kategoryzacji tekstu przy użyciu metod uczenia maszynowego.

  • Tuxbox-TV Wolna

    Dzięki temu programowi będziesz mógł wybrać i uzyskać transmisję TV zdbox i pokazać to na komputerze, w tym EPG-Data.Język programowania: Java Plattform systemu operacyjnego: Linux / Unix, Windows, Mac

  • X-NetAPI Wolna

    wtyczka do symulatora lotu X-Plane i biblioteki klienta dla niezawodnego interfejsu API sieciowego do symulatora X-Plane.