Xác minh miễn phí kích thích

Một ứng dụng săn vấn đề chính thức hoàn toàn tự động tìm thấy các vấn đề ẩn sâu do các lỗi mã hóa RTL phổ biến, Formal Inspection giúp bạn có thể loại bỏ một loạt các vấn đề mà không cần thử nghiệm.

Phân tích kết nối trong Questa One SFV là một giải pháp hoàn toàn tự động để xác minh toàn diện kết nối tĩnh và động mà không yêu cầu kiến thức về các ngôn ngữ đặc tả chính thức hoặc thuộc tính.

Questa Increase Coverage là một giải pháp chính thức tự động để đạt được việc đóng vùng phủ sóng mã nhanh hơn, giải quyết một thực tế xác minh không thể chối cãi: một phần mã không được phát hiện luôn tồn tại.

Thư viện VIP AMBA & OnChip chính thức cải thiện chất lượng và giảm lịch trình bằng cách xây dựng chuyên môn về giao thức và phương pháp luận thành các gói xác nhận có thể tái sử dụng hỗ trợ các giao diện tiêu chuẩn công nghiệp phổ biến.

Questa One SFV Property Verification phát hiện đầy đủ bất kỳ lỗi thiết kế nào có thể xảy ra mà không cần kích thích cụ thể để phát hiện vấn đề. Điều này đảm bảo rằng thiết kế đã được xác minh không có vấn đề trong tất cả các tình huống đầu vào pháp lý.

Phân tích Đăng ký Questa One SFV tự động hóa việc xác minh toàn diện hành vi đăng ký trạng thái và kiểm soát dựa trên đặc tả đăng ký CSV hoặc IP-XACT.

Phân tích bảo mật trong Questa One SFV là một giải pháp hoàn toàn tự động để xác minh triệt để rằng chỉ các đường dẫn bạn chỉ định mới có thể tiếp cận các yếu tố bảo mật hoặc lưu trữ quan trọng về an toàn.

Questa One SFV RTL Tương đương tự động so sánh RTL đặc tả và các khối mã RTL triển khai bằng cách sử dụng phân tích chính thức toàn diện. Không yêu cầu kiến thức về ngôn ngữ chính thức hoặc đặc điểm kỹ thuật thuộc tính.

Phân tích độ nhạy X trong Questa One SFV là một giải pháp tự động giúp loại bỏ triệt để các vấn đề 'X' ở cấp độ RTL mà không cần thử nghiệm.

Giải pháp FPGA Equivalent Questa của Siemens đảm bảo rằng các luồng triển khai FPGA, chẳng hạn như tổng hợp và tối ưu hóa vị trí và tuyến đường, không gây ra lỗi chức năng.

Xác minh Gap Free tối ưu hóa chất lượng của các thiết kế kỹ thuật số bằng cách chứng minh tất cả các chức năng cho tất cả các đầu vào dẫn đến tỷ lệ thoát vấn đề thấp chưa từng có.

Xác minh thiết kế cấp cao với việc mở rộng Questa HL-SYC giúp loại bỏ các vấn đề trước khi tổng hợp bằng cách bắt đầu xác minh sớm hơn trong quy trình.

Questa One SFV Trust Analysis sử dụng phân tích tự động để phát hiện và báo cáo các mối quan tâm về lỗ hổng liên quan đến bảo mật.

Đảm bảo sự tuân thủ của các thiết kế RISC-V với ISA và các điều kiện tiên quyết chức năng, đẩy nhanh quá trình xác minh bằng cách loại bỏ nhu cầu tạo thử nghiệm.

Phân tích Questa One SFV FPU giảm thiểu đáng kể khối lượng công việc xác minh, đảm bảo sự liên kết chính xác của việc triển khai dấu phẩy động với kết quả mong muốn.

Phân tích bảo vệ lỗi là một giải pháp dựa trên công nghệ chính thức, phân tích lỗi bằng cách tiêm chúng và chính thức kiểm tra kết quả của chúng về bảo mật và an toàn phần cứng.

Ứng dụng Questa Post Silicon Debug tận dụng phân tích chính thức và tổng hợp thuộc tính để nhanh chóng căn nguyên các vấn đề trong logic sâu trong SoC và chứng minh các bản sửa lỗi sẽ không phá vỡ bất cứ điều gì khác.