![](/statics/img/blank.png)
Automated Reasoning for Bluespec Designs
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 4.0/5 - 2 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Automated Reasoning for Bluespec Designs
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.