Altifigence mở rộng tích hợp AI và công cụ phát triển qua MCP

Altifigence kết nối các ứng dụng khách AI tương thích với công cụ phát triển phần cứng cục bộ thông qua MCP (Model Context Protocol). Chế độ XLS cục bộ trong Altifigence CLI đưa các thao tác kiểm tra mã nguồn, đánh giá, tối ưu hóa và tạo RTL vào kết nối đó. Nhờ vậy, người thiết kế có thể chuyển từ thảo luận một đoạn mã nguồn phần cứng với trợ lý sang gọi công cụ đã cài đặt và đọc kết quả ngay trong cùng ứng dụng khách.

Kết nối cục bộ cho mã nguồn phần cứng

MCP là tiêu chuẩn kết nối ứng dụng AI với công cụ. Trong quy trình này, ứng dụng khách AI khởi động tiến trình alti-mcp đã cài đặt và trao đổi yêu cầu, phản hồi qua đầu vào và đầu ra chuẩn. Việc chọn ALTI_MCP_MODE=local-xls kết nối tiến trình đó với bộ máy alti-xls nằm bên cạnh. Bộ máy thực hiện các thao tác mã nguồn cục bộ trên CPU, và phản hồi được trả về ứng dụng khách cùng biên nhận thực thi.

Dữ liệu ban đầu là mã nguồn DSLX hoặc XLS IR được đưa trực tiếp vào yêu cầu và tên hàm cấp cao nhất của mã nguồn đó. Những đầu vào này xác định rõ đối tượng của yêu cầu: ứng dụng khách gửi mã nguồn cần kiểm tra, xác định định dạng và chỉ định tên hàm cần dùng. Người thiết kế có thể tập trung thảo luận vào mã nguồn đó và so sánh kết quả trả về với hành vi dự kiến.

Kết nối ứng dụng khách AI của bạn

1. Cài đặt gói CLI Linux x86_64 đã được xác minh theo hướng dẫn Altifigence CLI. Giữ alti-mcp và alti-xls cùng nhau trong bản cài đặt đó.

2. Trong cài đặt stdio của ứng dụng khách MCP, đặt lệnh thành đường dẫn tuyệt đối đến tệp thực thi alti-mcp đã cài đặt và để trống danh sách đối số.

3. Đặt biến môi trường ALTI_MCP_MODE của tiến trình máy chủ thành local-xls, kết nối rồi làm mới danh sách công cụ của ứng dụng khách.

4. Gọi altifigence.local.xls.capabilities với {}. Đọc thông tin về khả năng của bộ máy và biên nhận thực thi trước khi chọn thao tác mã nguồn.

Thiết lập này cung cấp cho ứng dụng khách một tập hợp thao tác có tên để yêu cầu. Phản hồi capabilities là nội dung hữu ích để xem xét đầu tiên cùng trợ lý: nó mô tả bộ máy có sẵn trong bản cài đặt bạn đã chọn, nhờ đó yêu cầu tiếp theo có thể dựa trên phản hồi của bộ máy đó.

Kiểm tra, đánh giá và tạo RTL

Danh mục cục bộ có năm công cụ: altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize và altifigence.local.xls.codegen. Các công cụ cung cấp những bước riêng biệt để xem xét khả năng, kiểm tra mã nguồn, đánh giá các vectơ đầu vào, tối ưu hóa XLS IR và tạo RTL. Hãy chọn thao tác phù hợp với câu hỏi về thiết kế mà bạn muốn trả lời.

1. Đối với thao tác mã nguồn, đặt input_kind là dslx hoặc xls-ir, đưa mã nguồn trực tiếp vào source và chỉ định tên hàm cấp cao nhất trong top.

2. Để đánh giá, thêm vectors dưới dạng các mảng giá trị chuỗi. Chuẩn bị các đầu vào bạn muốn xem xét, gọi altifigence.local.xls.eval và đọc kết quả do bộ máy trả về.

3. Dùng altifigence.local.xls.optimize khi làm việc với XLS IR, hoặc altifigence.local.xls.codegen để tạo RTL. Yêu cầu codegen có thể bao gồm pipeline với một giá trị stages.

4. Đọc isError trước khi sử dụng phản hồi. Khi gọi bộ máy thành công, kiểm tra engine và receipt trong structuredContent, đồng thời giữ kết quả cùng bản ghi thực thi của nó.

Dành cho người thiết kế rà soát logic số

Nhà phát triển phần cứng có thể dùng quy trình này để gắn cuộc thảo luận với AI với mã nguồn và đầu ra công cụ cụ thể. Chẳng hạn, chuẩn bị một hàm và một tập vectơ đầu vào, thảo luận hành vi dự kiến, sau đó đánh giá các vectơ đó và xem xét kết quả trả về. Tài liệu hữu ích cho quyết định thiết kế tiếp theo chính là mã nguồn bạn đã cung cấp và phản hồi bộ máy bạn đã nhận.

Người dùng DDS, ALcad và vFactory cũng xây dựng logic số có thể dùng cùng quy trình mã nguồn cục bộ này khi kiểm tra một hàm hoặc tạo RTL. Quy trình đặc biệt hữu ích cho việc rà soát tập trung vào một hàm có tên: mã nguồn, hàm cấp cao nhất, đầu vào đánh giá và biên nhận thực thi cung cấp cho mọi người nội dung cụ thể để thảo luận.

Tìm hiểu thêm và bắt đầu

Làm theo hướng dẫn XLS MCP cục bộ để biết cài đặt ứng dụng khách, tên công cụ và các trường yêu cầu. Dùng hướng dẫn Altifigence CLI để chuẩn bị bản cài đặt Linux đã được xác minh, hoặc truy cập Tải xuống để tìm phần mềm và hướng dẫn cài đặt. Bắt đầu bằng lời gọi capabilities, sau đó chọn một đoạn mã nguồn nhỏ và xem xét kết quả của nó.