Tuần trước Một thông báo đã được đưa ra bởi W. Clifford, người đã phát hành phiên bản 0.8 mới của Yosys.
Đối với những người chưa nghe về Yosys, tôi có thể nói với bạn rằng đĐây là một khuôn khổ cho các công cụ tổng hợp RTL. Số lượng hiện tại với khả năng tương thích rộng rãi với Verilog và cung cấp một bộ thuật toán tổng hợp cơ bản cho các miền ứng dụng khác nhau.
Nhiều thứ đã được thêm vào trong bản phát hành mới này, nhưng thông tin chính có thể thấy trong ghi chú phát hành là sự phát triển của Yosys đang rất tích cực.
Mục tiêu trở thành “con dao tự do của Quân đội Thụy Sĩ” của FPGA của Yosys có thể coi là điều gần như không thể thiếu hiện nay.
Giới thiệu về Yosys Open SYnthesis Suite
yosys có thể được điều chỉnh để thực hiện bất kỳ công việc tổng hợp nào bằng cách kết hợp các đường chuyền hiện có (thuật toán) sử dụng tập lệnh tổng hợp và thêm các lần chuyển bổ sung nếu cần khi mở rộng cơ sở mã Yosys C ++.
Yosys là phần mềm miễn phí được cấp phép theo giấy phép ISC (giấy phép tuân thủ GPL tương tự như giấy phép MIT hoặc giấy phép BSD 2 điều khoản).
Trong quá trình phát triển FPGA / ASIC, tổng hợp là bước chuyển đổi mô hình phần cứng mô phỏng thành "RTL netlist" từ đó có thể bắt nguồn mạch thực tế.
Giới thiệu về Verilog
Phiên bản là Ngôn ngữ mô hình hóa phần cứng (Hardware Description Language HDL) để mô tả mô phỏng các mạch kỹ thuật số.
Mô hình Verilog này phục vụ như một đặc tả cho việc thực hiện "vật lý" của thành phần được mô hình hóa.
Tổng hợp HDL có thể được xem như một sự chuyển đổi mã HDL thành một “sơ đồ điện tử” bao gồm các thành phần kỹ thuật số được kết nối với nhau. Đây được gọi là "Danh sách mạng RTL" (Mức truyền nhật ký).
Yosys không phải là phần mềm miễn phí duy nhất để tổng hợp Verilog (Chúng ta cũng có thể nghĩ đến việc sử dụng ODIN II trong bộ phần mềm VTR).
Tuy nhiên, không nghi ngờ gì nữa, phần mềm miễn phí là phần mềm được nói đến nhiều nhất gần đây và có sự phát triển tích cực nhất.
Thực tế, Yosys hiện nhắm mục tiêu rất nhiều FPGA giá rẻ như CoolRunner-II, ECP5, MAX10, Cyclone IV và đặc biệt là ICE40.
ICE40 có một chút đặc biệt trong danh sách, vì đối với FPGA này, toàn bộ chuỗi phát triển đã được khởi chạy.
Tất nhiên, chúng ta có thể tổng hợp Verilog vì FPGA tương thích với Yosys, mà còn là vị trí định tuyến với arachnepnr, cũng như việc tạo tệp cấu hình (bitstream) với icepack / iceprog.
Nó cũng có thể kiểm tra thời gian với icetime.
Giới thiệu về phiên bản mới của Yosys
- Trong lần ra mắt Yosys mới này, các chức năng mới đã được công bố, trong đó có thể nhấn mạnh những điều sau:
- Ngôn ngữ FIRRTL được Chisel3 sử dụng là một phần mềm phụ trợ khả thi để tạo danh sách mạng;
- Hỗ trợ công cụ xác minh chính thức của yosys-smtb gần như có thể được coi là ổn định.
- Danh sách các FPGA được hỗ trợ (và các ASIC khác) dài vô vọng;
- Cũng như các định dạng «netlist» cho phép tích hợp lại vào phần mềm độc quyền của người sáng lập: BLIF, EDIF, BTOR, SMT-LIB, RTL Verilog, FIRRTL
Làm thế nào để cài đặt Yosys trên Linux?
Dành cho những ai quan tâm đến việc có thể dùng thử công cụ này, họ có thể thực hiện cài đặt trên hệ thống của họ. Để làm được điều này, họ phải làm theo hướng dẫn mà chúng tôi chia sẻ dưới đây.
đến những người là người dùng Ubuntu và các dẫn xuất của nó có thể tận hưởng một cài đặt đơn giản. Điều này có thể được thực hiện bằng cách thêm kho lưu trữ sau vào hệ thống của bạn.
Đầu tiên, chúng ta phải mở một thiết bị đầu cuối bằng Ctrl + ALT + T và trong đó thực thi lệnh sau:
sudo add-apt-repository ppa:saltmakrell/ppa
Xong việc này bây giờ chúng ta phải cập nhật danh sách các gói và kho lưu trữ của mình với:
sudo apt-get update
Và cuối cùng chúng tôi cài đặt ứng dụng với:
sudo apt-get install yosys
Đối với phần còn lại của các bản phân phối Linux, chúng tôi phải biên dịch công cụ. Đối với điều này, chúng tôi phải sao chép mã nguồn của kho lưu trữ GIT:
git clone https://github.com/cliffordwolf/yosys.git
Định cấu hình cài đặt bản dựng với:
make config-clang vi Makefile vi Makefile.conf
Cuối cùng là xây dựng, kiểm tra và cài đặt:
make make test sudo make install
Để có thêm thông tin về nó, cũng như có thể tìm thấy tài liệu về việc sử dụng Yosys, bạn có thể truy cập liên kết sau.