Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎2 ‎Phiếu
Tải về

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.

lịch sử phiên bản

  • Phiên bản files đăng trên 2011-04-04
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-04-04

Chi tiết chương trình

Các chương trình liên quan

  • Remote for MPC PRO Dùng thử miễn phí

    Điều khiển Media Player Classic Home Cinema của bạn bằng thiết bị Android của bạn bằng cách sử dụng MPC Remote. Ứng dụng này là một điều khiển từ xa cho máy nghe nhạc MPC-HC của bạn qua mạng.MPC Remote thực hiện thiết kế

  • PXPerl Miễn phí

    PXPerl là một phân phối nhị phân Perl đầy đủ tính năng cho Windows(R) 2000/XP. Nó đi kèm với những chương trình của Perl, Pugs và Parrot, cũng như nhiều mô-đun Perl bổ sung so với ActivePerl.

  • myjug community project Miễn phí

    Ý tưởng của dự án này là cung cấp một cách để học theo cách mã nguồn mở. Đương nhiên, dự ánsẽ được xây dựng dựa trên các khuôn khổ jakarta hiện có khác và các dự án. Dự án giống như một dự án metabao gồm các dự án nhỏ

  • Cloud Hub Miễn phí

    Cloud hub là một triển khai mạng lưới không dây cấp liên kết. Với phần mềm trung tâm đám mây, các điểm truy cập tự động tìm thấy nhau, tối ưu hóa cấu hình kết nối và cho phép người dùng không dây đặc biệt khác tham gia với tư

  • CAPE-OPEN Logging Tools Miễn phí

    CAPE-OPEN Logging Tools cho phép ghi nhật ký giao tiếp diễn ra thông qua các giao diện CAPE-OPEN giữa môi trường mô hình hóa quy trình và thành phần mô hình hóa quy trình.. Phiên bản 1.08.4 là phiên bản ổn định mới nhất (ngày

  • SimplePOS Miễn phí

    Một bộ phần mềm quản lý điểm bán hàng (POS) và hàng tồn kho chất lượng cao được viết bằng C++ với phụ trợ cơ sở dữ liệu MySQL và giao diện web dựa trên PHP với sự hỗ trợ cho máy quét mã vạch và bất kỳ máy in tiêu chuẩn nào (b

  • upIRC Dùng thử miễn phí

    upIRC (trước đây là apIRC) là một ứng dụng khách Trò chuyện Chuyển tiếp Internet (IRC) cho Palm OS. Nó nhanh, ổn định và bao gồm đầy đủ các tính năng. Chúng bao gồm hỗ trợ trò chuyện DCC, hỗ trợ phông chữ tùy chỉnh, phím tắt

  • AI::Categorizer Perl modules Miễn phí

    Một khung Perl mã nguồn mở để phân loại văn bản tự động bằng cách sử dụng các phương pháp Machine Learning.

  • Tuxbox-TV Miễn phí

    Với chương trình này, bạn sẽ có thể chọn và nhận TV-Stream từdbox và hiển thị điều này trên máy tính của bạn bao gồm EPG-Data.ngôn ngữ lập trình: Java Hệ điều hành plattform: Linux / Unix, Windows, Mac

  • X-NetAPI Miễn phí

    một plugin cho trình mô phỏng chuyến bay X-Plane và thư viện khách hàng cho một API mạng mạnh mẽ cho trình mô phỏng X-Plane.