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, Questa Inspect giúp loại bỏ một loạt các vấn đề mà không cần thử nghiệm.

Các Questa Check Connect ứng dụng là một giải pháp hoàn toàn tự động để xác minh đầy đủ 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 phạm vi 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 Questa Formal VIP AMBA & OnChip 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 Verify Property 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ý.

Các Questa Check Register ứng dụng tự động xác minh toàn diện hành vi kiểm soát và đăng ký trạng thái dựa trên đặc điểm kỹ thuật đăng ký CSV hoặc IP-XACT.

Các Questa Verify Secure ứng dụng 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 Equivalent RTL tự động so sánh đặc điểm kỹ thuật RTL 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ữ đặc tả chính thức hoặc đặc điểm kỹ thuật thuộc tính.

Questa Check X là một ứng dụng 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.

Siemens Questa Equivalent FPGA giải pháp đả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.

Questa GapFree 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ó.

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 Verify Trust 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.

Các Questa FPU ứng dụng 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.

Các Questa Analyze Fault ứng dụng là một giải pháp dựa trên công nghệ chính thức của Questa, phân tích các 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.

Analyze Architecture là một giải pháp đột phá cung cấp cho người dùng khả năng xác minh các hệ thống phần cứng lớn xem chúng có phù hợp với kiến trúc được chỉ định hay khô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.