인프런 커뮤니티 질문&답변

안녕하세요 맛비님

강의 잘 듣고 있는 도중에 always 블럭으로 combination logic을 기술하는 경우 제가 명확하게 알고 있는지 궁금합니다.

always로 코드를 작성 할 때, 그 안에 내부 변수는 reg로 사용하고, 이 reg변수는 register,latch(보통의 경우 의도하지 않은), combination logic을 만들 때 사용되는 것으로 알고 있습니다.

저는 always 블럭을 사용할 때, 의도하지 않은 latch가 발생하는 것을 완전히 피하고 싶습니다.

그래서 코드 작성 스타일을 이렇게 하면 좋을지 궁금합니다.

/*output combination 2*/

reg done;       //this is not a register, it is just combination logic circuit
reg running;    //this is not a register, Do not confuse
reg idle;       //this is not a register, you must not make latch



always@(*)begin
    done = 0;
    running = 0;
    idle = 0;
    case(c_state)
        S_IDLE : idle = 1;

        S_RUN : running = 1;

        S_DONE : done = 1
        
        default : begin
            done = 0;
            running = 0;
            idle = 0;
        end
    endcase
end

default에 그 외적인 정의되지 않은 동작에 대해 처리하도록 작성하거나

case문을 시작하기 전에 각각 초기값을 작성해두면 되는 것으로 알고 있습니다.

하지만 이놈의...chatGPT는 초기값도 작성하고 default문을 둘 다 작성 안하면 latch가 발생할 가능성이 있다고 해서... 이 점이 궁금합니다.

사실 위의 코드처럼 작성하면 정말로 latch가 생길 여지가 없어 보입니다만...

아시다시피 번거로움이라는 이슈로...

아 그리고 질문이 하나 더 있습니다.

fsm_counter부분에서 state로 동작을 제어한다는 개념을 반복해서 공부하고 있습니다.

assign o_done = done;
assign o_running = running;
assign o_idle = idle;




reg [31:0]  r_cnt_num;   //this is register to capture input value

always @(posedge clk or negedge reset_n) begin
    if(!reset_n)begin
        r_cnt_num <= 0;
    end

    else if(i_run) begin
        r_cnt_num <= i_cnt_num;
    end

    else if(o_running) begin
        r_cnt_num <= r_cnt_num;
    end

    else if(o_done) begin
        r_cnt_num <= 0;
    end
end


reg [31:0]  r_cnt_core;

assign is_done = o_running&&(r_cnt_core == r_cnt_num -1);

/*counter core part*/
always@(posedge clk or negedge reset_n) begin
    if(!reset_n)begin
        r_cnt_core <=0;
    end

    else if(o_idle)begin
        r_cnt_core<=0;
    end

    else if(o_running)begin
        r_cnt_core <= r_cnt_core + 1;
    end

    else if(is_done)begin
        r_cnt_core <=0;
    end


end

이 부분은 위에 질문 코드 바로 뒤에 이어지는 코드입니다.

바로 위의 블럭에서 첫번째 capture register를 기술하는 부분에서

run state일 때도 register가 어떻게 동작해야하는지 꼭 기술해야할까요?

이 부분은 맛비님 코드에서 작성되어있지는 않던데, 제가 생각하기에는...

run state일 때 register의 동작이 어떻게 될지 예상이 안가서 직접 작성해주는게 좋아보이는데..

어떻게 생각하시나요?

두번째 always블럭 또한 같은 맥락으로 idle상태일 때 core 내부에 있는 register의 동작도 기술해주는 것이 필수적일까요?

위의 코드는 수업에 다루신 코드를 제가 schematic을 보고 다시 작성한 코드입니다.

저의 질문은 여기까지입니다.

감사합니다.