| 1 |
1
설계 검증 과정에서 1 이상의 설계 오류의 존재 여부를 시뮬레이션 실행으로 알아내고(디버깅전-시뮬레이션) 상기 1 이상의 설계 오류의 원인을 알아내어서 이를 제거하는 설계 수정을 진행하고(앞단-디버깅) 상기 설계 수정이 올바르게 진행되었는지를 판단하기 위한 시뮬레이션(디버깅후-시뮬레이션)을 진행하는 단계에 있어서,상기 설계 수정이 올바르게 진행되었는지를 판단하기 위한 시뮬레이션을 상기 1 이상의 설계 오류의 특성에 따라서 방식1-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식2-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식3-가정 기반 디버깅후-시뮬레이션 방법들 중에서 선택된 1 내지는 2 이상의 방법을 사용하여 진행하는 디버깅 방법
|
| 2 |
2
설계 검증 과정에서 1 이상의 설계 오류의 존재 여부를 시뮬레이션 실행으로 알아내고(디버깅전-시뮬레이션) 상기 1 이상의 설계 오류의 원인을 알아내어서 이를 제거하는 설계 수정을 진행하고(앞단-디버깅) 상기 설계 수정이 올바르게 진행되었는지를 판단하기 위한 시뮬레이션(디버깅후-시뮬레이션)을 진행하는 단계에 있어서,상기 설계 수정이 올바르게 진행되었는지를 판단하기 위한 시뮬레이션이 방식1-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식2-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식3-가정 기반 디버깅후-시뮬레이션 방법들 중에서 1 내지는 2 이상의 방법을 포함한 디버깅 방법
|
| 3 |
3
설계 오류들을 제거하는 설계 검증 과정에서 특정 1 이상의 설계 오류의 존재 여부를 시뮬레이션 실행으로 알아내고(디버깅전-시뮬레이션) 상기 특정 1 이상의 설계 오류의 원인을 알아내어서 이를 제거하는 설계 수정을 진행하고(앞단-디버깅) 상기 설계 수정이 올바르게 진행되었는지를 판단하기 위한 시뮬레이션(디버깅후-시뮬레이션)을 진행하는 단계들을 반복적으로 진행하며,상기 특정 1 이상의 설계 오류를 제거하기 위한 설계 수정이 올바르게 진행되었는지를 판단하기 위한 시뮬레이션을 상기 1 이상의 설계 오류의 특성에 따라서 설계자 내지는 검증엔지니어가 방식1-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식2-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식3-가정 기반 디버깅후-시뮬레이션 방법들 중에서 1 내지는 2 이상의 방법을 선택적으로 사용하여 진행하는 디버깅 방법
|
| 4 |
4
제 1 항 내지는 제 2 항 내지는 3 항에 있어서,상기 방식1-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식2-가정 기반 디버깅후-시뮬레이션 방법을 통하여 진행되는 동적기반의 설계 검증 방법이 중첩된 디버깅후-시뮬레이션과 디버깅전-시뮬레이션 기반의 디버깅 방법을 포함하는 동적기반의 설계 검증 방법
|
| 5 |
5
제 1 항 내지는 제 2 항 내지는 3 항에 있어서,상기 방식1-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식2-가정 기반 디버깅후-시뮬레이션 방법을 통하여 진행되는 동적기반의 설계 검증 방법에서 1 이상의 특정 버그가 올바르게 제거되었는지를 조사하는 디버깅후-시뮬레이션에서 시뮬레이션가속기 내지는 하드웨어에뮬레이터를 이용한 시뮬레이션 실행 내지는 추상화 상위수준에서의 시뮬레이션 실행에서 시뮬레이션 시간 0 이후의 특정 시뮬레이션 시점 t_o1 내지는 특정 시뮬레이션 구간 t_o2에서 수집된 DUV의 상태정보와 t_o1 내지는 t_o2에서부터 일정 시뮬레이션 구간에서의 DUV의 입력값들을 이용하여서 상기 시뮬레이션가속기 내지는 하드웨어에뮬레이터를 이용한 시뮬레이션 실행에 이은 시뮬레이터를 이용한 시뮬레이션 실행 내지는 상기 추상화 상위수준에서의 시뮬레이션 실행에 이은 추상화 하위수준에서의 시뮬레이션 실행을 통하여 상기 특정 버그가 올바르게 제거되었는지를 조사하는 동시에 새로운 1 이상의 특정 버그의 존재 여부를 조사하는 중첩된 디버깅후-시뮬레이션과 디버깅전-시뮬레이션 기반의 디버깅 방법을 포함하는 동적기반의 설계 검증 방법
|
| 6 |
6
제 1 항 내지는 3 항에 있어서,상기 1 이상의 설계 오류의 특성에 따라서 적용되는 방식1-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식2-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식3-가정 기반 디버깅후-시뮬레이션 방법들 중에서 2 이상의 방법이 독립적으로 동시에 실행되는 과정을 포함하는 디버깅 방법
|
| 7 |
7
제 1 항 내지는 제 2 항 내지는 3 항에 있어서,상기 방식1-가정 기반 디버깅후-시뮬레이션 방법 내지는 방식2-가정 기반 디버깅후-시뮬레이션 방법에서 가정에 근거한 디버깅후-시뮬레이션 실행과 가정확인을 위한 디버깅후-시뮬레이션을 병렬적으로 진행하는 디버깅 방법
|
| 8 |
8
제 1 항 내지는 제 2 항 내지는 제 3 항 내지는 제 4 항 내지는 제 5 항 내지는 제 6 항 내지는 제 7 항에 있어서,상기 방식2-가정 기반 디버깅후-시뮬레이션 방법에 "시뮬레이션가속기 내지는 하드웨어에뮬레이터를 우선적으로 이용하여 전환시점 Ts(i)를 결정하고 시뮬레이션가속의 결과를 이용하는 시뮬레이터를 활용한 시뮬레이션을 통한 방식2-가정 기반 디버깅후-시뮬레이션"이 포함된 디버깅 방법
|
