출력값배열 그래프에 기초한 3치조합논리함수 표현기법

초록

2치결정도(Binary Decision Diagram : BDD)와 순서화 된 2치 결정도(Ordered BDD: OBDD)는 부울함수 표현에 폭넓게 사용된다. 그러나 입력 변수의 증가에 따라 효과적인 함수축약 수행에는 많은 시간과 노력이 요구된다. 특히, 다치논리결정도(Multilple-valued DD : MDD)의 경우에는 더 많은 시간과 노력을 요구한다. 따라서 좀 더 효과적인 함수축약을 위해서는 함수의 출력값에 관련된 효과적인 input implicit/ output implicit 관계를 도출해야 한다. 본 놈문에서는 2치에서의 출력값배열 그래프(Output Valued Array Graph:OVAG)를 기초로 3치 OVAG를 도출하는 알고리즘을 제안하였으며, 예를 들어 제안한 알고리즘의 타당성을 검증하였다.