ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎2 ‎โหวต
ดาวน์โหลด

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

ประวัติรุ่น

  • เวอร์ชัน files โพสต์เมื่อ 2011-04-04
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2011-04-04

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • Remote for MPC PRO ทดลองใช้ฟรี

    ควบคุมโรงภาพยนตร์ Media Player Classic Home ของคุณด้วยอุปกรณ์ Android ของคุณโดยใช้ MPC Remote แอพนี้เป็นรีโมทคอนโทรลสําหรับเครื่องเล่น MPC-HC ของคุณผ่านเครือข่ายMPC Remote ใช้การออกแบบโปร่งแสงจาก KitKat เป็นต้นไปคุณสม

  • PXPerl ฟรี

    PXPerl คือการแจกแจงไบนารี Perl ที่มีคุณสมบัติเต็มรูปแบบสําหรับ Windows(R) 2000/XP มันมาพร้อมกับไบนารีของ Perl, Pugs และนกแก้วเช่นเดียวกับโมดูล Perl เพิ่มเติมจํานวนมากเมื่อเทียบกับ ActivePerl

  • myjug community project ฟรี

    แนวคิดของโครงการนี้คือการให้วิธีการ เรียนรู้วิธีการโอเพ่นซอร์ส โดยธรรมชาติแล้วโครงการจะสร้างขึ้นตามกรอบจาการ์ตาที่มีอยู่อื่น ๆ และโครงการ โครงการนี้เป็นเหมือนโครงการเมตาซึ่งประกอบด้วยโครงการขนาดเล็กอื่นๆ

  • Cloud Hub ฟรี

    ฮับคลาวด์เป็นการใช้งานเครือข่ายตาข่ายไร้สายระดับลิงก์ ด้วยเฟิร์มแวร์ฮับคลาวด์จุดเชื่อมต่อจะค้นหากันโดยอัตโนมัติเพิ่มประสิทธิภาพโทโพโลยีการเชื่อมต่อและอนุญาตให้ผู้ใช้ไร้สายเฉพาะกิจรายอื่นเข้าร่วมเป็นไคลเอนต์

  • CAPE-OPEN Logging Tools ฟรี

    เครื่องมือการบันทึก CAPE-OPEN อนุญาตให้บันทึกการสื่อสารที่เกิดขึ้นผ่านอินเทอร์เฟซ CAPE-OPEN ระหว่างสภาพแวดล้อมการสร้างแบบจําลองกระบวนการและคอมโพเนนต์การสร้างแบบจําลองกระบวนการ เวอร์ชัน 1.08.4 เป็นเวอร์ชันเสถียรล่าสุด (5 พ.ย.

  • SimplePOS ฟรี

    ชุดซอฟต์แวร์จุดขาย (POS) คุณภาพสูงและชุดซอฟต์แวร์การจัดการสินค้าคงคลังที่เขียนด้วย C++ พร้อมแบ็กเอนด์ฐานข้อมูล MySQL และเว็บอินเตอร์เฟสที่ใช้ PHP พร้อมรองรับเครื่องสแกนบาร์โค้ดและเครื่องพิมพ์มาตรฐานใด ๆ (รวมถึงเครื่องพิมพ์ท่อ

  • upIRC ทดลองใช้ฟรี

    upIRC (เดิมชื่อ apIRC) เป็นไคลเอ็นต์การสนทนารีเลย์อินเทอร์เน็ต (IRC) สําหรับ Palm OS มันรวดเร็วมั่นคงและมีคุณสมบัติครบครวๆ สิ่งเหล่านี้รวมถึงการสนับสนุนการแชท DCC การสนับสนุนแบบอักษรที่กําหนดเองทางลัดคําสั่งที่มีตัวแปรการทํา

  • AI::Categorizer Perl modules ฟรี

    เฟรมเวิร์ก Perl โอเพ่นซอร์สสําหรับการจัดประเภทข้อความอัตโนมัติโดยใช้วิธีการแมชชีนเลิร์นนิง

  • Tuxbox-TV ฟรี

    ด้วยโปรแกรมนี้คุณจะสามารถเลือกและรับสตรีมทีวีจากdbox และแสดงสิ่งนี้บนพีซีของคุณรวมถึง EPG-Dataภาษาการเขียนโปรแกรม: Java แผ่นระบบปฏิบัติการ: ลินุกซ์ / Unix, หน้าต่าง, Mac

  • X-NetAPI ฟรี

    ปลั๊กอินสําหรับการจําลองการบิน X-Plane และไลบรารีไคลเอ็นต์สําหรับ API เครือข่ายที่แข็งแกร่งไปยังโปรแกรมจําลอง X-Plane