Q3TUI: Gated AI Workflow cho thiết kế RTL của IP số
Tóm tắt: Q3TUI là công cụ TUI và CLI dùng để điều phối quy trình phát triển IP phần cứng từ specification đến RTL, verification và tài liệu thiết kế. Phần mềm kết hợp AI agent với các bước kiểm tra xác định bằng code như RTL lint, simulation và requirements traceability. Quy trình sử dụng các gate để dừng cho human review hoặc tự xác nhận khi đạt điều kiện. Bài viết phân tích workflow, cơ chế review và Requirements Traceability Matrix (RTM) của Q3TUI. Nội dung được tổng hợp từ tài liệu repo phiên bản 0.1.0 Beta, truy cập ngày 6 tháng 10 năm 2026; đây không phải kết quả benchmark hay xác minh độc lập trên một môi trường EDA cụ thể.
Từ khóa: Q3TUI, AI agent, RTL, SystemVerilog, verification, human-in-the-loop, RTM.
1. Giới thiệu
Phát triển một digital IP thường gồm nhiều công đoạn liên kết với nhau: viết specification, chọn parameter, tạo RTL, xây dựng testbench, viết assertion, chạy verification và lập tài liệu. Khi các công đoạn dùng công cụ riêng, việc giữ consistency giữa requirement và implementation có thể trở nên khó khăn. AI có thể hỗ trợ tạo nội dung, nhưng kết quả vẫn cần được kiểm tra về coding rules, chức năng và coverage.
Q3TUI tiếp cận vấn đề bằng cách điều phối các công đoạn trong một pipeline thống nhất. Theo README, Q3 là viết tắt của “Quality, Quick, Quorum”. Người dùng có thể điều khiển cùng một engine qua TUI, CLI hoặc trợ lý hội thoại. Dự án được xây dựng trên Claude Agent SDK và kết nối EDA tools thông qua các role adapter có thể cấu hình [1].
2. Mục tiêu và phạm vi
Q3TUI hướng đến việc hỗ trợ chuyển ý tưởng thiết kế hoặc specification thành một bộ artifacts có thể review, gồm synthesizable RTL, testbench, assertion và tài liệu. AI agent tham gia tạo nội dung, còn code-based checks và review gates tạo các điểm kiểm soát trước khi workflow tiếp tục.
Pipeline mặc định được mô tả là: spec → parse → config → rtl ‖ tb → sva → verify → doc. Hai nhánh RTL và testbench có thể chạy tuần tự hoặc song song vì cùng sử dụng output từ config. Khi requirement hoặc parameter thay đổi, Q3TUI hướng đến việc cập nhật các stage bị ảnh hưởng thay vì chạy lại toàn bộ pipeline [1][2].
3. Kiến trúc và workflow
Hình 1 thể hiện luồng xử lý chính của Q3TUI. Các nhãn màu vàng biểu thị stage có human review; màu xanh biểu thị stage có thể auto-confirm theo điều kiện của workflow.
Bảng dưới đây tóm tắt chức năng từng stage. Các gate được nêu theo workflow mặc định trong tài liệu dự án; người dùng có thể thay đổi mode theo cấu hình.
| Stage | Chức năng | Gate hoặc kiểm tra |
|---|---|---|
| Spec | Tạo hoặc tiếp nhận specification cho IP. | Người dùng cung cấp hoặc review nội dung đầu vào. |
| Parse | Trích xuất requirement IDs, parameter, module map và nội dung còn mơ hồ. | Gate 1; human review requirements. |
| Config | Giải quyết parameter values và kiểm tra elaboration constraints. | Gate 2; có thể auto-confirm khi đạt điều kiện. |
| RTL | Tạo các module SystemVerilog và áp dụng RTL rules. | Code-based lint; có thể gọi synthesis thông qua tool adapter được cấu hình. |
| TB | Tạo plain SystemVerilog testbench và test plan. | Gate 4; tài liệu mô tả việc compile testbench trước khi tiếp tục. |
| SVA | Tạo assertion theo requirement và bind chúng với RTL. | Gate 3b; assertions và review items được đưa ra cho người dùng. |
| Verify | Chạy selected tests, mutation testing và tạo RTM. | Gate 5; human verification sign-off. |
| Doc | Tổng hợp Markdown và PDF từ các artifacts của workflow. | Dựa trên output của các stage trước. |
4. Functional architecture
Hình 2 trình bày functional view của Q3TUI. TUI, CLI và chat là các frontend; workflow engine điều phối stage và review state; AI agent và EDA role adapter được sử dụng cho các tác vụ tương ứng.
5. Gates và human-in-the-loop review
Q3TUI mô tả bốn gate modes: human, auto, auto_answer và none. Chế độ human dừng để người dùng review; auto có thể tự xác nhận khi không còn blocking question; auto_answer còn có thể trả lời câu hỏi bằng default value; còn none tắt gate ở stage tương ứng. Các chế độ có thể cấu hình theo từng project hoặc session.
Review được theo dõi theo từng item, chẳng hạn flagged requirements, changed parameters và SVA assertions, thay vì chỉ dựa vào một nút approve tổng quát. Theo tài liệu tính năng, assertion không được trigger trong simulation chưa có bằng chứng xác nhận và không được silently đánh dấu là đã review. Cách làm này hỗ trợ human-in-the-loop (HITL), nhưng mức an toàn thực tế còn phụ thuộc vào gate mode và chính sách review mà nhóm cấu hình [2].
6. RTM và các kiểm tra xác định
Requirements Traceability Matrix (RTM) là một thành phần trọng tâm trong workflow. Hình 3 minh họa sáu điều kiện được tài liệu dự án mô tả cho từng requirement: được tag trong RTL; có SVA assertion đã được xác nhận; được cover bởi test case; simulation đạt; mutation score đạt threshold hoặc được ghi là không áp dụng; và được người dùng sign-off.
Mutation testing bổ sung một góc nhìn ngoài việc kiểm tra testbench có chạy thành công hay không: nó đánh giá liệu test suite có phát hiện được các thay đổi sai có chủ đích trong RTL hay không. Tài liệu cho biết mutation score được theo dõi theo requirement. Tuy nhiên, giá trị của chỉ số phụ thuộc vào mutation set, tool configuration và threshold; repo không cung cấp benchmark độc lập trong các tài liệu đã khảo sát.
Q3TUI cũng mô tả RTL rule enforcement bằng code, bao gồm naming conventions, file/module-name consistency và một số prohibited constructs như delay hoặc latch. Theo feature inventory, một số quy tắc khác — chẳng hạn abbreviation table và combinational-loop freedom — hiện vẫn là guidance, chưa được xác minh độc lập hoàn toàn bằng code [2].
7. Giao diện và khả năng tích hợp
Q3TUI cung cấp TUI, CLI và trợ lý hội thoại. TUI hiển thị pipeline status, kết quả của stage đang chọn và activity log. CLI cho phép điều khiển workflow theo cách có thể script hóa. README mô tả cả ba hình thức sử dụng chung một engine.
EDA tools được kết nối qua các role adapter có thể cấu hình, thay vì gắn cứng toàn bộ workflow với một vendor. Tài liệu cũng mô tả TUI và generated content hỗ trợ tiếng Anh, tiếng Việt và tiếng Hàn. Khả năng chạy thực tế vẫn phụ thuộc vào adapter, EDA tools, AI model và môi trường của project.
8. Thảo luận và giới hạn
Q3TUI kết hợp AI-based generation với code-based checks, review gates và RTM. Cơ chế cập nhật các stage bị ảnh hưởng khi requirement thay đổi cũng có tiềm năng giảm việc chạy lại không cần thiết. Đây là các đặc điểm kiến trúc được mô tả trong repo, chưa phải bằng chứng định lượng về mức cải thiện năng suất hoặc chất lượng RTL.
Repo ghi phiên bản 0.1.0 Beta. Feature inventory nêu một số phần giao diện chưa được dịch đầy đủ và một số RTL rules chưa được kiểm tra hoàn toàn bằng code. Tài liệu đã khảo sát cũng không đưa ra số liệu benchmark về thời gian thiết kế, defect rate, coverage hoặc khả năng tái lập trên nhiều EDA environments. Do đó, các kết luận về hiệu quả cần được kiểm tra bằng một evaluation có cấu hình rõ ràng và kết quả tái lập.
Các tiêu chí phù hợp để đánh giá gồm: tỷ lệ requirement được trace đến RTL và test; số assertion không được trigger; mutation score theo module; số lần phải sửa artifacts sau lint hoặc synthesis; và thời gian chạy pipeline với từng cấu hình cố định. Đây là các đề xuất đánh giá, không phải kết quả đã được công bố bởi dự án.
9. Kết luận
Q3TUI là một workflow orchestration tool cho phát triển digital IP, kết hợp AI agent, TUI/CLI, review gates, code-based RTL checks và RTM. Điểm đáng chú ý là automation được gắn với các điểm review và verification sign-off thay vì chỉ dựa vào nội dung AI sinh ra. Tuy vậy, do dự án đang ở giai đoạn Beta và chưa có benchmark độc lập trong tài liệu đã khảo sát, cần đánh giá thêm trên các design, EDA tools và tiêu chí chất lượng cụ thể trước khi dùng kết quả làm cơ sở sign-off sản phẩm.
Tài liệu tham khảo
- Nguyenquanicd. VLSIT_Q3TUI_AI_FLOW — Q3TUI. GitHub repository. https://github.com/nguyenquanicd/VLSIT_Q3TUI_AI_FLOW.
- Nguyenquanicd. Q3TUI Feature Inventory. Tài liệu tính năng phiên bản 0.1.0 Beta. https://github.com/nguyenquanicd/VLSIT_Q3TUI_AI_FLOW/blob/main/docs/FEATURES.md.
Tác giả: Lương Triền Thắng và Lê Trường Thịnh
0 bình luận:
Đăng nhận xét