Questa

Chức năng bao phủ quyết định xem bạn có dám băng keo ra không

Questa là một nền tảng xác minh Chức năng kỹ thuật số cung cấp mô phỏng, xác minh chính thức, phân tích vùng phủ sóng và gỡ lỗi-Công cụ hàng ngày của các kỹ sư xác minh chip.

Yêu cầu báo giá Quay lại danh mục

Tổng quan

Sai Lầm đắt nhất trong thiết kế chip là một lỗi chức năng được tìm thấy sau khi băng keo. Câu trả lời xác minh chức năng một câu hỏi đơn giản: thiết kế này có hoạt động chính xác trong mọi trường hợp có thể không? Mô phỏng bao gồm một tập hợp hữu hạn các kịch bản, xác minh chính thức có thể chứng minh một số thuộc tính toán học, và phân tích bao phủ cho bạn biết những gì chưa được thực hiện.

Questa đưa cả ba vào một nền tảng, hỗ trợ systemverilog, uvm và các phương pháp chính thống khác. Đối với các đội làm việc tại uvm, khả năng gỡ lỗi và đóng bảo hiểm là điều quyết định năng suất hàng ngày.

Định vị

Nền tảng xác minh chức năng kỹ thuật số

Phương pháp

Mô phỏng/trang trọng/bao phủ

Tiêu chuẩn ngôn ngữ

Systemverilog, uvm, systemc

Triển khai

Tại chỗ/đám mây

Sử dụng thông thường

Xác minh chức năng chip, xác minh IP

Khả năng chính

Mô phỏng hiệu suất cao

Động cơ mô phỏng nhanh cho systemverilog và uvm.

Xác minh hình thức

Toán học chứng minh các tính chất chính, đạt đến góc mô phỏng bỏ lỡ.

Phân Tích độ che phủ

Mã, chức năng và bảo hiểm khẳng định với phân tích đóng.

Môi trường gỡ lỗi

Dạng sóng, gỡ lỗi mức giao dịch và chẩn đoán xác nhận.

Quản lý xác minh

Quản lý hồi quy và theo dõi kết quả.

Tích hợp bên thứ ba

Sử dụng được với các mô phỏng chính và IP xác minh.

Những gì nó mang lại

Phạm vi bảo hiểm định lượng có nghĩa là bạn biết trước khi băng ra xem có đủ xác minh không
Xác minh chính thức đạt đến các điểm mù mô phỏng với các đặc tính khả thi
Nâng cao Thông lượng xác minh trình gỡ lỗi và hồi quy Trưởng Thành
Hỗ trợ uvm cho phép phương pháp Đội ngũ tiến lên phía trước
Tương thích với hệ sinh thái IP xác minh, sử dụng lại tài sản hiện có