Synopsys Chuyển Giao Xác Minh Chip Cho Các Đại Lý Trí Tuệ Nhân Tạo Tự Động

Synopsys cho biết vào ngày 26 tháng 7 năm 2026 rằng họ đã xây dựng một đại lý xác minh thiết kế có khả năng chạy toàn bộ chu kỳ xác minh của một con chip mà không cần một kỹ sư điều khiển, và rằng hệ thống này đạt được tốc độ xác minh RTL đã được xác minh lên đến 50 lần nhanh hơn trong khi cung cấp thêm 20% cải thiện về phạm vi bao phủ. Công ty đã công bố công việc tại Hội nghị Thiết kế Tự động ở Long Beach, California, nơi họ đang trình diễn luồng công việc này lần đầu tiên. Không có gì được vận chuyển ngay bây giờ. Khách hàng đang đánh giá khả năng của nó bây giờ, với khả năng sẵn sàng cho nửa cuối năm 2026, một cửa sổ đã bắt đầu.

Đại lý này kết hợp công nghệ Synopsys AgentEngineer với ngăn xếp đại lý của NVIDIA (NVDA ): Bộ công cụ đại lý NVIDIA, mô hình mở Nemotron 3 Ultra và một lớp chạy thời gian mà NVIDIA gọi là OpenShell. Một đại lý điều phối viên kéo mục tiêu xác minh từ thông số kỹ thuật, thiết kế, kho lưu trữ thử nghiệm hiện có và đầu vào của kỹ sư, sau đó phân phối các đại lý chuyên dụng trên các thế hệ kế hoạch thử nghiệm, đóng phạm vi và gỡ lỗi. Đóng phạm vi là bước nơi một nhóm chứng minh rằng các thử nghiệm của họ thực sự đã thực hiện logic, và Synopsys mô tả nó là một trong những điểm nghẽn lớn nhất trong quá trình.

Các con số tăng tốc là của các nhà cung cấp

Mọi số hiệu suất ở đây đều đến từ các công ty bán công cụ, và các đường cơ sở là mỏng. Các yêu cầu 50x và 20% mang một chú thích so sánh chúng với “các luồng công việc xác minh truyền thống không được cung cấp bởi công nghệ AgentEngineer,” mà không có thiết kế được đặt tên, không có nút quy trình và không có giờ làm việc của kỹ sư. Yêu cầu tương tự, lên đến 3x năng suất cho một luồng tín hiệu hỗn hợp được điều phối bởi cùng một công nghệ, dựa trên một chú thích mà về cơ bản là lặp lại chính nó.

Bốn tháng trước, tại hội nghị Converge của riêng họ vào ngày 11 tháng 3 năm 2026, Synopsys đã mô tả một phiên bản ít tự động của cùng một ý tưởng, một luồng công việc thiết kế và xác minh đa đại lý “L4”, và đặt mức tăng tại 2x năng suất với tối đa 5x trong các trường hợp được chọn. Phát hành này cũng lưu ý rằng thiết kế phía trước của một hệ thống trên chip lớn thường chiếm một đội xác minh trong bốn đến sáu tháng. Hai số liệu này không hoàn toàn giống nhau, nhưng khoảng cách giữa 2x vào tháng 3 và 50x vào tháng 7 đủ rộng để muốn có số liệu trước và sau của khách hàng trước khi coi nó là đã giải quyết.

Không có sự giúp đỡ từ thử nghiệm độc lập. Silicon đào tạo và suy luận có MLPerf, một định dạng gửi chung với một bảng kết quả công khai; các luồng công việc thiết kế đại lý có không có điểm chuẩn nào. Yêu cầu liền kề của NVIDIA, rằng Nemotron 3 Ultra dẫn đầu các mô hình mở về mã hóa cấp đăng ký đại lý, dựa trên một điểm chuẩn mà NVIDIA xuất bản, được đo bằng một đại lý mà NVIDIA Research đã xây dựng. Các công ty khởi nghiệp theo đuổi cùng thị trường, trong số đó có Chipmind, đã ra mắt từ bí mật để xây dựng lại thiết kế chip xung quanh các đại lý AI, đối mặt với cùng khoảng trống bằng chứng.

Nơi công việc EDA thực sự chạy

Nửa cuối của thông báo này ít hơn về các đại lý và nhiều hơn về phần cứng. Synopsys cho biết hơn 20 sản phẩm EDA và multiphysics của họ hiện đã được tăng tốc bởi GPU. Họ báo cáo rằng mô phỏng mạch trong PrimeSim SPICE chạy nhanh hơn khoảng 18 lần trong thời gian thực tổng thể trên GPU NVIDIA so với các lần chạy chỉ trên CPU, tốc độ tăng 10x cho mô phỏng điện từ Lumerical của Ansys, và lên đến 50x cho công việc hóa học lượng tử trong QuantumATK sử dụng thư viện cuEST của NVIDIA.

Đó là một khối lượng đáng kể của tính toán kỹ thuật di chuyển ra khỏi các giá đỡ CPU và lên phần cứng NVIDIA trong các nhà thiết kế xây dựng các bộ tăng tốc. Thông báo của riêng NVIDIA thêm một thư viện giải pháp thưa, cuISS, vào bộ CUDA-X của nó và cho biết rằng trình mô phỏng VCS của Synopsys đang được điều chỉnh cho CPU Vera của nó. Các công cụ thiết kế thế hệ tiếp theo của silicon AI ngày càng chạy trên silicon hiện tại.

Synopsys cũng trình diễn một luồng công việc tự động cho phân tích nhiệt điện tử, được xây dựng trên Ansys Icepak, công cụ mô phỏng làm mát mà họ đã chọn trong việc mua lại Ansys, cộng với các thư viện PyAEDT mã nguồn mở. Nó xử lý thiết lập mô phỏng và tiền và hậu xử lý mà không cần giám sát. Mô tả của NVIDIA về cùng một công việc đặt tên cho ứng dụng một cách đơn giản hơn: tối ưu hóa thiết kế làm mát GPU. Tim Costa, Phó Chủ tịch và Tổng Giám đốc của NVIDIA về kỹ thuật tính toán, cho biết các đại lý giúp các nhóm “đóng xác minh, tự động hóa phân tích nhiệt và nén các chu kỳ phát triển từ vài tuần xuống vài giờ.”

Mọi nhà cung cấp EDA đã chọn cùng một đối tác

Thông báo của NVIDIA liệt kê Cadence, Siemens, Samsung, Keysight, Silvaco và TSMC cùng với Synopsys. Lưu lượng đóng gói và bảng của Cadence được ghi nhận có hiệu suất multiphysics nhanh hơn 20 lần. Siemens cho biết rằng các luồng công việc đại lý cắt giảm thời gian đặc tả thư viện hơn 10 lần trong khi giảm chi phí token theo một yếu tố tương tự. Samsung báo cáo lên đến 20 lần về tính toán quang học sử dụng cuLitho. Tất cả ba nhà cung cấp EDA lớn đã neo câu chuyện tự động của họ vào cùng một nhà cung cấp mô hình, thư viện và thời gian chạy trên cùng một ngày.

Hai điều sẽ làm cho các yêu cầu kiểm tra được. Đầu tiên là một khách hàng xuất bản số liệu xác minh phạm vi từ một thiết kế được đặt tên tại một nút được đặt tên. Thứ hai là sự rõ ràng về việc liệu cửa sổ sẵn sàng trong nửa cuối có nghĩa là phát hành chung hay truy cập sớm hạn chế.

Câu hỏi triển khai có nhiều thứ đang bị đe dọa nhất. Nemotron là một mô hình trọng lượng mở có thể được đào tạo lại trên dữ liệu độc quyền và chạy cục bộ, một điểm mà NVIDIA làm rõ ràng. RTL là một trong những tài sản trí tuệ được bảo vệ chặt chẽ nhất mà một công ty chip nắm giữ, đủ quý giá để các chính phủ đã cân nhắc việc hạn chế xuất khẩu. Một đại lý xác minh tự động cần toàn bộ thiết kế để thực hiện công việc của nó. Liệu nó có thể làm công việc đó bên trong tường lửa của khách hàng hay không quyết định ai có thể sử dụng nó.