Thông cáo báo chí có trả phí. Vui lòng liên hệ trực tiếp với nhà phân phối thông cáo báo chí để biết thêm chi tiết.

Real Intent công bố Conquest MAI — Chữ ký toàn vẹn vi kiến trúc

Real Intent

Thứ Tư, ngày 25 tháng 2 năm 2026 lúc 2:03 sáng GMT+9 3 phút đọc

Real Intent

Tự động xác định & kiểm tra các thành phần chức năng tiêu chuẩn (SFCs) trong toàn bộ hệ thống phân cấp trong quá trình thiết kế RTL

SUNNYVALE, California, ngày 24 tháng 2 năm 2026 (GLOBE NEWSWIRE) – Real Intent, Inc., hôm nay công bố Conquest MAI, công cụ chữ ký toàn vẹn vi kiến trúc đầu tiên trong ngành. Conquest MAI tự động xác định các thành phần chức năng tiêu chuẩn (SFCs) trong toàn bộ hệ thống phân cấp thiết kế và thực hiện kiểm tra tính toàn vẹn cục bộ.

Khả năng gỡ lỗi nâng cao của nó, bao gồm sơ đồ FSM và sơ đồ khối chức năng SFC, hỗ trợ hiểu biết sâu về thiết kế và khám phá trong suốt quá trình xác minh. Việc thiết lập nhanh chóng và hiệu suất cực kỳ cao của Conquest MAI làm cho việc tích hợp chữ ký toàn vẹn vi kiến trúc vào quá trình ký xác RTL trở nên thực tế.

Minimally Boolean: Cho phép ký xác MAI trong quá trình ký xác RTL

Các phương pháp mô phỏng và xác minh chính thức dựa nhiều vào phân tích Boolean, và mỗi phương pháp đều có những hạn chế đáng kể do đó. Xác minh chính thức chậm với giới hạn dung lượng, hạn chế phân tích toàn diện, trong khi mô phỏng không thực tế do số lượng lớn các test bench và chu kỳ xác minh cần thiết để đạt được chữ ký toàn vẹn vi kiến trúc.

Conquest MAI chỉ phụ thuộc tối thiểu vào phương pháp Boolean. Nó chủ yếu sử dụng kỹ thuật kiểm tra trừu tượng và phân tích đặc thù vấn đề, tránh giải quyết toàn bộ không gian trạng thái Boolean. Do đó, Conquest MAI:

Chạy nhanh gấp 10 đến 100 lần so với phương pháp chính thức, phân tích một triệu cổng trong vài phút

Phủ sóng toàn diện các thiết kế có hàng tỷ cổng trong vài giờ, không cần hộp đen  

Sự kết hợp này cho phép các kỹ sư tích hợp chữ ký toàn vẹn vi kiến trúc như một phần của ký xác RTL.

Phân tích ý định chức năng để xác định SFCs

Trung tâm của Conquest MAI là khả năng suy luận ý định chức năng trực tiếp từ RTL để tự động xác định các SFC như FSM, FIFO, bộ đếm, bộ dịch chuyển và bộ nhớ. Nó phân tích hành vi logic để hiểu thiết kế thực hiện những gì, thay vì dựa vào mẫu cú pháp hoặc quy ước đặt tên.

Ý định suy luận của Conquest MAI là:

Không phụ thuộc vào phong cách lập trình — xác định SFC bất kể cú pháp RTL hoặc quy ước đặt tên

Cross-hierarchy — nhận diện các thành phần ngay cả khi chức năng phân phối trên toàn hệ thống phân cấp thiết kế

Có ý nghĩa hơn cú pháp — xác định SFC nằm trong các SFC khác và phát hiện các SFC sao chép tạo ra qua mảng và cấu trúc generate  

Điều này tạo nền tảng để áp dụng các quy tắc đặc thù cho SFC cần thiết cho chữ ký toàn vẹn vi kiến trúc.

Kiểm tra tính toàn vẹn vi kiến trúc

Sau khi Conquest MAI tự động xác định các SFC, các nhà thiết kế có thể thực hiện các kiểm tra tính toàn vẹn vi kiến trúc. Các kiểm tra tiêu biểu bao gồm:

Tiếp tục câu chuyện  

Khoảng cách Hamming trạng thái FSM / trọng lượng — Xác nhận rằng mã hóa trạng thái FSM đáp ứng các yêu cầu tối thiểu về khoảng cách Hamming và trọng lượng để phát hiện lỗi của các bit không mong muốn.

Tràn FIFO & tràn dưới FIFO — Kiểm tra logic điều khiển FIFO để ngăn chặn ghi khi đầy và đọc khi rỗng, tránh mất dữ liệu hoặc trả về dữ liệu không hợp lệ.​

Sử dụng bộ đếm ngoài phạm vi — Báo cáo nếu bộ đếm so sánh với các giá trị ngoài phạm vi của nó.

Các cổng ghi RAM đồng thời — Kiểm tra xem RAM có nhiều cổng ghi không trùng lặp địa chỉ ghi hay không.  

Hình dung các SFC suy luận để gỡ lỗi

Conquest MAI áp dụng phân tích ý định suy luận của mình để tạo ra các hình ảnh thể hiện cấu trúc và hành vi của từng SFC, bất kể phong cách mã hóa RTL hoặc chi tiết triển khai. Các ví dụ bao gồm:

Sơ đồ SFC

 

*    
    
    Các khối chức năng với các mối liên hệ và mối quan hệ điều khiển
    
     
*    
    
    Các sơ đồ mạch truyền thống của cấu trúc SFC bên trong  

Sơ đồ FSM với các trạng thái, chuyển đổi, reset và các điều kiện như vòng lặp tự thân hoặc các đường không thể truy cập được.​

Trình xem SFC hiển thị các đặc điểm liên quan (ví dụ: đồng hồ, reset…)  

Các biểu diễn đồ họa này giúp tăng tốc quá trình gỡ lỗi, hỗ trợ hiểu biết sâu về thiết kế và cho phép phân tích nguyên nhân gốc rễ các vấn đề vi kiến trúc nhanh hơn.

Để biết thêm thông tin, vui lòng truy cập Conquest MAI — Chữ ký toàn vẹn vi kiến trúc

Về Real Intent

Real Intent cung cấp phần mềm EDA xác minh tĩnh dựa trên ý định để thúc đẩy quá trình xác minh chức năng nâng cao của các thiết kế kỹ thuật số. Các khả năng sản phẩm xác minh tĩnh của họ bao gồm kiểm tra RTL, crossing clock domain, crossing reset domain, tính toàn vẹn vi kiến trúc, DFT, an ninh phần cứng và kết nối & glitch. Khách hàng của Real Intent gồm hơn năm mươi công ty bán dẫn và hệ thống lớn. Trụ sở chính của Real Intent đặt tại 932 Hamlin Court, Sunnyvale, CA. Để biết thêm thông tin, vui lòng truy cập www.realintent.com.

LIÊN HỆ: Liên hệ truyền thông Gloria Nichols LaunchM, Inc. gloria@launchm.com

Điều khoản và Chính sách quyền riêng tư

Bảng điều khiển quyền riêng tư

Thêm thông tin