유한상태기의 상태할당은 이로부터 구현되는 순차회로의 속도, 면적, 테스트가능도에 큰 영향을 미친다. 본 논문에서는 상태변수 그룹들 사이에 상호 의존성(dependency)을 최소화하여 스캔선택이 필요한 플립플롭 수를 최소화하기 위한 m-블록 분할을 이용한 새로운 상태할당 기술을 소개한다. 제안되는 방법을 통하여 우선 상태할당을 수행하고 논리 합성을 거친 후에 부분 스캔 설계가 이루어진다. 벤치마크 회로에 대한 실험 결과 면적과 속도 면에서 최적을 유지한 채로 테스트가능도가 현저히 개선되었음을 확인하였다.
The state assignment for a finite state machine greatly affects the delay, area, and testabilities of the sequential circuits. In order to minimize the dependencies among groups of state variables, therefore possibly to reduce the length and number of feedback cycles, a new state assignment technique based on m-block partition is introduced in this paper. After the completion of proposed state assignment and logic synthesis, partial scan design is performed to choose minimal number of scan flip-flops. Experiment shows drastic improvement in testabilities while preserving low area and delay overhead.
