Atur cara mengikut ar4bluespec.sf.net

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 pemerik