Kiểm chứng MUX: kiểm tra toàn bộ và thuộc tính

Điều gì được coi là đúng

Dữ liệu một bit a, b và sel có tám tổ hợp; kiểm tra tất cả là hiệu quả ở quy mô này. MUX^{iBộ chọn kênh Mạch tổ hợp nối một trong nhiều đầu vào tới đầu ra theo tín hiệu chọn. Phải quy định quan hệ giữa bit chọn và số đầu vào. Tìm hiểu thêm} rộng W có $2^{2W+1}$ tổ hợp kể cả sel, nên tăng độ rộng một chút đã cần chiến lược khác.

Với đầu ra rộng W, quy tắc chọn từng bit là:

Chọn kích thích theo loại lỗi

Nhiều bài kiểm tra không tự làm kiểm chứng tốt. Phải giải thích được định phát hiện lỗi nào.

So sánh này chỉ chọn a khác b. Mỗi cột là một vector kiểm tra; biểu thức chọn sai cho giá trị ngược expected ở cả bốn cột.

Mô hình tham chiếu độc lập với cài đặt

Chép nguyên DUT có thể cài cùng lỗi hai lần. Dùng bảng chân trị^{iBảng chân trị Bảng liệt kê đủ mọi tổ hợp đầu vào và đầu ra tương ứng. Sự thay đổi theo thời gian được kiểm tra riêng bằng dạng sóng. Tìm hiểu thêm} đặc tả hoặc chọn theo chỉ số tạo kỳ vọng; theo dõi riêng trạng thái bắt trước của q. Khi mismatch, rút về chuỗi đầu vào ngắn nhất còn gây lỗi và giải thích nguyên nhân.

Thay vì chỉ so trạng thái cuối, ghi thực tế, kỳ vọng và đầu vào ở mọi điểm quan sát. Đây là căn cứ phân biệt “đã chạy mô phỏng” với “đã thỏa đặc tả”.