Module B8: SVA
Cần học trước: Module B4: Interface & TB timing, A7.scheduling. 12 bài, 10 bài đã có nội dung.
- Assertion: kiểm gì, kiểm lúc nào và thế nào mới là bằng chứng?Đang tải tiến độ
- SVA sampling: property thấy mẫu trước cạnh, log có thể thấy giá trị mớiĐang tải tiến độ
- SVA sequence: đếm tick, cửa sổ match và repetition trước khi viết propertyĐang tải tiến độ
- Implication |-> và |=>: mỗi tick một attemptĐang tải tiến độ
- SVA operators: cùng start, cùng endpoint hay giữ điều kiện suốt sequence?Đang tải tiến độ
- Hàm sampled: bit nào đổi, lịch sử ở clock nào và log đang thấy gì?Đang tải tiến độ
- Local variables trong SVA: giữ dữ liệu riêng cho các attempt chồng lấnĐang tải tiến độ
- Disable iff: hủy nghĩa vụ đang chờ và phân biệt với gatingĐang tải tiến độ
- Sequence có tham số: tái sử dụng mẫu thời gian, hiểu endpoint và đệ quyĐang tải tiến độ
- Multiclock SVA: quan hệ giữa các clockĐang tải tiến độ
- Bind checker: đúng target, đúng tham số và đúng tín hiệuĐang tải tiến độ
- assume/cover/expectĐang tải tiến độ
Học xong module này sẽ mở: Module C10: Checking & coverage trong UVM, Module D1: APB (bài mẫu đầy đủ).