일반기술

논리 시뮬레이션 방식

이 발명에 있어서 순차 처리되는 복수의 연산 각각을 실행하는 논리 소자의 각 집합에 대해 연산 제어 수단이 준비되어 임의의 위치에 있는 논리 소자의 집합에 의한 연산은 그것에 대응하는 연산 제어 수단에 대해 하나 앞의 연산을 행하는 논리 소자 집합에 대응하는 연산 제어 수단에서 이벤트가 보내지는 것에 의해 개시된다.이 이벤트에서 보내질 때 까지 소자 집합에서는 입력 단자에서 입력되는 피연산수의 입력치 갱신 만이 이루어진다. 이에 따라 순차 처리 기술에 의해 설계된 논리 회로의 시뮬레이션에 있어서, 어느 시점에서 이루어진 연산은 순차 처리 기술 안의 하나의 연산만으로 한정되어 순차 처리 기술된 복수의 연산은 그 순서를 지키는 형식으로 실행된다.논리 회로의 기술에 있어서 기존의 네트리스트만의 기술에 더해 그 기능,또는 그 회로에 입력하는 패턴 기술 등에 순차 처리 기술이 폭 넓게 사용되게 되었다. 논리 검증에 필요한 시간은 대상이 되는 회로의 규모 증대에 따라 증가되고 있고,그 단축이 요구된다.이 발명은 단일 지연 이벤트 드라이븐 논리 시뮬레이터를 사용하여 순차 처리 기술로 설계된 논리 회로의 시뮬레이션을 고속 실행한다. 순차 처리 기술을 이용하여 설계된 논리 회로의 논리 시뮬레이션을 단일 지연 이벤트 드라이븐 논리 시뮬레이터 보다 고속으로 실행, 회로의 논리 검증 기간을 단축할 수 있어 논리 회로 설계에 기여한다.