15 / 24 · 개념
리셋과 증가 오류 찾기
초기값·리셋·첫 에지를 순서대로 점검합니다.
내용은 무료로 볼 수 있습니다. 수강 신청하면 학습 기록을 저장할 수 있어요.
학습 목표
- 관측 전에 기대 상태 표 만들기
- 리셋·초기값·비트 순서 오류를 구분하기
첫 에지가 기준점이다
제공된 실습은 초기 상태를 11로 두고 첫 상승 에지에서 리셋합니다. 이후 리셋이 풀리면 00, 01, 10, 11, 00을 관측할 것으로 예상합니다. 시작부터 00이라고 가정하면 첫 에지를 잘못 셀 수 있습니다.
리셋은 이 예제의 실행 설정에서 첫 주기에 적용합니다. 입력 JSON에 rst를 중복으로 추가하기 전에 설정이 신호를 어떻게 구동하는지 확인하세요. 서로 다른 곳에서 같은 신호를 제어하지 않는 편이 명확합니다.
| 관측 증상 | 먼저 확인할 항목 |
|---|---|
| 00에서 바뀌지 않음 | 리셋이 계속 활성화되어 있는지 |
| 값이 한 단계 늦게 시작함 | 초기 상태와 첫 리셋 에지 |
| 01과 10이 뒤바뀐 듯 보임 | 설정 값과 화면의 비트 순서 |
| 11에서 멈춤 | RTL에 값을 유지하는 조건이 있는지 |
한 가지 조건만 바꿔 비교하기
초기값을 바꾸는 실험과 리셋 길이를 바꾸는 실험은 따로 하세요. 두 값을 동시에 바꾸면 차이가 어디서 생겼는지 찾기 어렵습니다. 소스, 설정, 기대값을 한 묶음으로 남기면 다시 비교할 수 있습니다.
실제 출력이 예상과 다르면 일단 첫 불일치까지만 추적합니다. 전체 파형을 한 번에 고치려 하기보다 그 에지의 count와 rst로 다음 값을 직접 계산하세요.
직접 생각해 보기
매 상승 에지 후 count가 00이라면 덧셈 식부터 고쳐야 할까요?
해설 보기
먼저 rst가 계속 1인지, 클록 에지가 실제로 진행하는지 확인합니다. 리셋이 유지되면 올바른 코드도 계속 00을 저장합니다.
✓ 학습 완료