Gửi phần mềm

Chương trình theo ar4bluespec.sf.net

  • Automated Reasoning for Bluespec Designs Miễn phí

    Trang này chứa các công cụ để áp dụng lý luận tự động cho thiết kế phần cứng Bluespec SystemVerilog (BSV). Chúng tôi cung cấp mã để nhập khẩu thiết kế BSV vào chứng minh định lý PVS và kiểm tra mô hình SAL.