Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. equ-iitg formal equivalence checker

equ-iitg formal equivalence checker 1.2

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

Đây là một công cụ kiểm tra tương đương chính thức được phát triển @ IIT Guwahati có thể được sử dụng để xác minh tương đương chức năng giữa các mạch (kết hợp và tuần tự) của các định dạng BLIF, verilog và EDIF.

lịch sử phiên bản

  • Phiên bản equiitg_1.2%20beta đăng trên 2009-07-02
    Một số bản sửa lỗi và cập nhật
  • Phiên bản equiitg_1.2 beta đăng trên 2009-07-02

Chi tiết chương trình

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

  • ArmedBear / J Miễn phí

    ArmedBear (ABCL) là một Lisp thông thường được viết bằng Java. Trình biên dịch của nó tạo ra mã byte JVM, khai thác vào triết lý 'viết một lần, chạy ở khắp mọi nơi' của Java. J là một trình soạn thảo văn bản được viết bằng Ja

  • Integrated PearPC GUI Miễn phí

    IPG là tích hợp PearPC GUI, cho phép bạn cấu hình và chạy giả lập PearPC trong một giao diện dựa trên Windows.

  • wxWindows Project Manager for VC7 Miễn phí

    Một tập hợp các công cụ để đơn giản hóa việc sử dụng wxWindows với Visual C ++ 7.

  • flam3 editor Miễn phí

    Flam3 Editor được xây dựng xung quanh gói phần mềm FLAM3 truyền thống. Trình soạn thảo cho phép bạn tải, chỉnh sửa và lưu các ngọn lửa phân dạng đệ quy vũ trụ, như cừu điện hoặc các tệp apophysis, nó xử lý các tệp tham số xml

  • InvisiBright Free Dùng thử miễn phí

    ** Nếu bạn thích ứng dụng này, xin vui lòng xem xét việc thử phiên bản Pro :) **InvisiBright là một tiện ích điều chỉnh độ sáng vô hình. Điều chỉnh từ bên trong bất kỳ ứng dụng nào bằng cách vuốt qua màn hình hoặc nghiêng

  • serverM - a powerful host-based IDS Miễn phí

    serverM là một hệ thống phát hiện xâm nhập dựa trên máy chủ dựa trên chữ ký cực kỳ linh hoạt (HIDS). Chạy như một daemon Perl, nó sử dụng CPU nhỏ, và có khả năng phát hiện một loạt các xâm nhập. Ngôn ngữ chữ ký là mạnh mẽ và

  • Eclipse SpringIDE Extensions Miễn phí

    Phần mở rộng cho dự án SpringIDE (xem springide-eclip và springframework).Hiện nay bao gồm: Lớp (di chuyển / đổi tên) và phương pháp (đổi tên) refactoring người tham gia, hỗ trợ tìm kiếm và 'sửa chữa nhanh chóng' đóng góp.

  • Generic Entity Manager Miễn phí

    Trình quản lý thực thể trò chơi chung được viết bằng C++ với các ràng buộc Lua. Trong giai đoạn đầu hệ thống thực thể trò chơi ATM. - Hiện đang tìm kiếm các thành viên dự án bổ sung.

  • ajaxnet4j Miễn phí

    ajaxnet4j là một thực hiện Java của thư viện Ajax.NET Professional nổi tiếng. Với sự trợ giúp của nó, bạn có thể tập trung vào logic kinh doanh phía máy chủ và trải nghiệm người dùng phía máy khách và không phải dành nhiều th

  • NSketch, .Net sketch-based algorithms Miễn phí

    Thư viện NSketch cung cấp việc triển khai các thuật toán dựa trên phác thảo phổ biến nhất (biểu đồ tần suất, quantile, các mục thường xuyên, bộ lọc hoa ...). Thư viện được viết bằng C# cho .Net.