xiiregexbuilder

commit bde1d28d910545d40a9e617f7d6ef81148310252
parent 887ac8bc533aee3cda032754c0f8222599f2ef6a
Author: Achuthan TM <achuthantm05@gmail.com>
Date:   Sat,  4 Apr 2026 13:07:49 +0530

Week 3: Generate first batch of NFA Verilog modules (Part 3: Finalizing)

Diffstat:
A
output-eg/nfa_2.v
 | 
45
+++++++++++++++++++++++++++++++++++++++++++++

1 file changed, 45 insertions(+), 0 deletions(-)
diff --git a/output-eg/nfa_2.v b/output-eg/nfa_2.v
@@ -0,0 +1,45 @@
+`timescale 1ns / 1ps
+
+// NFA for regex index 2
+module nfa_2 (
+    input  wire       clk,
+    input  wire       en,
+    input  wire       rst,
+    input  wire       start,
+    input  wire       end_of_str,
+    input  wire [7:0] char_in,
+    output reg        match
+);
+
+    // One-hot state register
+    reg [3:0] state_reg;
+    wire [3:0] next_state;
+
+    assign next_state[0] = 1'b0;
+    assign next_state[1] = (state_reg[0] && (char_in == 8'd97)) | (state_reg[1] && (char_in == 8'd97)) | (state_reg[2] && (char_in == 8'd97));
+    assign next_state[2] = (state_reg[0] && (char_in == 8'd98)) | (state_reg[1] && (char_in == 8'd98)) | (state_reg[2] && (char_in == 8'd98));
+    assign next_state[3] = (state_reg[1] && (char_in == 8'd99)) | (state_reg[2] && (char_in == 8'd99));
+
+    always @(posedge clk) begin
+        if (rst || start) begin
+            // Reset to start state (one-hot)
+            state_reg <= 1 << 0;
+        end else if (en) begin
+            state_reg <= next_state;
+        end
+    end
+
+    // Match logic: asserted on cycle following end_of_str
+    always @(posedge clk) begin
+        if (rst || start) begin
+            match <= 1'b0;
+        end else if (en) begin
+            if (end_of_str) begin
+                match <= (|{state_reg[1], state_reg[2], state_reg[3]});
+            end else begin
+                match <= 1'b0;
+            end
+        end
+    end
+
+endmodule