다단 논리 회로로 구현된 FSM의 효율적인 상태 할당 알고리즘

본 논문에서는 다단 논리 조합회로를 이용한 FSM 합성에 있어서 효율적인 상태 할당 알고리즘을 제안한다. 이 알고리즘은 분할에 의해 상태 변수의 의존도를 줄이도록 상태 할당을 하고 있으며, 이와 더불어 common cube의 size와 이의 빈도수를 최대화함으로써 논리 회로 최소화 후 literal의 수가 최소화되도록 하고 있다. 분할을 이용하여 각 상태 비트에 이진값을 할당할 때 초기 단계에는 블록을 구별하기 위한 고유한 심볼을 표시함으로써 상태 할당을 원활하게 하고 있다. 표준 benchmark 회로에 대한 실험 결과 기존의 시스템에 비해 10~20％의 성능 향상을 보였다.