Skip to main content
Trang này được hiển thị bằng tính năng dịch tự động. Xem bằng tiếng Anh?
Các tính năng chính

phân tích chữ ký CDC này

Questa Signoff CDC sử dụng các thuật toán phân tích cấu trúc tiên tiến, tự động được tối ưu hóa để phân tích cấp cổng, cũng như tận dụng tự động thông tin miễn trừ và đường dẫn CDC từ phân tích RTL Questa CDC để có kết quả chính xác, “tiếng ồn thấp”.

Các giải pháp thiết kế này

Tài nguyên CDC Signoff này

Questa Signoff CDC chạy phân tích chính thức sâu về các khẳng định được tạo tự động, tích hợp các thuật toán cấu trúc, chức năng và chính thức để xác minh cấu trúc CDC cấp cổng và tự động xác định các trục trặc có thể được đưa ra trong quá trình tổng hợp và triển khai.

Xác minh dựa trên tĩnh

Sự kiện sắp tới và theo yêu cầu

Xem tất cả các bản ghi video CDC, Lint và RDC có sẵn tại Học viện xác minh.

Sẵn sàng nói chuyện với ai đó hôm nay?

Chúng tôi sẵn sàng trả lời câu hỏi của bạn.

Gửi email cho chúng tôi

Liên hệ với đội ngũ bán hàng của chúng tôi: 1-800-547-3000 hoặc 1-503-685-8000

Tìm hiểu thêm

Học viện xác minh

Học viện Xác minh cung cấp các kỹ năng cần thiết để hoàn thiện khả năng quy trình xác minh chức năng của tổ chức, cung cấp cầu nối phương pháp luận giữa các đề xuất giá trị cấp cao và các chi tiết cấp thấp.

Blog xác minh Horizons

Thông tin chi tiết và cập nhật về các khái niệm, giá trị, tiêu chuẩn, phương pháp luận và ví dụ để hỗ trợ hiểu những gì các công nghệ xác minh chức năng tiên tiến có thể làm và cách áp dụng chúng hiệu quả nhất.

Chân trời xác minh

Ấn phẩm Verification Horizons cung cấp các khái niệm, giá trị, phương pháp luận và ví dụ để hỗ trợ hiểu những gì các công nghệ xác minh chức năng tiên tiến có thể làm và cách áp dụng chúng hiệu quả nhất.