천이 밀도의 오차 보정에 의한 소비 전력 평가를 위한 방법에 있어서, 구체적인 논리 소자가 정해져 있지 않은 조합 논리식의 입력 정보를 입력받아, 논리 그래프를 생성하는 제1단계; 상기 논리 그래프로부터 다중 연결 성분 경로와 재결합 노드를 탐색하고, 상기 경로 및 재결합 노드의 정보를 저장하고, 또한 상기 다중 연결 성분 경로를 통하여 상기 재결합 노드의 논리 연산자에 들어오는 입력의 수 및 입력 이름의 정보를 저장하는 제2단계; 상기 제2단계에서 탐색한 상기 다중 연결 성분과 연결 성분에 포함되지 않는 단일 경로들에 대하여 천이 밀도를 계산하기 위한 순서를 결정하는 제3단계; 상기 천이 밀도의 계산 및 오차 보정을 수행하고, 이 오차 보정의 처리는 주입력으로부터 주출력을 향하여 논리 연산자 단위로 순차적으로 수행하여 가며, 계산한 천이 밀도의 결과는 각 논리 연산자 단위로 공통적인 데이터 구조를 정의하여 저장하는 제4단계; 및 상기 제4단계에서 수행된 오차 보정에 의하여 얻어진 최종의 천이 밀도를 이용하여 예측되는 소비 전력을 평가하는 제5단계를 포함하는 오차 보정에 의한 조합 논리의 소비 전력 평가 방법

제1항에 있어서, 상기 제4단계의 천이 밀도를 계산할 때 입력으로 주어지는 신호 확률의 오차 보정은, 상기 논리 연산자, 재결합 노드 및 상기 다중 연결 경로를 가지는 모든 입력들의 연결 관계에 있는 입력의 수를 입력받으며, 입력되는 앞 단의 각 논리 연산자에 저장한 신호 확률을 입력받는 제6단계; 현재 처리 중인 논리 연산자를 이용하여 상기 신호 확률을 계산하고, 상기 오차 보정을 수행하기 전에, 현재 처리중인 논리 연산자 부울린 변수 재결합 노드인지를 판단하는 제7단계; 상기 제7단계에서 재결합 노드로 판단되면, 상기 신호 확률에 대한 오차보정값 계산하고, 또한 상기 재결합 노드에 들어오는 모든 입력에 대하여 반전된 입력의 수를 계수하여 홀수 또는 짝수 여부를 계산 판정결과에 따라 재결합 노드의 반전 여부를 나타내는 제1부울린 변수에 “참” 또는 “거짓”을 할당하는 제8단계; 이어서, 상기 논리 연산자의 형태를 판단하고, 상기 판단 결과에 따라 상기 제1부울린 변수가 “참”인지 “거짓”인지를 판단하는 제9단계; 상기 제9단계의 판단 결과에 따라 상기 신호 확률값에 대하여 상기 보정값의 오차를 보정하는 제10단계; 상기 재결합 노드의 반전 여부를 나타내는 출력쪽의 상기 제1부울린 변수가 “참”인지를 판단하는 제11단계; 상기 제11단계의 판단 결과에 따라 상기 오차 보정의 결과를 새로운 신호 확률값으로 정하는 제12단계; 및 오차 보정한 상기 신호 밀도의 결과를 현재 처리중인 논리 연산자의 데이터 구조에 저장하는 제13단계를 포함하는 오차 보정에 의한 조합 논리의 소비 전력 평가 방법

제1 또는 제2항에 있어서, 상기 제4단계는, 상기 논리 연산자, 재결합 노드 및 상기 다중 연결 성분 경로를 가지는 모든 입력들의 연결 관계에 있는 입력의 수를 입력받으며, 또한 입력되는 앞 단의 각 논리 연산자에 젖아한 신호 확률값 및 천이 밀도값을 입력받아, 현재 처리 중인 논리 연산자가 재결합 노드인지를 판단하는 제14단계; 상기 제14단계의 판단 결과에 따라 오차 보정을 하지 않고 상기 천이 밀도만을 계산하거나, 또는 상기 천이 밀도에 대한 오차 보정값을 계산하는 제15단계; 상기 재결합 노드에 들어오는 모든 입력에 대하여 반전을 판정하여, 상기 판정 결과에 따라 입력쪽의 제1부울린 변수에 “참” 또는 “거짓”을 할당하고, 상기 입력의 수를 계수하여 상기 입력의 수가 홀수인지 짝수인지를 계산 판정하여, 상기 계산 판정 결과에 따라 제2부울린 변수에 “참” 또는 “거짓”을 할당하고, 현재 저리중인 논리 연산자의 형태를 검사하고, 상기 검사 결과에 따라 논리 연산자를 취급하고, 입력들의 논리 연산자 속성을 검사하여 논리 연산자를 할당하는 제16단계; 상기 천이 밀도의 계산식에서 부울린 미분을 수행해야 할 횟수를 정하고 상기 천이 밀도 계산식의 부울린 미분의 항을 계산하여, 그 결과를 저장하는 제17단계; 상기 논리 연산자의 형태를 판단하고, 상기 판단 결과에 따라 입력족 상기 제1부울린 변수가 “참”인지 “거짓”인지를 판단하고, 상기 판단 결과에 따라 상기 제2부울린 변수가 “참”인지 “거짓”인지를 판단하는 제18단계; 상기 제18단계의 판단 결과에 따라 오차가 보정된 새로운 확률을 얻기 위하여, 오차 보정을 수행하고, 부울린 미분을 위한 확률의 오차 보정을 수행하는 제19단계; 오차를 보정하기 위하여 상기 천이 밀도를 계산하고, 상기 i번째로 계산한 상기 천이 밀도의 결과를 누적시키는 제20단계; 상기 천이 밀도의 계산 횟수를 조절하기 위하여 루우프내의 상기 수행값 i가 상한 값 n(단, n은 정수)보다 작은지를 판단하는 제21단계; 상기 제21단계의 판단 결과에 따라 출력쪽의 상기 제1부울린 변수가 “참”인지 “거짓”인지를 판단하는 제22단계; 상기 제22단계의 판단 결과에 따라 오차 보정의 결과를 새로운 천이 밀도값으로 정하는 제23단계; 및 오차 보정한 상기 천이 밀도의 결과를 현재 처리중인 논리 연산자의 노드에 저장하고, 앞 단의 연산자의 속성과 비교하여 논리 연산자 속성의 정보를 저장하는 제24단계를 포함하는 오차 보정에 의한 조합 논리의 소비 전력 평가 방법