15 / 36 · 개념

비교기와 경계 조건

같음·크기 비교를 조건과 테스트로 연결합니다.

학습 목표

a==b는 두 값이 같을 때 1이고 a<b는 a가 더 작을 때 1입니다. 예를 들어 카운터가 한계에 도달했는지 묻는다면 count==limit인지 count>=limit인지 사양에서 결정해야 합니다.

한계를 넘을 수 있는 입력을 허용하면서 같음만 검사하면 종료 조건을 놓칠 수 있습니다. 비교식만 보기보다 값이 증가하는 규칙과 가능한 입력 범위를 함께 확인하세요.

4비트 1111과 0001을 unsigned로 비교하면 15>1, signed로 비교하면 −1<1입니다. 같은 비트라도 선언에 따라 결과가 달라집니다.

0과 0, 최댓값끼리, 서로 인접한 값, 부호 경계 양쪽을 테스트하세요. 이 강의는 0/1 입력을 가정하며 X/Z 비교의 4상태 의미는 다루지 않습니다.

count가 2씩 증가하고 limit=3일 때 count==limit만으로 멈출 수 있나요?

해설 보기

0에서 시작하면 0,2,4로 지나쳐 놓칩니다. 사양이 한계 이상에서 정지라면 >=와 범위를 함께 검토해야 합니다.