FSM Mealy phát hiện 1101: ngõ ra cùng nhịp và trạng thái khi gặp 111

Bài seq1011 là FSM Moore: ngõ ra chỉ phụ thuộc trạng thái nên lên sau cạnh clock lấy mẫu bit cuối. Bài này là bản Mealy: ngõ ra phụ thuộc cả trạng thái và đầu vào hiện tại, nên báo khớp sớm hơn một nhịp, ngay khi bit cuối đang có mặt ở din.

module seq1101 (
  input  logic clk,
  input  logic rst_n,   // reset bất đồng bộ, tích cực mức thấp
  input  logic din,
  output logic hit
);

• Mỗi cạnh lên clk lấy mẫu một bit din.
• hit = 1 khi 3 bit đã lấy mẫu gần nhất (cũ → mới) là 1, 1, 0 và din hiện tại bằng 1. Nói cách khác: nếu cạnh lên kế tiếp lấy mẫu din, thì 4 bit cuối sẽ là 1101.
• Cho phép chồng lấn: chuỗi 1101101 khớp hai lần.
• rst_n = 0 xoá lịch sử ngay lập tức.

Testbench đổi din ở cạnh xuống và kiểm hit 1 ns sau đó, trong cùng nhịp.