사상재배치가 고장수목의 BDD 변환에 미치는 영향

초록

이진결정도는 고장수목해석에서 기존의 부울대수를 이용한 방법의 잘 알려진 대체수단이다. 이진결정도의 규모는 변환과정에서 고장수목의 변수 순서에 영향을 받는다고 알려져 있다. 이진결정도의 규모가 작을수록 단절집합과 최소단절집합을 짧은 시간 내에 계산하기가 유리하기 때문에 작은 규모의 이진결정도가 선호된다. 고장로직의 변화 없이 게이트 아래의 사상들을 재배치하면 이진결정도의 구조와 규모를 변화시킬 수 있다. 주어진 고장수목에 대해 두 종류의 사상재배치를 정의하고 그 효과를 점검하였다. 좌사행 및 우사행 사상재비치를 정의하여 주어진 원래의 고장수목과 고장경로의 수를 비교하였다. 사상재배치가 이진결정도에 미치는 영향은 고장수목의 구조와 중복사상의 영향을 받는다. 어떤 고장수목의 경우는 좌사행 재배치일 경우가 이진결정도의 규모가 작고, 어떤 경우에는 우사행 재배치의 경우가 이진결정도의 규모가 작게 된다. 이런 계산 결과를 근거로 작은 이진결정도로 변환시키기 위해 고장수목의 사상재배치를 하는 것이 유리하다.

키워드