Có sự khác biệt về ngữ nghĩa giữa phạm vi mã được tạo ra từ một công cụ mô phỏng và phạm vi mã được tạo ra từ một công cụ chính thức. Bài báo này nhằm mục đích nâng cao nhận thức của các kỹ sư xác minh về cách tốt nhất để sử dụng dữ liệu phạm vi mã được tạo bởi các công cụ xác minh khác nhau. Bài báo đưa ra các lý do sử dụng vùng phủ mã và mô tả cách tạo vùng phủ mã mô phỏng và vùng phủ mã chính thức. Nó kết thúc bằng những so sánh giữa hai loại và các khuyến nghị về thời điểm sử dụng cái này hay cái kia hoặc cả hai.
Mục đích của phạm vi mã
Siemens EDA và nhóm sản phẩm Questa Formal cam kết hỗ trợ các giải pháp cho những thách thức mà các kỹ sư thiết kế và xác minh phải đối mặt. Một trong số đó là đóng bảo hiểm. Mức độ phù hợp của mã được tạo ra như một sản phẩm phụ bởi công cụ xác minh được sử dụng để xác minh một thiết kế.
Mục đích của phạm vi mã là chỉ ra các khu vực của thiết kế chưa được kiểm tra bởi công cụ xác minh. Nói cách khác, những phần không được che đậy của thiết kế.
Nếu một phần thiết kế của bạn chưa được kiểm tra, bạn sẽ không tìm thấy và sửa bất kỳ lỗi nào trong phần đó của thiết kế. Lỗi bị bỏ sót thường tương ứng bằng nhau và gây thêm đau đớn cho bạn và khách hàng của bạn. Khi nhóm xác minh thấy các phần của thiết kế không được che phủ, nhóm xác minh phải cải thiện bàn kiểm tra, dù là chính thức hay mô phỏng, để thu hẹp khoảng cách về phạm vi bao phủ. Khi thực hiện việc này, lý tưởng nhất là nhóm xác minh sẽ thêm các bài kiểm tra hoặc thuộc tính có ý nghĩa phù hợp và cải thiện trên testbench và kế hoạch kiểm tra của họ.
Bài báo này phác thảo một số điểm khác biệt giữa phạm vi bao phủ mã chính thức và mô phỏng với mục tiêu giáo dục người dùng về cách sử dụng tốt nhất công nghệ này và ít nhất, có thông tin để đưa ra quyết định sáng suốt về cách tốt nhất để sử dụng dữ liệu này. Nhóm xác minh có quyền đưa ra quy trình phù hợp nhất với môi trường và phương pháp luận hiện tại của họ.
Để đọc thêm, hãy nhấp vào Ở đây.
Các bài viết So sánh phạm vi bảo hiểm của mã chính thức và mô phỏng xuất hiện đầu tiên trên Kỹ thuật bán dẫn.
