Google XLS qua Altifigence CLI

Altifigence CLI cung cấp quy trình trên Linux x86_64 để cài đặt và chạy bộ công cụ Google XLS upstream với phiên bản được cố định. CLI nhận yêu cầu xác định các mô-đun mã nguồn và một thao tác, sau đó trả về kết quả từ các công cụ đã cài đặt. Qua quy trình dòng lệnh này, người thiết kế có thể kiểm tra DSLX, chạy kiểm thử mô-đun và tạo SystemVerilog từ một hàm được chọn.

Quy trình thứ hai kết nối các máy khách MCP tương thích với công cụ mã nguồn XLS cục bộ. Các công cụ này dùng bộ máy XLS native đi kèm trên CPU và nhận mã nguồn trực tiếp trong yêu cầu. Quy trình bộ công cụ upstream và quy trình XLS MCP cục bộ có các bước thiết lập và định dạng yêu cầu riêng. Mỗi quy trình cung cấp một cách cụ thể để làm việc với mã nguồn và xem đầu ra qua bản cài đặt Altifigence CLI.

Chạy bộ công cụ Google XLS upstream với phiên bản được cố định

Quy trình upstream bắt đầu bằng việc cài đặt bộ công cụ một cách tường minh. Altifigence CLI cài bản phát hành Google XLS được cố định, xác minh tệp lưu trữ và kiểm tra danh mục công cụ cùng thư viện chuẩn. CLI giữ lại các tệp giấy phép của bản phát hành và ghi cấu hình bộ công cụ sau khi các bước kiểm tra thành công. CLI xác minh lại bản phát hành đã cài trước khi sử dụng.

Cấu hình xác định bản cài đặt dùng cho các yêu cầu tiếp theo. Phản hồi về khả năng mô tả các thao tác và loại đầu vào có sẵn, cùng thông tin nhận dạng bản phát hành và công cụ. Nhờ đó, công việc với mã nguồn có ngữ cảnh thực thi rõ ràng: một yêu cầu, một bản cài đặt được chọn và một kết quả ghi lại các công cụ liên quan.

Cài Altifigence CLI trên Linux x86_64. Chạy alti xls upstream install bằng tài khoản người dùng thông thường, chọn các đường dẫn tuyệt đối mới cho đích cài đặt và cấu hình bộ công cụ bên trong một thư mục có sẵn.
Đọc phản hồi alti xls upstream capabilities với cấu hình bộ công cụ đó. Xem các thao tác, loại đầu vào và thông tin nhận dạng bản phát hành được báo cáo cho bản cài đặt của bạn.
Chuẩn bị yêu cầu có operation, input_kind, entry và files. Với DSLX, files chứa các mô-đun với khóa là đường dẫn tương đối kết thúc bằng .x, còn entry xác định mô-đun bắt đầu.
Chạy alti xls upstream run với cấu hình bộ công cụ, một thư mục gốc làm việc có sẵn và yêu cầu. Chọn check để phân tích cú pháp và kiểm tra kiểu, hoặc eval cho các hàm kiểm thử và proc kiểm thử của mô-đun đầu vào.
Với hàm được chọn, thêm top và chọn convert, optimize hoặc codegen. Xem các tạo phẩm được trả về và giữ kết quả cùng yêu cầu mã nguồn để xem xét.

Yêu cầu nhiều tệp làm rõ mối quan hệ giữa một mô-đun và các mô-đun được nhập vào. Ví dụ đã xuất bản đặt hàm add trong adder.x và nhập hàm đó từ main.x, nơi một kiểm thử mô-đun kiểm tra kết quả. entry chỉ định mô-đun kiểm thử để đánh giá. check và eval hoạt động trên mô-đun đầu vào đó cùng các mô-đun được nhập; yêu cầu tạo mã xác định hàm qua top.

Từ bộ cộng có kiểu đến đầu ra được tạo

Bộ cộng trong tài liệu dùng đầu vào u8 và giá trị trả về u8. Kiểm thử cộng u8:255 với u8:1 và mong đợi u8:0. Đây là ví dụ nhỏ hữu ích để xem xét vì kiểu trong mã nguồn và hành vi quay vòng khi tràn được mong đợi xuất hiện cùng nhau. Người thiết kế có thể đọc hàm, xem biểu thức khẳng định và chạy kiểm thử mô-đun như các phần của cùng một công việc với mã nguồn.

Để tạo SystemVerilog có pipeline, ví dụ chọn add làm top và dùng mô-đun bộ cộng làm entry. Bước chuyển đổi tạo biểu diễn trung gian của hàm được chọn; tối ưu hóa tạo một tạo phẩm IR đã tối ưu; tạo mã sinh ra SystemVerilog cùng tài liệu về giao diện, lịch thực thi và chữ ký. Chọn convert hoặc optimize tạo điểm dừng xem xét ở một giai đoạn trung gian.

Kết quả codegen có pipeline đó gồm module.sv, converted.ir, optimized.ir, interface.textproto, schedule.textproto và signature.textproto. Mỗi tạo phẩm có văn bản, số byte và SHA-256. Kết quả cũng ghi lại các tiến trình công cụ, gồm giá trị băm, đối số, mã thoát và đầu ra. Các trường này liên kết những tệp được tạo với công cụ và yêu cầu dùng trong lần chạy.

Yêu cầu tạo mã upstream có thể chọn các tầng pipeline hoặc dùng SystemVerilog tổ hợp. Hãy coi đây là lựa chọn về cấu trúc được tạo trong lúc tìm hiểu mã nguồn. Một bài tập xem xét hữu ích là giữ DSLX cạnh IR và SystemVerilog được trả về, rồi xem hàm được chọn xuất hiện thế nào qua các giai đoạn. Đây là công việc đọc do người thiết kế chủ động thực hiện bằng các tạo phẩm được tạo.

Kết nối các công cụ XLS MCP cục bộ riêng biệt

Quy trình XLS MCP cục bộ bắt đầu từ gói CLI Linux x86_64 đã xác minh. Trong cài đặt stdio của máy khách tương thích, đặt lệnh thành đường dẫn tuyệt đối đến tệp thực thi alti-mcp đã cài và để trống đối số. Giữ alti-xls cạnh alti-mcp trong bản cài đặt đã xác minh đó. Đặt biến môi trường ALTI_MCP_MODE của tiến trình máy chủ thành local-xls rồi kết nối.

Làm mới danh sách công cụ của máy khách, sau đó gọi altifigence.local.xls.capabilities với đối tượng rỗng {}. Xem các khả năng của bộ máy và biên nhận thực thi được trả về. Bước này thiết lập ngữ cảnh bộ máy trước khi gửi thao tác mã nguồn từ máy khách.

Bộ công cụ gồm altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize và altifigence.local.xls.codegen. Chúng cung cấp việc xem khả năng, kiểm tra mã nguồn, đánh giá bằng véc-tơ đầu vào, tối ưu hóa XLS IR và tạo RTL. Việc thực thi sử dụng bộ máy đi kèm trên CPU.

Với thao tác mã nguồn, cung cấp input_kind là dslx hoặc xls-ir, mã nguồn trực tiếp trong yêu cầu và tên hàm cấp cao nhất trong top. Với eval, cung cấp thêm vectors dưới dạng các mảng giá trị chuỗi. Kiểu yêu cầu này phù hợp với một hàm mã nguồn được chọn rõ ràng cùng tập đầu vào có kiểu được chuẩn bị cho hàm đó. Lời gọi bộ máy thành công trả về engine và receipt trong structuredContent.

Chọn quy trình cho công việc với mã nguồn

Quy trình upstream phù hợp với người thiết kế làm việc cùng mô-đun DSLX, các phần nhập và kiểm thử mô-đun, muốn nhận kết quả từ bộ công cụ Google XLS đã cài với phiên bản được cố định. Quy trình MCP cục bộ phù hợp với người dùng máy khách tương thích để gửi thao tác có mã nguồn trực tiếp và véc-tơ đánh giá đến bộ máy native trên CPU. Bắt đầu bằng phản hồi khả năng phù hợp, xác định mã nguồn và giữ kết quả được trả về để kiểm tra.

Với ví dụ bộ cộng, hãy giữ yêu cầu kiểm thử mô-đun và yêu cầu tạo mã thành các đầu vào riêng để xem xét. Yêu cầu kiểm thử chỉ định mô-đun chứa biểu thức khẳng định, còn yêu cầu tạo mã chỉ định mô-đun chứa hàm được chọn. Đọc hai yêu cầu cùng nhau giúp làm rõ mã nguồn nào được đánh giá và hàm nào được chuyển thành RTL. Giữ ánh xạ tệp của chúng cùng các kết quả để dễ nhận diện mô-đun được nhập và entry.

Máy khách cục bộ cung cấp một bài tập mã nguồn thực tế khác: gửi một hàm nhỏ với kiểu đầu vào rõ ràng, kiểm tra mã nguồn rồi đánh giá bằng các véc-tơ đã chuẩn bị. So sánh giá trị trả về với các giá trị mong đợi mà bạn đã viết cho những đầu vào đó. Giữ kết quả bộ máy và biên nhận thực thi cùng lần xem xét ấy. Điều này cung cấp tư liệu để người dùng chủ động so sánh mã nguồn, giá trị đầu vào và đầu ra, với từng thao tác được chọn rõ ràng trong máy khách.

Tìm hiểu thêm

Tham khảo hướng dẫn XLS upstream với phiên bản được cố định để cài đặt, kiểm thử mô-đun và tìm hiểu tạo phẩm SystemVerilog.

Dùng hướng dẫn XLS MCP cục bộ để cấu hình máy khách và thực hiện thao tác mã nguồn.

Đọc hướng dẫn Altifigence CLI để tìm hiểu quy trình cài đặt trên Linux.

Truy cập Altifigence Downloads để tải bản phân phối CLI và các sản phẩm.