Trạng thái kế tiếp và ưu tiên reset của bộ đếm

Định nghĩa chức năng bằng trạng thái kế tiếp trước

Thêm reset đồng bộ và enable cho bộ đếm tăng tự do $N$ bit được:

Reset^{iReset Điều khiển đưa trạng thái về giá trị đầu đã định. Phải quy định đồng bộ hay bất đồng bộ và ưu tiên so với các điều khiển khác.} ưu tiên cao nhất, enable=0 thì giữ. Trong hình minh họa bên dưới, bạn có thể thay đổi enable để so sánh hoạt động tăng và giữ nguyên.

Từ q ban đầu=11, chọn reset=1 thì chỉ trạng thái kế tiếp đổi thành 00. Nhấn clock tiếp theo để xem lúc giá trị lưu thật đổi. Nhả reset, đi qua 00→01→10→11→00; khi enable=0, kiểm tra chỉ số cạnh tăng nhưng q giữ.

Lập bảng dự đoán từng cạnh

Bộ đếm hai bit bắt đầu ở 3, reset=1 tại cạnh đầu rồi trở về 0, sẽ có giá trị sau cạnh 0, 1, 2, 3, 0. Dù reset được nâng giữa các clock, thanh ghi^{iThanh 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} đồng bộ không về 0 ngay trước cạnh lên^{iCạ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}.

Mỗi cột ghi lại quan sát tại một cạnh lên. Đầu vào là giá trị ngay trước cạnh, còn trạng thái có tên chứa after là giá trị ngay sau cập nhật. Cách căn cột thể hiện thứ tự lấy mẫu, không mô tả độ trễ lan truyền^{iĐộ trễ lan truyền Thời gian từ khi đầu vào đổi đến khi đầu ra ổn định ở giá trị đúng. Tương đương logic và đặc tính thời gian là hai vấn đề riêng. Tìm hiểu thêm} vật lý. Bắt đầu ở 3, reset ở cạnh đầu được ưu tiên hơn tăng. Cạnh cuối quay 3 về 0.

Không trộn ý nghĩa reset

if(rst) trong always_ff @(posedge clk) là reset đồng bộ, không giống reset bất đồng bộ thêm cạnh reset vào danh sách sự kiện. Nhả reset bất đồng bộ có điều kiện recovery/removal riêng; không đổi loại reset chỉ vì nó đưa trạng thái về 0 nhanh hơn.

Nếu bộ đếm tạo xung định kỳ, phải quy định trạng thái phát xung. Xuất 1 trong suốt trạng thái cực đại hay xuất một chu kỳ sau cạnh quay về 0 sẽ cho biểu thức và điểm quan sát khác nhau.