Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎2 ‎Oy
Indir

Bu sayfa Bluespec SystemVerilog (BSV) donanım tasarımları için otomatik muhakeme uygulamak için araçlar içerir. BSV tasarımlarının PVS teoremi prover ve SAL model denetleyicisine aktarılabilmek için kod salıyoruz.

sürüm geçmişi

  • Sürüm files tarihinde gönderildi 2011-04-04
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm N/A tarihinde gönderildi 2011-04-04

Program Detayları

İlgili Programlar

  • Remote for MPC PRO Ücretsiz Deneme

    Media Player Classic Home Cinema'nızı MPC Remote'u kullanarak Android cihazınızla kontrol edin. Bu uygulama, ağ üzerinden MPC-HC oynatıcınız için bir uzaktan kumandadır.MPC Remote, KitKat'tan itibaren yarı saydam tasarım

  • PXPerl Ücret -siz

    PXPerl, Windows(R) 2000/XP için tam özellikli bir Perl ikili dağıtımdır. Bu Perl, Pugs ve Papağan ikiliyanı, activePerl göre birçok ek Perl modülleri ile birlikte gelir.

  • myjug community project Ücret -siz

    Bu projenin amacı, açık kaynak yolu öğrenme. Doğal olarak, projediğer mevcut jakarta çerçeveleri üzerine inşa edilecektir ve projeler. Proje daha çok bir meta projesi gibi.diğer küçük projelerden oluşur

  • Cloud Hub Ücret -siz

    Bulut hub'ı bağlantı düzeyinde bir kablosuz ağ uygulamasıdır. Bulut hub firmware ile erişim noktaları otomatik olarak birbirini bulur, bağlantı topolojisini optimize eder ve diğer özel kablosuz kullanıcıların istemci olarak k

  • CAPE-OPEN Logging Tools Ücret -siz

    CAPE-OPEN Günlük Araçları, Bir Süreç Modelleme Ortamı ve Bir Süreç Modelleme Bileşeni arasında CAPE-OPEN arabirimleri üzerinden gerçekleşen iletişimin günlüğe kaydedilmesini sağlar... Sürüm 1.08.4 en son kararlı sürümüdür (5

  • SimplePOS Ücret -siz

    Yüksek kaliteli Satış Noktası (POS) ve envanter yönetimi yazılım paketi C++ MySQL veritabanı arka uç ve BARKOD tarayıcılar ve herhangi bir standart yazıcı (ezberden yazıcılar dahil) desteği ile PHP tabanlı web arayüzü ile yaz

  • upIRC Ücretsiz Deneme

    upIRC (eski apIRC) Palm OS için bir Internet Relay Chat (IRC) istemcisidir. Hızlı, kararlı ve çok çeşitli özellikler içerir. Bunlar arasında DCC sohbet desteği, özel yazı tipi desteği, değişkenli komut kısayolları, komutları

  • AI::Categorizer Perl modules Ücret -siz

    Machine Learning yöntemlerini kullanarak otomatik metin kategorilere ayırma için açık kaynak perl çerçevesi.

  • Tuxbox-TV Ücret -siz

    Bu program ile tv-Stream'i seçebilecek vedbox ve EPG-Data da dahil olmak üzere PC'nizde gösterin.programlama Dili: Java İşletim sistemi plattform: Linux /Unix, Windows, Mac

  • X-NetAPI Ücret -siz

    X-Plane simülatörü için sağlam bir ağ API için X-Plane uçuş simülatörü ve istemci kütüphaneleri için bir eklenti.