わたしがNSLに慣れるわけないじゃん、ムリムリ！（※ムリじゃなかった!?）

always @*
begin
   if (state == IDLE)
   else
      if (!state_cnt)
        case (state)

          // INIT処理（省略）
          INIT_NOP1:
            ...

          // REFRESH処理（省略）
          REF_PRE:
            ...

          // WRITE
          WRIT_ACT:
            begin
            next = WRIT_NOP1;
            state_cnt_nxt = 4'd1;
            end
          WRIT_NOP1:
            begin
            next = WRIT_CAS;
            command_nxt = CMD_WRIT;
            end
          WRIT_CAS:
            begin
            next = WRIT_NOP2;
            state_cnt_nxt = 4'd1;
            end

          // READ
          READ_ACT:
            begin
            next = READ_NOP1;
            state_cnt_nxt = 4'd1;
            end
          READ_NOP1:
            begin
            next = READ_CAS;
            command_nxt = CMD_READ;
            end
          READ_CAS:
            begin
            next = READ_NOP2;
            state_cnt_nxt = 4'd1;
            end
          READ_NOP2:
            begin
            next = READ_READ;
            end

          default:
            begin
            next = IDLE;
            end
        endcase
      else
        begin
        next = state;
        end
end

	func write write_proc(adrs, din);

	proc write_proc seq{
		label_name ACT;
		ACT: if(~refresh){
			com_ACT();
			BA_reg := adrs_reg[21:20];
			A_reg := adrs_reg[19:8];
			DEn_reg := 0b0;
		} else goto ACT;
		{
			com_WRITE();
			A_reg := {0b0100, adrs_reg[7:0]}; // Auto Precharge
		}
		{
			com_NOP();
			DEn_reg := 0b1;
			finish;
		}
	}

	func read read_proc(adrs);

	proc read_proc seq{
		label_name ACT;
		ACT: if(~refresh){
			com_ACT();
			BA_reg := adrs_reg[21:20];
			A_reg := adrs_reg[19:8];
		} else goto ACT;
		{
			com_READ();
			A_reg := {0b0100, adrs_reg[7:0]}; // Auto Precharge
		}
		com_NOP();
		com_NOP();
		{
			dout_reg := Dout;
			finish;
		}
	}