OVAG를 이용한 다치조합논리함수의 설계 기법

초록

다치결정도와 순서화된 다치결정도는 다치논리함수의 표현에 폭넓게 사용된다. p치 n변수 인 경우 p(n-1)으로 증가하는 노드의 수는 ROMDD를 사용하여 현저하게 감소시킬 수 있다. 그러나 다치와 다변수의 경우에는 더욱 많은 공정을 수반하게 된다. 이러한 단점을 보완하기 위해 Honghai Jiang이 제안한 2치 시스템에서의 input implicit/output explicit 관계를 갖는 OVAG를 사용하여 다치논리함수를 표현한다. 그리고 MDD 표현이 어려운 상황에서 MOVAG를 사용하여 보다 쉽게 출력값을 배열하는 그래프를 이끌어 낼 수 있다. 본 논문에서는 MOVAG의 구성방법과 회로에서 MOVAG로의 변환에 대한 알고리즘을 제안하였고, 알고리즘에 의한 결과를 MDD와 비교하여 노드수 감소에 따르는 처리속독가 개선됨을 검증하였다.