13 / 37 · Kiểm tra
Kiểm tra thiết kế: tương đương mạch chọn và thời điểm quan sát
Phân biệt kiểm chứng chỉ cần chân trị với kiểm chứng phải quan sát clock.
Bài học miễn phí. Đăng ký để lưu tiến độ học tập.
Đọc điều kiện và vẽ thứ tự thời gian
Đầu ra tổ hợp là ; sampled_y lưu y tại cạnh lênCạnh lên Khoảnh khắc clock chuyển 0 sang 1, khác với mức cao chỉ cả khoảng CLK=1. Tìm hiểu thêm. Giả sử đã lưu một lần khi , rồi đổi s thành 1 giữa các cạnh.
Câu hỏi xét sau khi đầu vào ổn định và trễ tổ hợp đã qua, nhưng trước cạnh lên kế tiếp. Tương đương biểu thức chức năng và thời điểm quan sát thanh ghiThanh ghi Mạch lưu trạng thái nhiều bit. Thanh ghi đồng bộ trong khóa học lưu đầu vào đã quy định tại cạnh clock. Tìm hiểu thêm là hai mục kiểm chứng riêng.
Dưới đây là thứ tự quan sát theo đề, a=1, b=0. Trong khoảng hai đầu ra khác nhau, giải thích tín hiệu nào biểu diễn đầu vào hiện tại, tín hiệu nào biểu diễn giá trị đã bắt trước đó.
Xem dữ liệu dạng sóng
| Tín hiệu | Dạng sóng | Giá trị bus |
|---|---|---|
| event | 234 | captured → sel changes → next edge |
| sel | 01. | |
| y | 10. | |
| sampled_y | 1.0 |
Câu hỏi thiết kế bổ sung
- Chứng minh bằng tám tổ hợp rằng
y=(a & ~s) | (b & s)tương đương MUXBộ 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 một bit. - Nếu bỏ
sampled_y, biểu thức chức năng giữ nguyên nhưng đặc tính thời gian nào mất? - Giải thích vì sao s đổi quá gần cạnh lên thì giá trị RTL lý tưởng không đủ bảo đảm hành vi phần cứng thực.
Tự thử
MUX bốn bit chỉ thử vector a=b có phát hiện đảo lựa chọn không?
Đọc giải thích
Không. Khi hai đầu vào bằng nhau, chọn bên nào cũng giống. Ví dụ a=0101, b=1010, kiểm tra cả s=0 và s=1 để phân biệt cực tính chọn và truyền từng bit.
Trong điều kiện trên, (y, sampled_y) ngay trước cạnh lên kế tiếp là gì?
s=1 thì y=b=0. Cạnh trước s=0 nên sampled_y đã lưu a=1. Đến cạnh lên sau sampled_y mới về 0, với giả thiết đầu vào thỏa setup và hold.