(구)정보과학회 논문지
Current Result Document :
| 한글제목(Korean Title) |
유한상태기의 면적 최적화를 위한 상태할당 문제에의 해석적 접근 |
| 영문제목(English Title) |
Analytical Approach to State Assignment Problem for the Area Optimization of Finite State Machinet |
| 저자(Author) |
양세양
Saeyang Yang
김진옥
Jinok Kim
|
| 원문수록처(Citation) |
VOL 21 NO. 07 PP. 1209 ~ 1217 (1994. 07) |
한글내용
(Korean Abstract) |
본 논문에서는 유한상태기의 최적화 상태할당을 얻기위한 효과적인 알고리듬을 제시한다. 이것은, 최소면적을 상태할당 전에 미리 예측이 가능한 심볼릭 최소화 과정 중, 얼굴 내포 제약조건과 우위 및 논리합 제약조건을 입력과 출력의 부호화를 위한 제약조건으로써 발생시켜 최적 상태할당을 찾는 것이다. 발생되는 모든 제약조건을 만족하는 해가 존재하기 위한 필요충분 조건을 이진분할을 이용하여 기술 증명하고, 만약 주어진 제약조건을 모두 만족하는 해가 존재한다면, 다른 제약조건에 위배되지 않는 최소수의 주이진분할들을 찾아 최적한 상태할당을 구한다.
|
영문내용
(English Abstract) |
This paper presents an effective algorithm for achieving an optimal state assignment of finite state machines(FSM's). During the process of symbolic minimization to estimate the minimal area for implementing FSM, face embedding constraints and domininance & disjunctive constraints are generated from constrained input/output encoding problem. The necessary and sufficient conditions to exist a solution that satisfies these constraints are described and proved by using dichotomies. If the existence of optimal solution is acknowleged, the proposed algorithm simply finds a minimal length encoding from a set of minimal prime dichotomies which doesn't vlolate any of above constraints.
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
