2 / 24 · 개념
진리표로 선택 규칙 정하기
입력 조합을 빠짐없이 나열하고 기대 출력을 정합니다.
내용은 무료로 볼 수 있습니다. 수강 신청하면 학습 기록을 저장할 수 있어요.
학습 목표
- 세 입력의 가능한 조합을 모두 나열하기
- 선택하지 않은 입력을 바꿔도 출력이 유지되는지 확인하기
선택 규칙을 먼저 고정하기
1비트 입력 세 개에는 2 × 2 × 2 = 8가지 조합이 있습니다. a, b, sel 순서로 표를 만들고 sel=0이면 a, sel=1이면 b를 그대로 출력에 적습니다. 이 표가 코드와 비교할 기준입니다.
두 데이터 입력이 같으면 sel을 바꿔도 y는 같습니다. 따라서 a=b인 사례만으로 테스트하면 선택 방향이 뒤집힌 오류를 놓칠 수 있습니다.
| a | b | sel | 기대 y |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |
선택되지 않은 입력도 바꿔 보기
sel=0, a=1을 유지하고 b를 0에서 1로 바꿔 보세요. y는 계속 1이어야 합니다. sel=0일 때 출력이 b의 영향을 받는다면 의도한 MUX가 아닙니다.
이 표는 조합 출력 y의 규칙입니다. sampled_y를 확인하려면 클록 에지가 언제 오는지까지 추가해야 합니다. 값의 선택과 시간에 따른 저장을 한 표에 섞지 않는 것이 좋습니다.
직접 생각해 보기
sel을 반대로 연결한 오류를 찾으려면 a=0, b=0과 a=0, b=1 중 어느 경우가 유용할까요?
해설 보기
a=0, b=1이 유용합니다. sel=0이면 0, sel=1이면 1이어야 하므로 방향이 뒤집히면 바로 드러납니다.
✓ 학습 완료