Veloce Coverage and Assertion App

Ứng dụng Veloce Coverage and Assertion cho phép phạm vi mã phân tích việc thực thi mã và phạm vi chức năng và theo dõi việc thực thi đặc tả do người dùng xác định. Bằng cách đạt được mức cao trong các số liệu này, mức độ kiểm tra kỹ lưỡng có thể được đảm bảo.

Đối với các máy kiểm tra không có màn hình hoặc bộ kiểm tra tích hợp, xác nhận có thể được sử dụng với ứng dụng Coverage and Assertion theo dõi số lần chúng kích hoạt. Ngoài ra, các trình kích hoạt dựa trên khẳng định có thể được sử dụng để kích hoạt các hành vi khi được kích hoạt, chẳng hạn như tạo dạng sóng hoặc thực thi thử nghiệm.

Ứng dụng Coverage and Assertion cung cấp khả năng không chỉ kích hoạt và hủy kích hoạt phạm vi bảo hiểm mà còn hợp nhất phạm vi bảo hiểm. Điều này cung cấp khả năng kết hợp bất kỳ thứ gì được thu thập trước đó lại với nhau để có cái nhìn toàn diện hơn về xác minh. Bảo hiểm thu thập được từ cả Questa và Veloce cũng có thể được hợp nhất với nhau.

Ứng dụng Coverage and Assertion có thể được kết hợp với các công cụ EDA khác của Siemens để đảm bảo kiểm tra đầy đủ các khía cạnh thiết kế cụ thể. Ví dụ: ứng dụng có thể được kết hợp với ứng dụng Veloce Power để tạo khối lượng công việc được nhắm mục tiêu để kiểm tra năng lượng hệ thống và hệ thống con.