Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎2 ‎Undi
Muat turun

Halaman ini mengandungi alatan untuk menggunakan penaakulan automatik untuk reka bentuk perkakasan Bluespec SystemVerilog (BSV). Kami menyediakan kod untuk mengimport reka bentuk BSV ke dalam peribahasa teorem PVS dan pemeriksa model SAL.

sejarah versi

  • Versi files diposkan pada 2011-04-04
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-04-04

Butiran Atur Cara

Atur Cara Berkaitan

  • Remote for MPC PRO Percubaan Percuma

    Kawal Pawagam Rumah Klasik Pemain Media anda dengan peranti Android anda menggunakan Alat Kawalan Jauh MPC. Aplikasi ini adalah alat kawalan jauh untuk pemain MPC-HC anda melalui rangkaian.MPC Remote melaksanakan reka ben

  • PXPerl Percuma

    PXPerl adalah taburan perduaan Perl yang diketengahkan sepenuhnya untuk Windows(R) 2000/XP. Ia dilengkapi dengan binari Perl, Pugs dan Parrot, serta banyak modul Perl tambahan berbanding ActivePerl.

  • myjug community project Percuma

    Idea projek ini adalah untuk menyediakan cara mempelajari cara sumber terbuka. Sememangnya, projekakan dibina di atas kerangka jakarta yang sedia ada dan projek- projek. Projek ini lebih seperti projek metayang terdir

  • Cloud Hub Percuma

    Hab awan adalah pelaksanaan rangkaian mesh wayarles tahap pautan. Dengan perisian tegar hab awan, titik akses secara automatik mencari satu sama lain, mengoptimumkan topologi sambungan, dan membenarkan pengguna tanpa wayar ad

  • CAPE-OPEN Logging Tools Percuma

    ALAT Pembalakan CAPE-OPEN membenarkan pembalakan komunikasi berlaku melalui antara muka CAPE-OPEN antara Persekitaran Pemodelan Proses dan Komponen Pemodelan Proses.. Versi 1.08.4 adalah versi stabil terkini (5 Nov 2009).

  • SimplePOS Percuma

    Suite perisian Point of Sale (POS) dan pengurusan inventori yang berkualiti tinggi yang ditulis dalam C++ dengan backend pangkalan data MySQL dan antara muka web berasaskan PHP dengan sokongan untuk pengimbas Kod Bar dan mana

  • upIRC Percubaan Percuma

    upIRC (dahulunya apIRC) adalah pelanggan Internet Relay Chat (IRC) untuk Palm OS. Ia cepat, stabil, dan termasuk pelbagai ciri. Ini termasuk sokongan sembang DCC, sokongan fon tersuai, pintasan perintah dengan pemboleh ubah,

  • AI::Categorizer Perl modules Percuma

    Rangka kerja Perl sumber terbuka untuk pengkategorian teks automatik menggunakan kaedah Pembelajaran Mesin.

  • Tuxbox-TV Percuma

    Dengan atur cara ini, anda boleh memilih dan mendapatkan TV-Strim daripadadbox dan tunjukkannya pada PC anda termasuk EPG-Data.Bahasa pengaturcaraan: Jawa Plattform OS: Linux /Unix, Windows, Mac

  • X-NetAPI Percuma

    plugin untuk simulator penerbangan X-Plane dan perpustakaan pelanggan untuk API rangkaian yang mantap kepada simulator X-Plane.