Catapult Coverage

Catapult Coverage cung cấp phạm vi mã nhận biết HLS, không giống như các công cụ bao phủ lấy phần mềm làm trung tâm, nhận ra cách các cấu trúc thiết kế và chỉ thị HLS tác động đến phần cứng hậu HLS và do đó xem xét những điều này khi thu thập và báo cáo phạm vi mã trên nguồn thiết kế HLS. Ví dụ bao gồm các chỉ thị hàm inlining và loop unrolling. Catapult Coverage cũng hỗ trợ các loại vùng phủ sóng cần thiết trên nguồn thiết kế HLS như phạm vi phủ sóng Condition và Focused Expression (FEC) cộng với vùng phủ sóng truy cập mảng.

Catapult Coverage cung cấp vùng phủ sóng chức năng lấy cảm hứng từ SV với sự hỗ trợ cho Covergroups, Coverpoints, Bins và Crosses trong các băng thử nghiệm C ++ /SystemC. Phương thức sample () cũng được hỗ trợ để chỉ định khi nào một nhóm covergroup nên được lấy mẫu. Như với RTL truyền thống, phạm vi bảo hiểm chức năng này có thể được liên kết với các yêu cầu của kế hoạch thử nghiệm.

Catapult Coverage ghi dữ liệu bảo hiểm vào Questa UCDB (Unified Coverage Database) để có một bộ đầy đủ các công cụ Quản lý Xác minh sau xử lý. UCDB cho phép quản lý xác minh dựa trên dữ liệu với hỗ trợ phân tích và báo cáo kết quả bảo hiểm, hợp nhất và xếp hạng các bài kiểm tra, áp dụng các loại trừ và tích hợp các kế hoạch thử nghiệm.

Tích hợp với Questa Visualizer cung cấp phân tích dữ liệu vùng phủ sóng dựa trên GUI. Điều này bao gồm phân tích kết quả phủ sóng được chú thích trên nguồn thiết kế và hệ thống phân cấp HLS, cửa sổ nhóm bao phủ để xem xét phạm vi chức năng, khả năng dễ dàng thực hiện xếp hạng mong muốn và đặc điểm kỹ thuật nhấp chuột bằng nút chuột dễ dàng về các loại trừ phạm vi phủ sóng mong muốn.