diff --git a/calyx-backend/src/verilog.rs b/calyx-backend/src/verilog.rs index 1e2dec456..6c4bf157e 100644 --- a/calyx-backend/src/verilog.rs +++ b/calyx-backend/src/verilog.rs @@ -469,6 +469,7 @@ fn emit_fsm(fsm: &RRC, f: &mut F) -> io::Result<()> { // dump assignments to enable in this state emit_fsm_dependent_assignments(fsm, &state_reg, reg_bitwidth, f)?; + // emit fsm in case statement form writeln!(f, "always @(*) begin")?; writeln!(f, " case ({})", state_reg)?;