System Verilog for Verification

Trong quá trình Design Verification, khái niệm quan trọng nhất giúp đánh giá chất lượng kiểm thử là Structural Coverage và Functional Coverage. Mặc dù đều đo “coverage” nhưng lại mang bản chất và vai trò của chúng hoàn toàn khác nhau trong quá trình kiểm thử

1. Structural Coverage (Code Coverage)

Structural metrics là các chỉ số các tool tự động thu thập, nhằm kiểm tra xem RTL code của chúng ta đã được kích hoạt đầy đủ qua việc thực thi các block, dòng lệnh, statement, gán giá trị vào các biến đã xuất hiện và chạy chưa
=> Đặc điểm của code coverage: dược tool tự tạo monitor, người dùng không cần viết thủ công và dễ thiết lập

2. Functional Coverage

Functional metrics được định nghĩa bởi người dùng, phản ánh xem DUT đã được kiểm tra theo đúng các scenario quan trọng để test các chuỗi giá trị được gửi vào biến và di chuyển qua các trạng thái của transactions

=> Đặc điểm của functional coverage: Phản ánh trực tiếp mức độ test theo yêu cầu spec và phân tích gắn chặt với testplan

==========================================

Giả sử thiết kế hỗ trợ 3 phép toán: add, sub, divide.

1. Structural Coverage:
Chỉ cần chạy mỗi phép toán ít nhất một lần → đạt 100%.

2. Functional Coverage:
Không chỉ cover từng operation add, sub, divide, mà còn cover chuỗi các thao tác, ví dụ: add → sub → divide, add → divide → sub, ...
→ Nếu còn sequence chưa xảy ra → coverage chưa đạt.

=> Structural Coverage cho biết code đã chạy chưa, Functional Coverage cho biết chức năng đã được test đủ chưa — cần dùng cả hai để Verification hiệu quả.

—----------------------------------------
LIÊN HỆ VÀ ĐĂNG KÝ:
Trung Tâm Đào Tạo Vi Mạch SEMICON
📞Điện thoại: 0868 425 247 (Mr. Dương)
💻Website: semiconvn.com
📍Địa chỉ: Lầu 10, 205A Nguyễn Xí (tòa nhà Thủy Lợi 4), Bình Thạnh, TP.HCM
👉 Hãy ghé thăm SEMICON để được tư vấn trực tiếp!

👉Semicon tiếp tục mở khóa thiết kế vi mạch sơ cấp để đào tạo về những kiến thức và kỹ năng cần thiết cho kỹ sư vi mạch
Đăng ký KHÓA HỌC THIẾT KẾ VI MẠCH SƠ CẤP để trang bị những kỹ năng vi mạch cần thiết cùng kỹ sư dày dặn kinh nghiệm nhà Semicon nào: https://semiconvn.com/home/component/content/article/123-khoa-hoc-thiet-ke-vi-mach-hoi-thao-semicon/46-newicdesigncourseopenning.html
📅 Thời khóa biểu dự kiến:
- Lớp Sơ Cấp: Tối thứ 2,4,6 hàng tuần khai giảng vào ngày 15/6/2025
- Địa điểm: Lầu 10, Tòa nhà Thủy Lợi 4, 205A Nguyễn Xí, Bình Thạnh, TP.HCM
👥 Đối tượng tuyển sinh:
- Sinh viên ngành Công Nghệ Thông Tin, Điện tử, Cơ điện tử.
- Những ai muốn định hướng đề tài tốt nghiệp về vi mạch hoặc tìm kiếm cơ hội việc làm trong ngành.
📞 Đăng ký ngay để giữ chỗ! liên hệ 0868 425 247 (Mr. Dương)

Ngày mai 2/03 Semicon sẽ khai giảng lớp Thực Tập Thiết Kế Chip Số - Đăng ký và thực tập ngay hôm nay. Cơ hội học nhanh nhất!
ZALO: 0932525645.

THÁNG 02/2025 SEMICON: KHÓA HỌC ĐẶC BIỆT

Hãy cùng khám phá lịch trình khai giảng khóa học thiết kế vi mạch sơ cấp trong tháng 02:

Lịch Khai Giảng:
Lớp Sơ Cấp Tối T2,4,6: 19:00 - 21:00, khai giảng hàng ngày lúc 19:00
Lớp Sơ Cấp Tối T3, 5, 7: 19:00 - 21:00, khai giảng hàng ngày lúc 19:00

Địa Điểm:
Lầu 10, tòa nhà Thủy Lợi 4, 205A Nguyễn Xí, F.13, Q.Bình Thạnh, Tp.Hồ Chí Minh

Đối Tượng Tham Gia:
Sinh viên năm 2, 3, 4 hoặc sắp tốt nghiệp ngành Công Nghệ Thông Tin, Điện Tử, Cơ Điện Tử
Những ai muốn định hướng đề tài tốt nghiệp theo Thiết Kế Vi Mạch
Những ai mong muốn có cơ hội làm việc tại các công ty CHIP ở Việt Nam
Những ai muốn trang bị kiến thức vững vàng về làm CHIP cho tương lai

https://semiconvn.com/home/component/content/article/123-khoa-hoc-thiet-ke-vi-mach-hoi-thao-semicon/46-newicdesigncourseopenning.html