ส่งซอฟต์แวร์

โปรแกรมตาม ar4bluespec.sf.net

  • Automated Reasoning for Bluespec Designs ฟรี

    หน้านี้มีเครื่องมือสําหรับการใช้เหตุผลอัตโนมัติกับการออกแบบฮาร์ดแวร์ Bluespec SystemVerilog (BSV) เรามีรหัสสําหรับการนําเข้าการออกแบบ BSV ลงในเครื่องพิสูจน์ทฤษฎีบท PVS และตัวตรวจสอบรุ่น SAL