Bộ tự động hóa đặc tả IDesignSpec của Agnisys

Agnisys là công ty EDA có văn phòng tại Garland, Texas, với khoảng hai thập kỷ kinh nghiệm về tự động hóa đặc tả. Công ty giải quyết khối việc thủ công dễ sai khi phải giữ đồng bộ bản đồ thanh ghi, RTL, mô hình kiểm chứng, header phần mềm và tài liệu trong một dự án chip.

Bộ IDesignSpec nhận một đặc tả thực thi được, nhập từ IP-XACT, SystemRDL, Excel, Word, CSV, JSON, YAML hoặc XML, rồi sinh RTL thanh ghi và bộ nhớ, logic CDC và DFT, kết nối IP, mô hình thanh ghi UVM và testbench, header C/C++, môi trường phần mềm bare-metal và tài liệu HTML, PDF hoặc Word. Các mô-đun mới gồm IDS-AI, khung AI tác tử từ đặc tả đến kiểm chứng; IDS-NoC, sinh RTL mạng trên chip không bế tắc; và điểm kiểm thử theo thiết kế cho DFT. Bộ công cụ được công bố đạt chứng nhận ISO 26262.

• Đặc tả thực thi được: nhập từ IP-XACT, SystemRDL, bảng tính và văn bản vào một nguồn duy nhất.
• Sinh RTL: thanh ghi, bộ nhớ, logic CDC, DFT và kết nối IP.
• Tài liệu kiểm chứng: mô hình thanh ghi UVM, testbench và test có hỗ trợ AI.
• Phần mềm và tài liệu: header C/C++, bản đồ bộ nhớ, môi trường bare-metal và đầu ra HTML/PDF/Word.
• IDS-NoC: sinh mạng trên chip mở rộng được, không bế tắc, bằng SystemVerilog.
• IDS-AI: khung AI tác tử bao phủ đặc tả, sinh RTL và kiểm chứng.

Đội thiết kế SoC tại Việt Nam có thể sinh RTL thanh ghi, mô hình UVM và header firmware từ một đặc tả dạng bảng tính. Công ty dịch vụ thiết kế có thể bàn giao tài liệu nhất quán cùng RTL cho khách hàng. Dự án chip ô tô có thể dùng quy trình đạt ISO 26262 cho các khối thanh ghi liên quan an toàn.

Một đặc tả duy nhất giữ đồng bộ đội phần cứng, kiểm chứng, phần mềm và tài liệu, giảm lỗi lệch pha giữa các bên. Mô hình UVM và test sinh tự động giảm công kiểm chứng thủ công cho thanh ghi và bộ nhớ. Người dùng sớm của điểm kiểm thử theo thiết kế ghi nhận độ phủ kiểm thử trên mỗi flip-flop tốt hơn tới 4 lần và số mẫu ATPG cấp cao nhất giảm 50%. Chứng nhận ISO 26262 hỗ trợ dự án ô tô.

SoC ngày nay chứa hàng nghìn thanh ghi và mạng trên chip phức tạp, mỗi thay đổi đặc tả lan sang phần cứng, firmware và tài liệu. Tự động hóa dựa trên đặc tả và tác tử AI đang được áp dụng để giữ các sản phẩm này nhất quán. Các đội thiết kế chip đang mở rộng tại Việt Nam và Đông Nam Á được lợi từ công cụ chuẩn hóa quy trình ngay từ đầu.

Công ty EDA có văn phòng tại Garland, Texas, khoảng hai thập kỷ kinh nghiệm. Bộ sản phẩm được công bố đạt chứng nhận ISO 26262 với dấu TÜV. Có ý kiến khách hàng từ iCatch Technology, Etched và Wacom. Tham gia DAC 2026 với bài trình bày DFT cùng Google.