Cầu MCP cho việc gỡ lỗi và phân tích dạng sóng RTL do AI điều khiển
wave-mcp, được phát triển bởi Phòng thí nghiệm Penglai của Tencent, là một máy chủ Giao thức Ngữ cảnh Mô hình mã nguồn mở mang lại các tác nhân AI vào quy trình gỡ lỗi dạng sóng RTL. Ứng dụng này cung cấp các nguyên tắc gỡ lỗi để các tác nhân có thể kiểm tra dữ liệu mô phỏng, đặt câu hỏi và tương tác với các tín hiệu theo thời gian để tăng tốc độ phân lập lỗi. Nó nhằm mục đích tích hợp AI vào các chu kỳ xác minh bằng cách cung cấp phân tích nhận thức về danh sách mạng và truy cập dạng sóng tương tác. Các kỹ sư xác minh phần cứng và các nhóm FPGA/ASIC có được một giao diện lập trình cho việc kiểm tra hỗ trợ bởi tác nhân trong các băng thử nghiệm hiện có.
Các nhiệm vụ nào bạn thực sự có thể sử dụng nó cho?
Công cụ cho phép các đại lý thực hiện các hành động xác minh cụ thể bằng cách gọi các nguyên thủy gỡ lỗi mục tiêu thay vì các lời nhắc chung. Trong thực tế, các đại lý có thể thực hiện theo dõi tín hiệu, theo dõi trạng thái và giá trị, phân tích nguồn gốc trình điều khiển, so sánh dạng sóng pass-fail và điều hướng phân cấp RTL liên kết với danh sách net SystemVerilog. Những khả năng cấp độ nhiệm vụ đó cho phép một đại lý giảm không gian tìm kiếm cho một bài kiểm tra thất bại và tạo ra các truy vấn hoặc chú thích có thể theo dõi gắn với dấu thời gian mô phỏng.
Phân tích dạng sóng do AI điều khiển đáng tin cậy đến mức nào?
Độ tin cậy phụ thuộc vào độ sâu của các quy trình kiểm tra được gọi: wave-mcp phơi bày tới 34 công cụ gỡ lỗi chuyên biệt mà một đại lý có thể gọi để kiểm tra và theo dõi tập trung. Bởi vì kiến trúc hỗ trợ hoạt động 'đại lý trong vòng lặp' nơi các đại lý tự động điều hướng các dạng sóng, đầu ra nên được coi là các dẫn chứng chẩn đoán cần xác minh với kết quả mô phỏng hoặc đánh giá của con người trước khi thay đổi thiết kế được áp dụng. Bộ công cụ có sẵn tăng cường độ chi tiết điều tra, không phải quyền hạn cuối cùng.
Các định dạng tệp và máy chủ nào nó chấp nhận?
Máy chủ đọc dữ liệu dạng sóng tiêu chuẩn và tích hợp với các môi trường máy chủ thay vì hoạt động như một giao diện trước mô phỏng độc lập. Nó chấp nhận natively các dạng sóng FST và thực hiện chuyển đổi tự động cho các đầu vào VCD và FSDB. Ứng dụng yêu cầu một môi trường Python và một ứng dụng máy chủ tuân thủ MCP như Claude Desktop hoặc Cursor để kết nối các đại lý AI với dữ liệu mô phỏng, và nó cung cấp khám phá danh sách net SystemVerilog cho các truy vấn nhận thức ngữ cảnh.
Nó có phù hợp với các chuỗi công cụ xác minh và thực hành dữ liệu tiêu chuẩn không?
Wave-mcp được thiết kế để nằm trong các luồng xác minh hiện có, cung cấp một giao diện lập trình mà các đại lý và công cụ máy chủ có thể điều khiển. Nó bao gồm một trình xem dạng sóng dựa trên trình duyệt mà một đại lý có thể kiểm soát và cung cấp phân tích tĩnh trước mô phỏng để đánh dấu các vấn đề tiềm ẩn trước khi chạy. Bởi vì máy chủ phơi bày các nguyên thủy gỡ lỗi cho các đại lý AI, các nhóm phải lên kế hoạch cách dữ liệu dạng sóng và danh sách net đi qua liên kết MCP và thiết lập các cổng xem xét cho các hành động được đề xuất bởi đại lý trong quá trình tích hợp.
Phù hợp nhất với các nhóm có công cụ MCP và các cổng xác minh có kỷ luật
Công cụ này là một lựa chọn thực tế cho các nhóm xác minh đã sử dụng các máy chủ có khả năng MCP và muốn thêm kiểm tra hỗ trợ bởi đại lý vào quy trình làm việc của họ. Mong đợi một giai đoạn tích hợp để xác định các luồng dữ liệu và các điểm kiểm tra đánh giá của con người cho bất kỳ phát hiện nào do đại lý tạo ra. Thử nghiệm máy chủ trên các mô-đun mục tiêu, chỉ định quyền sở hữu cho các khuyến nghị của đại lý và thực thi các cổng xác minh trước khi cam kết thay đổi thiết kế.
