Questa One Sim Xact là một phân tích chính thức và tự động hóa dòng chảy sáng tạo giúp hợp lý hóa việc đưa GLS, dẫn đến việc xác minh đăng ký tốt hơn và đầy đủ hơn.
Questa One Sim Xact cho phép mô phỏng cấp cổng nhanh hơn nhiều bằng cách tự động loại bỏ các X giả khó chịu, điều kiện đua không trì hoãn và lỗi mô hình thư viện, đồng thời cô lập các vấn đề kết nối khó chẩn đoán. Thêm vào đó, nó hỗ trợ các công cụ truy tìm nguyên nhân gốc X thực tiên tiến.
Mô phỏng logic được nâng cao chính thức tự động thực hiện phân tích bi quan X, phân tích sự lan truyền X trong các khoảng dữ liệu và logic đồng hồ được kiểm soát và sửa chữa một cách nhanh chóng.
GLS có độ trễ bằng không có thể chứng minh các điều kiện đua, đặc biệt là trong các thiết kế với các đường đồng hồ và độ trễ có cổng. Trình tạo “pseudo-SDF” giải quyết hiệu quả các vấn đề về điều kiện chủng tộc mà không cần sửa đổi thư viện ô.
Phân tích lan truyền lực/giải phóng xác nhận khi nào lực đã được tối ưu hóa đi và không còn đẩy lùi bất kỳ logic quạt nào nữa. Phân tích kết nối tìm các mô-đun có đầu vào không điều khiển đang tạo ra các nguồn X.
Questa One Sim Xact cung cấp một phương pháp nâng cao để đưa ra mô phỏng cấp cổng một cách nhanh chóng và dễ dàng. Công nghệ được cấp bằng sáng chế của nó có thể phân tích hiệu quả một mô phỏng bằng cách sử dụng phân tích tổ hợp để xác định xem các giá trị X ở đầu vào D của một flip-flop là sai do tính bi quan X hay thực. Nó tự động loại bỏ các X giả, cho phép mô phỏng cấp cổng tạo ra kết quả chính xác.
Siemens EDA cung cấp hỗ trợ khách hàng đẳng cấp thế giới cho Questa One Sim và tất cả các sản phẩm của chúng tôi.
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 giữa các đề xuất giá trị cấp cao và các chi tiết cấp thấp.
Để hỗ trợ hiểu biết về các công nghệ xác minh chức năng tiên tiến và cách áp dụng chúng một cách hiệu quả nhất, hãy truy cập blog của chúng tôi để biết 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ụ.
