fsm_counter_test.v의 line 59에서, n_state = S_IDLE; 를 n_state <= S_IDLE;로 쓰면 안 되는 이유

작성일 22.08.23 10:38 조회수 222

다른 수강생분들이 코드 짜는 연습을 하실 때, 실수하실 수 있는 부분인 것 같아 학습 내용을 공유합니다!

핵심

fsm_counter_test.v의 line 59에서, n_state = S_IDLE; 의 할당을 non-blocking 할당(<=)으로 하면 c_state가 영원히 IDLE에 머물게 되어 시뮬레이션이 끝나지 않습니다.

non-blocking 할당문(<=) 사용 시: begin-end block 내의 모든 문장이 동시에 실행됨(정확히는 event list에 같은 시점에 올라감). 따라서 case문과 n_state <= S_IDLE;이 동시에 이루어지며, 이 때문에 c_state는 영원히 IDLE에 머무른다.
blocking 할당문(=) 사용 시: begin-end block 내의 문장들이 위에서 아래로 순차적으로 실행되기 때문에, n_state = S_IDLE;은 latch 방지라는 본연의 역할을 잘 수행함.

설계독학맛비's 실전 Verilog HDL Season 1 (Clock부터 Internal Memory까지)

[HDL 17장] HW 의 동작을 제어하는 FSM 을 이해해보자. (실습응용편)

강의실 바로가기

설계독학맛비

2022.08.23

내용공유 감사합니다 :)

Combinational Logic 은 blocking (=) 문

Sequential Logic 은 Non-blocking(<=) 문

을 사용한다는 Rule 을 잘 지키시면, 오류를 줄일 수 있을 것 같아요.

훌륭합니다 :)