Automated Reasoning for Bluespec Designs
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 4.0/5 - 2 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ Automated Reasoning for Bluespec Designs
หน้านี้มีเครื่องมือสําหรับการใช้เหตุผลอัตโนมัติกับการออกแบบฮาร์ดแวร์ Bluespec SystemVerilog (BSV) เรามีรหัสสําหรับการนําเข้าการออกแบบ BSV ลงในเครื่องพิสูจน์ทฤษฎีบท PVS และตัวตรวจสอบรุ่น SAL