35 / 36 · 개념

검증 계획과 실패 추적

정상·경계·리셋 사례로 기대 결과를 만듭니다.

학습 목표

MUX는 모든 선택값과 서로 다른 데이터를, 카운터는 리셋과 최댓값 다음을, 시프트 레지스터는 단일 1비트가 이동하는 과정을 확인합니다. 각 테스트가 어떤 오류를 드러내는지 적어 보세요.

기대 결과를 구현 코드 그대로 복사해서 계산하면 같은 오류를 공유할 수 있습니다. 작은 회로는 진리표나 손으로 계산한 상태표를 독립적인 기준으로 사용하세요.

파형 전체를 훑기보다 처음 다른 에지를 찾습니다. 바로 전 상태, 해당 에지의 입력, 리셋 우선순위, 결과 폭을 순서대로 비교하세요. 입력이 에지와 같은 시각에 바뀌었다면 시뮬레이터의 샘플링 규칙도 확인합니다.

테스트를 통과한 범위와 아직 검사하지 않은 범위를 남기세요. 유한한 몇 개의 벡터를 통과한 것이 모든 가능한 동작의 증명은 아닙니다.

시프트 레지스터의 방향 오류를 잘 드러내는 입력을 고르세요.

해설 보기

리셋 뒤 1,0,0,0을 넣고 001→010→100→000인지 확인합니다. 모두 1인 입력보다 이동 방향이 분명합니다.