| 1 |
1
디지털 시스템을 구성하는 로컬설계객체의 검증에 사용되는 복수의 시뮬레이터를 복수의 CPU 또는 CPU 코어 상에서 분산병렬하여 실행시키는 분산병렬 시뮬레이션을 행할 때에, (i) 예상입출력이용-런 모드와 (ii) 실제입출력이용-런 모드의 두 가지 실행 모드를 통하여 상기 분산병렬 시뮬레이션이 실행되는 예측기반 병렬 시뮬레이션 방법으로서,상기 복수의 시뮬레이터는 적어도 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터를 포함하고,(A) 상기 예상입출력이용-런 모드의 실행은, 상기 복수의 시뮬레이터에서 행해지는 각 로컬시뮬레이션 중에서, 해당 로컬설계객체에 대한 로컬시뮬레이션을 행하는 제1 로컬시뮬레이터가 통신과 동기화를 통하여 다른 로컬시뮬레이션을 행하는 제2 로컬시뮬레이터로부터 오게되는 실제 입력값을 이용하는 대신에, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터는, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터의 각 로컬시뮬레이션 자체에 존재하는 예상입력값을 이용하고 실제 출력값을 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터의 각 로컬시뮬레이션 자체에 존재하는 예상출력값과 비교하면서 상기 실제 출력값이 상기 예상출력값과 다르게 되는 시점까지 시뮬레이션을 진행하는 동시에, 이전 동적 병렬화축소로 통합로컬설계객체 내부에 존재하는 원 로컬설계객체들의 입력과 출력에서의 실제값들을 예상값들과 비교하여서 같아지는 횟수가 사전에 정한 횟수 N1에 도달하면 상기 동적 병렬화축소 대상인 상기 통합로컬설계객체 내부의 2 이상의 원 로컬설계객체들에 대하여 동적 병렬화확대를 진행하여 상기 2 이상의 원 로컬설계객체들 각각을 별도의 로컬설계객체로 재구성하여서 예상입출력이용-런 모드로 진행하며, 상기 실제 출력값이 상기 예상출력값과 다른 경우에서는 즉각적으로 예상입출력이용-런 모드에서 롤백실행 후 실제입출력이용-런 모드로 전환되는 단계와, (B) 상기 실제입출력이용-런 모드의 실행은, 상기 복수의 시뮬레이터에서 행해지는 각 로컬시뮬레이션 중에서, 해당 로컬설계객체에 대한 시뮬레이션을 행하는 제1 로컬시뮬레이터가 통신과 동기화를 통하여 다른 로컬시뮬레이션을 행하는 제2 로컬시뮬레이터로부터 오게되는 실제 입력값을 이용하고, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터는, 실제 출력값을 예상출력값과 비교하면서 시뮬레이션을 진행하며 동시에 상기 실제 출력값을 상기 예상출력값과 비교하여서 달라지는 횟수가 사전에 정한 횟수 N1에 도달하면 이들 다른값이 나타나는 신호선들로 연결된 2 이상의 로컬설계객체들을 하나의 통합로컬설계객체로 재구성하는 동적 병렬화축소를 진행하고서 실제입출력이용-런 모드로 진행하며, 상기 실제 출력값을 상기 예상출력값과 비교하여서 같아지는 횟수가 사전에 정한 횟수 N2에 도달하면 실제입출력이용-런 모드에서 예상입출력이용-런 모드로 전환되는 단계가,서로 번갈아 실행되어지는 예측기반 병렬 시뮬레이션 방법
|
| 2 |
2
디지털 시스템을 구성하는 로컬설계객체의 검증에 사용되는 복수의 시뮬레이터를 복수의 CPU 또는 CPU 코어 상에서 분산병렬하여 실행시키는 분산병렬 시뮬레이션을 행할 때에, (i) 예상입출력이용-런 모드와 (ii) 실제입출력이용-런 모드의 두 가지 실행 모드를 통하여 상기 분산병렬 시뮬레이션이 실행되는 예측기반 병렬 시뮬레이션 방법으로서,상기 복수의 시뮬레이터는 적어도 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터를 포함하고,(A) 상기 예상입출력이용-런 모드의 실행은, 상기 복수의 시뮬레이터에서 행해지는 각 로컬시뮬레이션 중에서, 해당 로컬설계객체에 대한 로컬시뮬레이션을 행하는 제1 로컬시뮬레이터가 통신과 동기화를 통하여 다른 로컬시뮬레이션을 행하는 제2 로컬시뮬레이터로부터 오게되는 실제 입력값을 이용하는 대신에, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터는, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터의 각 로컬시뮬레이션 자체에 존재하는 예상입력값을 이용하고 실제 출력값을 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터의 상기 각 로컬시뮬레이션 자체에 존재하는 예상출력값과 비교하면서 상기 실제 출력값이 상기 예상출력값과 다르게 되는 시점까지 시뮬레이션을 진행하며, 상기 실제 출력값이 상기 예상출력값과 다른 경우에서는 즉각적으로 예상입출력이용-런 모드에서 롤백실행 후 실제입출력이용-런 모드로 전환되는 단계와, (B) 상기 실제입출력이용-런 모드의 실행은, 상기 복수의 시뮬레이터에서 행해지는 각 로컬시뮬레이션 중에서, 해당 로컬설계객체에 대한 시뮬레이션을 행하는 제1 로컬시뮬레이터가 통신과 동기화를 통하여 다른 로컬시뮬레이션을 행하는 제2 로컬시뮬레이터로부터 오게되는 실제 입력값을 이용하고, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터는, 실제 출력값을 예상출력값과 비교하면서 시뮬레이션을 진행하며 동시에 상기 실제 출력값을 상기 예상출력값과 비교하여서 달라지는 횟수가 사전에 정한 횟수 N1에 도달하면 이들 다른값이 나타나는 신호선들로 연결된 2 이상의 로컬설계객체들을 하나의 통합로컬설계객체로 재구성하는 동적 병렬화축소를 진행하고서 실제입출력이용-런 모드로 진행하며, 상기 실제 출력값을 상기 예상출력값과 비교하여서 같아지는 횟수가 사전에 정한 횟수 N2에 도달하면 실제입출력이용-런 모드에서 예상입출력이용-런 모드로 전환되는 단계가,서로 번갈아 실행되어지는 예측기반 병렬 시뮬레이션 방법
|
| 3 |
3
디지털 시스템을 구성하는 로컬설계객체의 검증에 사용되는 복수의 시뮬레이터를 복수의 CPU 또는 CPU 코어 상에서 분산병렬하여 실행시키는 분산병렬 시뮬레이션을 행할 때에, (i) 예상입출력이용-런 모드와 (ii) 실제입출력이용-런 모드의 두 가지 실행 모드를 통하여 상기 분산병렬 시뮬레이션이 실행되는 예측기반 병렬 시뮬레이션 방법으로서,상기 복수의 시뮬레이터는 적어도 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터를 포함하고,(A) 상기 예상입출력이용-런 모드의 실행은, 상기 복수의 시뮬레이터에서 행해지는 각 로컬시뮬레이션 중에서, 해당 로컬설계객체에 대한 로컬시뮬레이션을 행하는 제1 로컬시뮬레이터가 통신과 동기화를 통하여 다른 로컬시뮬레이션을 행하는 제2 로컬시뮬레이터로부터 오게되는 실제 입력값을 이용하는 대신에, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터는, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터의 각 로컬시뮬레이션 자체에 존재하는 예상입력값을 이용하고 실제 출력값을 상기 각 로컬시뮬레이션 자체에 존재하는 예상출력값과 비교하면서 상기 실제 출력값이 상기 예상출력값과 다르게 되는 시점까지 시뮬레이션을 진행하는 동시에, 상기 로컬설계객체 내부에 존재하는 2 이상의 설계객체들의 입력과 출력에서의 실제값들을 예상값들과 비교하여서 같아지는 횟수가 사전에 정한 횟수 N1에 도달하면 상기 로컬설계객체 내부의 2 이상의 설계객체들 각각에 대하여 동적 병렬화확대를 진행하여, 상기 2 이상의 설계객체들 각각을 별도의 로컬설계객체로 재구성하여서 예상입출력이용-런 모드로 진행하며, 상기 실제 출력값이 상기 예상출력값과 다른 경우에서는 즉각적으로 예상입출력이용-런 모드에서 롤백실행 후 실제입출력이용-런 모드로 전환되는 단계와, (B) 상기 실제입출력이용-런 모드의 실행은, 상기 복수의 시뮬레이터에서 행해지는 각 로컬시뮬레이션 중에서, 해당 로컬설계객체에 대한 시뮬레이션을 행하는 제1 로컬시뮬레이터가 통신과 동기화를 통하여 다른 로컬시뮬레이션을 행하는 제2 로컬시뮬레이터로부터 오게되는 실제 입력값을 이용하고, 상기 제1 로컬시뮬레이터 및 제2 로컬시뮬레이터는, 실제 출력값을 예상출력값과 비교하면서 시뮬레이션을 진행하며, 상기 실제 출력값을 상기 예상출력값과 비교하여서 같아지는 횟수가 사전에 정한 횟수 N2에 도달하면 실제입출력이용-런 모드에서 예상입출력이용-런 모드로 전환되는 단계가,서로 번갈아 실행되어지는 예측기반 병렬 시뮬레이션 방법
|
| 4 |
4
제1항 내지 제3항 중 어느 한 항에 있어서,예측기반 병렬 시뮬레이션이 실행되는 과정 중에 동적 병렬화축소 및 동적 병렬화확대의 어느 일방 또는 양방을 통하여 로컬시뮬레이션의 총 수가 동적으로 줄어들거나 증가하는 예측기반 병렬 시뮬레이션 방법
|
