KR20060066634A - 검증 성능과 검증 효율성을 높이는 동적검증 기법 방식의검증 장치 및 이를 이용한 검증 방법론 - Google Patents
검증 성능과 검증 효율성을 높이는 동적검증 기법 방식의검증 장치 및 이를 이용한 검증 방법론 Download PDFInfo
- Publication number
- KR20060066634A KR20060066634A KR1020050116706A KR20050116706A KR20060066634A KR 20060066634 A KR20060066634 A KR 20060066634A KR 1020050116706 A KR1020050116706 A KR 1020050116706A KR 20050116706 A KR20050116706 A KR 20050116706A KR 20060066634 A KR20060066634 A KR 20060066634A
- Authority
- KR
- South Korea
- Prior art keywords
- simulation
- verification
- design
- level
- objects
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Ceased
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
Description
Claims (200)
- 검증 소프트웨어와 1 이상의 시뮬레이터를 구비하는 설계검증 장치에 있어서, 상기 검증 소프트웨어는 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 자동화된 방식을 통하여 부가 코드나 부가 회로를 추가하여 앞단 시뮬레이션 단계인 1차 시뮬레이션을 수행하면서 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1 회 이상의 시뮬레이션들을 시뮬레이션 구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계블록들에 대하여 시뮬레이션들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 시뮬레이터를 이용한 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션을 상기 최소한의 정보를 수집하면서 빠르게 수행하고, 이 수집된 정보를 이용하여 상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 가시도를 얻으면서도 신속하게 수행함으로서 시뮬레이션의 속도와 디버깅을 위한 가시도를 동시에 확보하는 것을 가능하게 하는 설계 검증 장치.
- 시뮬레이션을 여러 개의 테스트벤치로써 수 차례 수행하여 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계 오류들의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 상기 수 차례의 시뮬레이션들에서의 각각의 시뮬레이션 과정 하나 하나를 앞단 시뮬레이션 단계인 1차 시뮬레이션 과 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들로 나누어서 수행하며, 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션을 수행하면서 상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 시뮬레이션 구간들이나 설계 코드나 합성으로 생성된 게이트 수준의 네트리스트에 존재하는 1 이상의 설계블록들에 대하여 시뮬레이션들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 자동적으로 수집할 수 있도록 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 부가 코드나 부가 회로를 검증 소프트웨어를 이용하여 자동화된 방식으로 추가하고, 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션을 상기 최소한의 정보를 수집하면서 빠르게 수행하고, 이 수집된 정보를 이용하여 상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 가시도를 얻으면서도 신속하게 수행함으로서 시뮬레이션의 속도와 디버깅을 위한 가시도를 동시에 확보하는 것을 가능하게 하는 검증 방법.
- 제 1 항 내지는 제 2 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항 에 있어서,최소한의 정보 수집이 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 일정 간격으로 혹은 1 이상의 특정 시뮬레이션 시점들에서 시뮬레이션의 상태를 1 이상의 파일 형태로 저장하는 것을 포함하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항에 있어서,최소한의 정보 수집이 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계블록들의 입력과 입출력을 시뮬레이션 전체 과정에 걸쳐서 지속적으로 탐침하여 1 이상의 파일형태로 저장하여 이를 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 시뮬레이션 과정에서 입력스티뮬러스로 이용하는 것을 포함하는 설계 검증 방법.
- 제 3 항에 있어서,앞단 시뮬레이션 단계인 1차 시뮬레이션 시행 중에 1 이상의 시뮬레이션 시점에서 저장된 1 이상의 시뮬레이션 상태들 중에서 1 이상의 시뮬레이션 상태를 선정하여 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 상기 선정된 1 이상의 시뮬레이션 상태에서부터 시작될 수 있도록 시뮬레이터를 1회 이상 설정한 후에 설정된 시뮬레이션 상태로부터 시뮬레이션을 1회 이상 진행하면서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행하는 설계 검증 방법
- 제 5 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 시뮬레이션들 을 상기 선정된 2 이상의 시뮬레이션 상태들에서부터 시작될 수 있도록 하나의 시뮬레이터를 2회 이상 순서적으로 설정하고 2회 이상 순서적으로 시뮬레이션 진행하는 과정에 있어서, 앞단 시뮬레이션 단계인 1차 시뮬레이션 수행 시에 시뮬레이션의 상태를 저장하는 시뮬레이션 시점이 시뮬레이션 시간적으로 제일 뒤에 있는 시뮬레이션 상태를 우선 상기 하나의 시뮬레이터에 설정하여 이 시뮬레이션의 상태를 가지고 시뮬레이션을 진행하고, 이 후의 시뮬레이션들도 상기 단일 시뮬레이터로써 수행하는 과정에서 상태를 저장한 시뮬레이션 시점이 시뮬레이션 시간적으로 뒤에 있는 것들을 우선으로 하여 시뮬레이터에 설정하여 시뮬레이션들이 시뮬레이션 시간적으로 제일 뒤에서부터 앞서는 순서대로 진행하면서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 3 항 내지는 제 5 항 내지는 제 6 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항에 있어서,앞단 시뮬레이션 단계인 1차 시뮬레이션 시행 중에 1 이상의 시뮬레이션 시점에서 시뮬레이션 상태를 저장하는 방법을 시뮬레이터의 save 명령어 혹은 checkpoint 명령어를 사용하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 상기 선정된 1 이상의 시뮬레이션 상태에서부터 시작될 수 있도록 시뮬레이터를 1회 이상 설정한 후에 시뮬레이션을 진행하는 방법을 시뮬레이터의 restart 명령어 혹은 restore 명령어를 사용하는 설계 검 증 방법
- 제 4 항에 있어서,앞단 시뮬레이션 단계인 1차 시뮬레이션 실행 중에 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계블록들에 대한 입력과 입출력들을 시뮬레이션 전 과정에서 탐침하여 저장한 1 이상의 탐침 파일들 중에서 1 이상을 선정하여 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 시뮬레이션들을 상기 선정된 1 이상의 탐침 파일과 해당 1 이상의 설계블록들을 이용하여 시뮬레이션 컴파일하여 생성된 1 이상의 시뮬레이션 실행 파일들 중에서 추가적인 탐침이 필요한 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들을 가지고 있는 해당 1 이상의 설계블록들을 컴파일된 형태로 가지고 있는 1 이상의 시뮬레이션 실행 파일을 실행시키면서 상기 추가적인 탐침을 수행함으로서 빠른 시뮬레이션 속도와 설계블럭들에 대한 가시도를 신속하게 확보하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 3 항 내지는 제 5 항 내지는 제 6 항 내지는 제 7 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정 중에서 저장된 2 이상의 시뮬레이션 상태들 각각을 이용하여 2회 이상의 부분 시뮬레이션을 하는 것으로 전환하여, 컴퓨터 네트워크로 연결된 2 이상의 컴퓨터에 인스톨된 2 이상의 시뮬레이터들을 이용하여 상기 2 이상의 시뮬레이터 상태들 각각을 상기 2 이상의 시뮬레이터 각각에 설정하여 2 이상의 시뮬레이션들이 서로 독립적으로 상기 2 이상의 시뮬레이터로써 병렬적으로 실행하여 빠른 시뮬레이션 속도를 제공하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 4 항 내지는 제 8 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 앞단 시뮬레이션 단계인 1차 시뮬레이션을 통하여 얻어진 2 이상의 설계블록들과 이들 설계블록들 각각의 입력과 입출력을 앞단 시뮬레이션 단계인 1차 시뮬레이션 전과정에서 탐침한 2 이상의 탐침 파일들을 시뮬레이션 컴파일하여 얻어진 2 이상의 시뮬레이션 실행 파일들을 컴퓨터 네트워크로 연결된 2 이상의 컴퓨터에 인스톨된 2 이상의 시뮬레이터들을 이용하여 독립적으로 병렬적으로 실행하여 빠른 시뮬레이션 속도를 제공하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 4 항 내지는 제 8 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행회는 1회 이상의 시뮬레이션을 앞단 시뮬레이션 단계인 1차 시뮬레이션을 통하여 얻어진 2 이상의 설계블록들과 이들 설계블록들 각각의 입력과 입출력을 앞단 시뮬레이션 단계인 1차 시뮬레이션 전과정에서 탐침한 2 이상의 탐침 파일들을 변환한 2 이상의 테스트벤치 파일들을 시뮬레이션 컴파일하여 얻어진 2 이상의 시뮬레이션 실행 파일들을 컴퓨터 네트워크로 연결된 2 이상의 컴퓨터에 인스톨된 2 이상의 시뮬레이터들을 이용하여 독립적으로 병렬적으로 실행하여 빠른 시뮬레이션 속도를 제공하는 설계 검증 방법
- 임의의 시뮬레이션 수행 내지는 시뮬레이션가속 수행 내지는 하드웨어에뮬레이션 수행 내지는 프로토타이핑 수행을 통하여 얻어진 결과를 이용한 추가적인 시뮬레이션 수행에서, 상기 추가적인 시뮬레이션 수행을 앞단 시뮬레이션 단계인 1차 1회의 시뮬레이션과 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들로 나누어서 수행하며, 상기 1차 시뮬레이션을 수행하면서 상기 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 시뮬레이션 구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계블록들에 한정하여 시뮬레이션들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 1차 시뮬레이션 과정에서 자동적으로 수집할 수 있도록 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 부가 코드나 부가 회로를 검증 소프트웨어를 이용하여 자동화된 방식으로 추가하고, 상기 1차 시뮬레이션을 수행하면서 상기 최소한의 정보를 수집하고, 이 수집된 정보를 이용하여 상기 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 신속하게 수행하는 것을 가능 하게 하는 검증 방법.
- 제 1 항 내지는 제 2 항 내지는 제 3 항 내지는 제 4 항 내지는 제 5 항 내지는 제 9 항 내지는 제 10 항 내지는 제 11 항 내지는 제 12 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 27 항 내지는 제 54 항 내지는 제 55 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 병렬 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 사이클-기반 시뮬레이션으로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 이벤트-구동 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 SystemC 시뮬레이터를 이용하여 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 Verilog 시뮬레이터 내지는 VHDL 시뮬레이터 내지는 SystemVerilog 시뮬레이터를 이용하여 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 RTL 시뮬레이션으로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 게이트수준 시뮬레이션으로 수행하는 검증 방법
- 제 14 항 내지는 제 15 항 내지는 제 16 항 내지는 161 항 내지는 162 항 내지는 163 항 내지는 164 항 내지는 165 항 내지는 166 항에 있어서,상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 2 이상의 시뮬레이터들을 이용하여서 병렬적으로 진행하는 검증 방법
- 시뮬레이션을 여러 개의 테스트벤치로써 수 차례 수행하여 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계 오류들의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 앞단 시뮬레이션 단계인 설계 검증의 1차 시뮬레이션 과정에서 2 이상의 시뮬레이션 시점들에서 2 이상의 시뮬레이션 상태를 저장하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 처음으로 수행되는 시뮬레이션에서 2 이상의 시뮬레이터를 이용하여 상기 1차 시뮬레이 션 과정에서 저장된 2 이상의 시뮬레이션 상태로부터 시뮬레이션이 병렬적으로 진행할 수 있도록 하고, 이 병렬적 시뮬레이션이 진행되는 과정에서 설계 코드에 존재하는 1 이상의 특정 설계블록들의 입력과 입출력값들을 병렬적으로 탐침하여 얻어진 2 이상의 덤프 파일들이나 이들을 테스트벤치로 변환된 파일들을 해당 설계블록들과 같이 2 이상의 시뮬레이터들을 이용하여 동시에 시뮬레이션 컴파일하여 2 이상의 시뮬레이션 실행파일들을 생성하고, 상기 2 이상의 컴퓨터들에서 병렬적으로 시뮬레이션 하는 과정을 통하여 빠른 시뮬레이션 속도와 설계블럭들에 대한 가시도를 확보하는 설계 검증 방법
- 제 14 항 내지는 제 15 항 내지는 제 16 항 내지는 161 항 내지는 162 항 내지는 163 항 내지는 164 항 내지는 165 항 내지는 166 항에 있어서,상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 게이트수준에서 이벤트-구동 시뮬레이션으로 수행하는 검증 방법
- 제 19 항에 있어서,상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 게이트수준에서 이벤트-구동 시뮬레이션을 배치 및 배선 결과에서 추출된 타이밍정보를 활용한 타이밍 시뮬레이션으로 수행하는 검증 방법
- 제 14 항 내지는 제 15 항 내지는 제 19 항 내지는 제 20 항 내지는 161 항 내지는 162 항 내지는 163 항 내지는 164 항 내지는 165 항 내지는 166 항 내지는 제 167 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션 과정에서 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 DUV에서의 1 이상의 설계객체들에 대한 상태 정보를 얻고, 이렇게 얻어진 1 이상의 설계검증대상의 상태 정보를 이용하여 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 수행하는 검증 방법
- 제 14 항 내지는 제 15 항 내지는 제 19 항 내지는 제 20 항 내지는 161 항 내지는 162 항 내지는 163 항 내지는 164 항 내지는 165 항 내지는 166 항 내지는 제 167 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션 과정에서 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 DUV에서의 1 이상의 설계객체들에 대한 상태 정보를 얻고, 이렇게 얻어진 1 이상의 설계검증대상의 상태 정보들을 이용하여 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 2회 이상의 시뮬레이션을 병렬적으로 수행하는 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항 에 있어서,최소한의 정보 수집이 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 일정 간격으로 혹은 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 DUV에서의 1 이상의 설계객체들에 대한 상태 정보 저장과 더불어, 시뮬레이션 전 구간에 걸쳐서 상기 DUV에서의 1 이상의 설계객체들의 모든 입력 값들과 입력모드시의 모든 입출력 값들을 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후의 시뮬레이션 과정에서 입력스티뮬러스로 이용하기 위하여 상기 입력들에서나 입출력들에서 매 이벤트 발생시 내지는 매 사이클마다 내지는 매 트란젝션마다의 저장을 1 이상의 파일형태로 저장하거나 혹은 상기 일정 간격으로 혹은 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 TB의 상태 정보 저장을 1 이상의 파일 형태로 저장하는 것을 포함하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 12 항 내지는 제 54 항 내지는 제 55 항 에 있어서,최소한의 정보 수집이 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 일정 간격으로 혹은 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 DUV에서의 1 이상의 설계객체들에 대한 상태 정보와 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션 전체 과정에서 상기 DUV에서의 1 이상의 설계객체들의 모든 입력 값들과 입력모드시의 모든 입출력 값들을 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후의 시뮬레이션 과정에서 입력스티뮬러스로 이용하기 위하여 상기 입력들에서나 입출력들에서 매 이벤트 발생시 내지는 매 사이클마다 내지는 매 트란 젝션마다의 저장을 1 이상의 파일 형태로 저장하는 것을 포함하는 설계 검증 방법
- 제 23 항 내지는 제 24 항에 있어서,앞단 시뮬레이션 단계인 1차 시뮬레이션 시행 중에 1 이상의 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 저장된 1 이상의 DUV에서의 1 이상의 설계객체들의 상태 정보와 경우에 따라서는 TB의 상태 정보들 중에서 1 이상의 상태를 선정하여 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 상기 선정된 1 이상의 DUV에서의 1 이상의 설계객체들의 상태와 경우에 따라서는 TB의 상태에서부터 시작될 수 있도록 시뮬레이터를 1회 이상 설정한 후에 시뮬레이션을 1회 이상 진행하면서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행함으로서 빠른 시뮬레이션 속도 내지는 설계블럭들에 대한 가시도를 신속하게 확보하는 설계 검증 방법
- 제 25 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 시뮬레이션들을 상기 선정된 2 이상의 DUV에서의 1 이상의 설계객체들의 상태와 경우에 따라서는 TB의 상태들에서부터 시작될 수 있도록 하나의 시뮬레이터를 2회 이상 순서적으로 설정하고 2회 이상 순서적으로 시뮬레이션 진행하는 과정에 있어서, 앞단 시뮬레이션 단계인 1차 시뮬레이션 수행 시에 상기 DUV에서의 1 이상의 설계객체들의 상태 정보와 경우에 따라서는 TB의 상태 정보를 저장하는 시뮬레이션 시점 내지는 시뮬레이션 구간이 시뮬레이션 시간적으로 제일 뒤에 있는 DUV에서의 1 이상의 설계객체들의 상태와 경우에 따라서는 TB의 상태를 우선 상기 하나의 시뮬레이터에 설정하여 이 상태를 가지고 시뮬레이션을 진행하고, 이 후의 시뮬레이션들도 상기 단일 시뮬레이터로써 수행하는 과정에서 상태를 저장한 시뮬레이션 시점 내지는 시뮬레이션 구간이 시뮬레이션 시간적으로 뒤에 있는 것들을 우선으로 하여 시뮬레이터에 설정하여 시뮬레이션들이 시뮬레이션 시간적으로 제일 뒤에서부터 앞서는 순서대로 진행하면서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행함으로서 빠른 시뮬레이션 속도 내지는 설계블럭들에 대한 가시도를 신속하게 확보하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 23 항 내지는 제 24 항 내지는 25 항 내지는 제 26 항 내지는 제 54 항 내지는 제 55 항 에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정 중에서 저장된 2 이상의 DUV에서의 1 이상의 설계객체들의 상태와 경우에 따라서는 TB의 상태들 각각을 이용하여 2회 이상의 부분 시뮬레이션을 하는 것으로 전환하여, 컴퓨터 네트워크로 연결된 2 이상의 컴퓨터에 인스톨된 2 이상의 시뮬레이터들을 이용하여 상기 2 이상의 DUV에서의 1 이상의 설계객체들의 상태와 경우에 따라서는 TB의 상태들 각각을 상기 2 이상의 시뮬레이터 각각에 설정하여 2 이상의 시뮬레이션들이 서로 독립 적으로 상기 2 이상의 시뮬레이터로써 병렬적으로 실행하여 빠른 시뮬레이션 속도 내지는 설계블럭들에 대한 가시도를 신속하게 확보하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 3 항 내지는 제 4 항 내지는 제 5 항 내지는 제 9 항 내지는 제 10 항 내지는 제 11 항 내지는 제 12 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 27 항 내지는 제 54 항 내지는 제 55 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 빠른 시뮬레이션이 수행될 수 있도록 원래의 설계 코드 대신에 원래 설계 코드와 함수적으로 등가이나 다른 구문 형식으로 변환된 설계 코드를 사용하여서 시뮬레이션하는 검증 방법
- 시뮬레이션을 여러 개의 테스트벤치로써 수 차례 수행하여 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계 오류들의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 설계 검증의 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 2 이상의 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 2 이상의 DUV에서의 1 이상의 설계객체들의 상태 정보와 경우에 따라서는 TB의 상태 정보들을 저장하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 처음으로 수행되는 시뮬레이션에서 2 이상의 시뮬레이터를 이용하여 상기 1차 시뮬레이션 과정에서 저장된 2 이상의 상기 DUV에서의 1 이상의 설계객체들의 상태와 경우에 따라서는 TB의 상태들로부터 시뮬레이션이 병렬적으로 진행할 수 있도록 하고, 이 병렬적 시뮬레이션이 진행되는 과정에서 설계 코드에 존재하는 1 이상의 특정 설계블록들의 입력과 입출력값들을 병렬적으로 탐침하여 얻어진 2 이상의 덤프 파일들이나 이들을 테스트벤치로 변환된 파일들을 해당 설계블록들과 같이 2 이상의 시뮬레이터들을 이용하여 동시에 시뮬레이션 컴파일하여 2 이상의 시뮬레이션 실행파일들을 생성하고, 상기 2 이상의 컴퓨터들에서 병렬적으로 시뮬레이션 하는 과정을 통하여 빠른 시뮬레이션 속도 내지는 설계블럭들에 대한 가시도를 확보하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 27 항 내지는 제 29 항 내지는 제 96 항에 있어서,상기 DUV에서의 1 이상의 설계객체들의 상태 정보로 상기 1 이상의 해당 설계객체들의 최소 상태 정보를 사용하는 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 3 항 내지는 제 4 항 내지는 제 5 항 내지는 제 9 항 내지는 제 10 항 내지는 제 11 항 내지는 제 12 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 27 항 내지는 제 54 항 내지는 제 55 항에 있어서,앞단 시뮬레이션 단계인 1차 시뮬레이션에서 최소한 1 이상의 설계객체들에 대해서 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1 이상의 시뮬레이션들보다 더 추상화된 설계 코드를 이용함으로서 더 추상화된 수준에서 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션을 수행하고, 상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1 이상의 시뮬레이션은 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션보다 덜 추상화된 설계 코드를 이용하여 시뮬레이션을 수행함으로서 신속한 검증을 수행하는 검증 방법
- 제 31 항에 있어서,상기 앞단 시뮬레이션 단계인 1차 시뮬레이션의 결과로 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태 정보를 1 이상의 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 저장하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1 이상의 시뮬레이션에서 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션에서 저장된 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 1 이상의 상태 정보를 이용하여서 1회 이상의 시뮬레이션을 2 이상의 시뮬레이터를 사용하여 병렬적으로 수행하거나 단일 시뮬레이터를 이용하여서 순차적으로 수행함으로서 신속한 검증을 수행하는 검증 방법
- 제 23 항 내지는 제 24 항에 있어서,앞단 시뮬레이션 단계인 1차 시뮬레이션 시행 중에 1 이상의 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 저장된 1 이상의 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태와 상기 입력스티뮬러스로 이용하기 위하여 저장된 1 이상의 파일을 선정하여 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 상기 선정된 1 이상의 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태에서부터 시작될 수 있도록 시뮬레이터를 1회 이상 설정한 후에 시뮬레이션을 1회 이상 진행하면서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행함으로서 빠른 시뮬레이션 속도와 설계블럭들에 대한 가시도를 신속하게 확보하는 설계 검증 방법
- 제 33 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 시뮬레이션들을 상기 선정된 2 이상의 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태들에서부터 시작될 수 있도록 하나의 시뮬레이터를 2회 이상 순서적으로 설정하고 2회 이상 순서적으로 시뮬레이션 진행하는 과정에 있어서, 앞단 시뮬레이션 단계인 1차 시뮬레이션 수행 시에 상기 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태 정보를 저장하는 시뮬레이션 시점 내지는 시뮬레이션 구간이 시뮬레이션 시간적으로 제일 뒤에 있는 DUV에서의 1 이상의 설계객체들의 상태를 우선 상기 하나의 시뮬레이터에 설정하여 이 상태를 가지고 시뮬레이션을 진행하고, 이 후의 시뮬레이션들도 상기 단일 시뮬레이터로써 수행하는 과정에서 상태를 저장한 시뮬레이션 시점 내지는 시뮬레이션 구간이 시뮬레이션 시간적으로 뒤에 있는 것들을 우선으로 하여 시뮬레이터에 설정하여 시뮬레이션들이 시뮬레이션 시간적으로 제일 뒤에서부터 앞서는 순서대로 진행하면서 설계 코드나 합성으로 생성된 게이트수준의 네트리 스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행함으로서 빠른 시뮬레이션 속도와 설계블럭들에 대한 가시도를 신속하게 확보하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 23 항 내지는 제 24 항 내지는 제 33 항 내지는 제 34 항 내지는 제 54 항 내지는 제 55 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션을 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정 중에서 저장된 2 이상의 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태들 각각을 이용하여 2회 이상의 부분 시뮬레이션을 하는 것으로 전환하여, 컴퓨터 네트워크로 연결된 2 이상의 컴퓨터에 인스톨된 2 이상의 시뮬레이터들을 이용하여 상기 2 이상의 DUV에서의 1 이상의 설계객체들의 상태들 각각을 상기 2이상의 시뮬레이터 각각에 설정하여 2 이상의 시뮬레이션들이 서로 독립적으로 상기 2 이상의 시뮬레이터로써 병렬적으로 실행하여 빠른 시뮬레이션 속도와 설계블럭들에 대한 가시도를 신속하게 확보하는 설계 검증 방법
- 시뮬레이션을 여러 개의 테스트벤치로써 수 차례 수행하여 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계 오류들의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 앞단 시뮬레이션 단계인 설계 검증의 1차 시뮬레이션 과정에서 2 이상의 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 2 이상의 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태 와 시뮬레이션 전 구간에 걸쳐서 상기 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 모든 입력 값들과 입력모드시의 모든 입출력 값들을 이 입력들에서나 입출력들에서 매 이벤트 발생시마다 내지는 매 사이클마다 내지는 매 트란젝션 마다 저장하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 처음으로 수행되는 시뮬레이션에서 2 이상의 시뮬레이터를 이용하여 상기 1차 시뮬레이션 과정에서 저장된 2 이상의 상기 가시도가 필요한 DUV에서의 1 이상의 설계객체들의 상태들로부터 시뮬레이션이 병렬적으로 진행할 수 있도록 하고, 이 병렬적 시뮬레이션이 진행되는 과정에서 설계 코드에 존재하는 1 이상의 특정 설계블록들의 입력과 입출력값들을 병렬적으로 탐침하여 얻어진 2 이상의 덤프 파일들이나 이들을 테스트벤치로 변환된 파일들을 해당 설계블록들과 같이 2 이상의 시뮬레이터들을 이용하여 동시에 시뮬레이션 컴파일하여 2 이상의 시뮬레이션 실행파일들을 생성하고, 상기 2 이상의 컴퓨터들에서 병렬적으로 시뮬레이션 하는 과정을 통하여 빠른 시뮬레이션 속도와 설계블럭들에 대한 가시도를 확보하는 설계 검증 방법
- 추상화 수준으로 상위에서 표현된 설계객체와 이와 상위 추상화 수준에서 함수적으로 등가이나, 추상화 수준으로 하위에서 표현된 설계객체를 대상으로, 상기 상위수준으로 표현된 설계객체의 시뮬레이션 결과를 이용하여서 상기 하위수준으로 표현된 설계객체에 대한 시뮬레이션을 신속하게 수행하는 검증 방법
- 제 37 항 내지는 제 57 항 내지는 제 58 항에 있어서,상기 상위수준에서의 시뮬레이션 결과가 1 이상의 설계객체들에 대한 상태 정보를 포함하는 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 38 항 내지는 제 64 항 내지는 제 65 항에 있어서,상기 1 이상의 설계객체들에 대한 상태 정보가 완전상태 정보인 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 38 항 내지는 제 64 항 내지는 제 65 항에 있어서,상기 1 이상의 설계객체들에 대한 상태 정보가 최소상태 정보인 검증 방법
- 제 38 항 내지는 제 39 항 내지는 제 40 항 내지는 제 64 항 내지는 제 65 항에 있어서,하위수준에서의 시뮬레이션을 신속하게 수행하는 방법이 상기 1 이상의 설계객체들에 대한 상기 상태 정보를 이용하여서 하위수준에서 2 이상의 시뮬레이션들을 병렬적으로 수행하는 검증 방법
- 제 41 항 내지는 제 67 항에 있어서,병렬적 수행이 시간적 병렬 수행인 검증 방법
- 제 41 항 내지는 제 67 항에 있어서,병렬적 수행이 공간적 병렬 수행인 검증 방법
- 제 37 항에 있어서,상위수준에서의 시뮬레이션 결과와 하위수준에서의 시뮬레이션 결과 중 하나를 레퍼런스로 가정하고, 1 이상의 특정 시뮬레이션 시점 내지는 시뮬레이션 구간에서 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션 결과를 비교하여서, 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과가 다른 상황을 찾아 내어 설계를 수정함으로서, 상기 1 이상의 특정 시뮬레이션 시점 내지는 시뮬레이션 구간에서 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과를 같게 만드는 설계 검증 및 설계 수정 방법
- 제 37 항 내지는 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 사이클-기반 방식이고, 상기 하위수준에서의 시뮬레이션이 이벤트-구동 방식인 설계 검증 및 설계 수정 방법
- 제 37 항 내지는 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 SystemC 시뮬레이션이고, 상기 하위수준에서의 시뮬레이션이 RTL 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 37 항 내지는 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 RTL 시뮬레이션이고, 상기 하위수준에서의 시뮬레이션이 게이트수준 시뮬레이션인 설계 걸증 및 설계 수정 방법
- 제 47 항에 있어서,상기 하위수준에서의 게이트수준 시뮬레이션이 타이밍 정보를 이용한 타이밍 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 44 항 내지는 제 59 항에 있어서,상기 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션 결과와 다른 상황을 신속하게 찾아내기 위하여서, 상위수준에서의 시뮬레이션 결과를 이용하여 하위수준에서 시뮬레이션을 수행하는 설계 검증 및 설계 수정 방법
- 제 44 항 내지는 제 59 항에 있어서,상기 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션 결과와 다른 상황을 신속하게 찾아내기 위하여서, 상위수준에서의 시뮬레이션 결과를 이용하여 하위수준에서 병렬적으로 시뮬레이션을 수행하는 설계 검증 및 설계 수정 방법
- 제 49 항 내지는 제 50 항에 있어서,상기 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션 결과와 다른 상황을 신속하게 찾아내기 위하여서, 상기 하위수준에서 이용하는 상위수준에서의 시뮬레이션 결과가 1 이상의 설계객체들에 대한 상태 정보를 포함하는 설계 검증 및 설계 수정 방법
- 제 51 항에 있어서,상기 1 이상의 설계객체들에 대한 상태 정보가 상기 1 이상의 설계객체들에 대한 완전상태 정보인 설계 검증 및 설계 수정 방법
- 제 51 항에 있어서,상기 1 이상의 설계객체들에 대한 상태 정보가 상기 1 이상의 설계객체들에 대한 최소상태 정보인 설계 검증 및 설계 수정 방법
- 검증 소프트웨어와 1 이상의 시뮬레이터를 구비하는 설계검증 장치에 있어서, 상기 검증 소프트웨어는 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 자동화된 방식을 통하여 부가 코드나 부가 회로를 추가하여 앞단 시뮬레이션 단계인 1차 시뮬레이션을 수행하면서 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1 회 이상의 시뮬레이션들을 시뮬레이션 구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계블록들에 대하여 시뮬레이션들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 시뮬레이터를 이용한 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션을 상기 최소한의 정보를 수집하면서 빠르게 수행하고, 이 수집된 정보를 이용하여 상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 신속하게 수행하는 것을 가능하게 하는 설계 검증 장치.
- 시뮬레이션을 여러 개의 테스트벤치로써 수 차례 수행하여 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계 오류들의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 상기 수 차례의 시뮬레이션들에서의 각각의 시뮬레이션 과정 하나 하나를 앞단 시뮬레이션 단계인 1차 시뮬레이션과 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들로 나누어서 수행하며, 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션을 수행하면서 상기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 시뮬레이션 구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 설계블록들에 대하여 시뮬레이션들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 자동적으로 수집할 수 있도록 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 부가 코드나 부가 회로를 검증 소프트웨어를 이용하여 자동화된 방식으로 추가하고, 상기 앞단 시뮬레이션 단계인 1차 시뮬레이션을 상기 최소한의 정보를 수집하면서 빠르게 수행하고, 이 수집된 정보를 이용하여 상 기 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션들을 신속하게 수행하는 검증 방법.
- 모든 설계 객체들이 변경이 없는 상황에서, 같은 추상화 단계에서 수행되는 앞단 시뮬레이션에서는 시뮬레이션 과정에서 최소한도의 시뮬레이션 실행 결과만을 시뮬레이션 결과로 저장하게 하고, 상기 저장된 앞단 시뮬레이션 결과를 이용하여서 같은 추상화 단계에서 수행되는 후단 시뮬레이션을 2 이상의 시뮬레이터를 이용하여서 병렬적으로 내지는 하나의 시뮬레이터만을 이용하여서 1회 이상 순차적으로 신속하게 수행하는 동시에, 필요시에 후단 시뮬레이션에서는 1 이상의 설계 객체들에 존재하는 1 이상의 변수들 및 시그널들에 대한 덤프를 수행하여 높은 가시도도 동시에 제공하는 검증 방법
- 제 37 항에 있어서,상기 상위수준에서의 시뮬레이션 결과가 시뮬레이션 파형을 저장한 1 이상의파일을 포함하고, 상기 1 이상의 파일을 하위수준에서 이용하는 검증 방법
- 제 37 항에 있어서,상기 상위수준에서의 시뮬레이션 결과로 시뮬레이션 파형을 저장한 1 이상의파일이 존재함으로서, 상기 1 이상의 파일을 하위수준에서 이용하는 검증 방법
- 제 37 항에 있어서,시뮬레이션 파형을 저장한 1 이상의 파일이 상기 상위수준에서의 시뮬레이션 결과로서 존재하고, 이를 하위수준의 시뮬레이션에서 레퍼런스로 활용하여, 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시뮬레이션 결과를 상위수준에서의 시뮬레이션 결과와 비교하여서 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션 결과와 다른 상황을 찾아내어 설계를 수정함으로서 상기 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과가 동일할 수 있도록 하는 설계 검증 및 설계 수정 방법
- 제 44 항 내지는 59 항에 있어서,상기 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시뮬레이션 결과를 상위수준에서의 시뮬레이션 결과와 비교하여서 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션 결과와 다른 상황을 찾아내어 설계를 수정함으로서 상기 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과가 동일할 수 있도록 하는 것을, 하위수준에서의 시뮬레이션 결과를 상위수준에서의 시뮬레이션 결과와 같아지도록 함으로서 달성하는 설계 검증 및 설계 수정 방법
- 제 44 항 내지는 제 59 항에 있어서,상기 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시뮬레이션 결과를 상위수준에서의 시뮬레이션 결과와 비교하여서 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션결과와 다른 상황을 찾아내어 설계를 수정함으로서 상기 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과가 동일할 수 있도록 하는 것을, 상위수준에서의 시뮬레이션 결과를 하위수준에서의 시뮬레이션 결과와 같아지도록 함으로서 달성하는 설계 검증 및 설계 수정 방법
- 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 트란젝션-기반 시뮬레이션이고, 상기 하위수준에서의 시뮬레이션이 사이클-기반 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 행위수준 시뮬레이션이고, 상기 하위수준에서의 시뮬레이션이 레지스터전송수준 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 37 항 내지는 제 57 항 내지는 제 58 항에 있어서,상기 상위수준에서의 시뮬레이션 결과가 1 이상의 설계객체들에 대한 상태 정보와 시뮬레이션 전 구간에 걸친 상기 1 이상의 설계객체들에 대한 모든 입력과 입력모드시의 입출력 정보를 포함하는 검증 방법
- 제 38 항 내지는 제 64 항에 있어서,상기 1 이상의 설계객체들에 대한 상태 정보가 시뮬레이션 전 구간 상에서의 모든 상태 정보가 아닌 시뮬레이션 구간 상에서의 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서만의 상태 정보인 검증 방법
- 제 37 항 내지는 제 57 항 내지는 제 58 항에 있어서,상기 상위수준에서의 시뮬레이션 결과가 시뮬레이션 전 구간에 걸친 상기 1 이상의 설계객체들에 대한 모든 입력과 입력모드 시의 입출력 정보를 포함하는 검증 방법
- 제 66 항에 있어서,하위수준에서의 시뮬레이션을 신속하게 수행하는 방법이 상기 시뮬레이션 전 구간에 걸친 상기 1 이상의 설계객체들에 대한 모든 입력과 입력모드 시의 입출력 정보를 이용하여서 하위수준에서 2 이상의 시뮬레이션들을 병렬적으로 수행하는 검증 방법
- 제 41 항 내지는 제 67 항에 있어서,병렬적 수행이 시간적 병렬 수행과 공간적 병렬 수행을 혼용한 검증 방법
- 제 37 항 내지는 38 항 내지는 제 64 항에 있어서,하위수준에서의 시뮬레이션을 신속하게 수행하는 방법이 상위수준에서의 시뮬레이션 과정에서 얻어진 1 이상의 설계객체들에 대한 상태 정보와 1 이상의 설계객체들에 대한 모든 입력과 입력모드 시의 입출력 정보를 이용함으로서 하위수준에서 2 이상의 시뮬레이션들을 이용한 병렬적 수행이 시간적 병렬 수행과 공간적 병렬 수행을 혼용하여 이루어지는 검증 방법
- 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 트란젝션-기반 방식이고, 상기 하위수준에서의 시뮬레이션이 이벤트-구동 방식인 설계 검증 및 설계 수정 방법
- 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 트란젝션-기반 방식과 사이클-기반 방식을 같이 사용하고, 상기 하위수준에서의 시뮬레이션이 이벤트-구동 방식인 설계 검증 및 설계 수정 방법
- 제 28 항에 있어서,상기 원래 설계 코드와 함수적으로 등가이나 다른 구문 형식으로 변환된 설계 코드에서 적어도 일부분이 논리변환 내지는 논리합성 과정을 통하여 얻어지는 검증 방법
- 제 28 항에 있어서,상기 원래 설계 코드와 함수적으로 등가이나 다른 구문 형식으로 변환된 설계 코드가 적어도 부분적으로 이진결정다이아그램(BDD) 내지는 다진결정다이아그램(MDD)으로 표현되어져서 시뮬레이션되는 검증 방법
- 하위수준에서의 시뮬레이션 결과를 이용하여서 상위수준에서의 시뮬레이션의 결과를 부분적으로 내지는 전체적으로 수정하는 상위수준에서의 재시뮬레이션을 수행하는 검증 방법
- 제 37 항 내지는 제 74 항에 있어서,상위수준에서의 시뮬레이션 결과와 하위수준에서의 시뮬레이션 결과를 가지고, 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시뮬레이션 결과가 상위수준에서의 시뮬레이션 결과를 비교하여서, 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과가 다른 상황을 찾아내어 다른 부분에서의 부분적 시뮬레이션을 1회 이상 수행함으로서, 상기 1 이상의 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 하위수준에서의 시 뮬레이션 결과와 상위수준에서의 시뮬레이션 결과를 같게 만드는 설계 검증 방법
- 제 75 항에 있어서,상기 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과가 다른 부분에서의 1회 이상의 부분적 시뮬레이션이, 상위수준에서의 시뮬레이션 결과를 하위수준에서의 시뮬레이션에서 이용하고 이렇게 하여 얻어진 하위수준에서의 시뮬레이션 결과를 다시 상위수준에서의 시뮬레이션에서 이용하고, 이와 같은 과정을 계속적으로 반복하여 적용함으로서 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과를 같게 만드는 설계 검증 방법
- 제 37 항 내지는 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 타이밍 정보를 이용하지 않은 게이트수준 시뮬레이션이고, 상기 하위수준에서의 시뮬레이션이 타이밍 정보를 이용한 게이트수준에서의 타이밍 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 47 항 내지는 77 항에 있어서,상기 게이트수준 시뮬레이션이 타이밍 정보를 이용하지 않은 게이트수준 시뮬레이션인 경우에 시뮬레이션 대상이 되는 설계객체의 일부분이 부분적으로 이진결정다이아그램(BDD) 내지는 다진결정다이아그램(MDD)으로 표현되어져서 시뮬레이션되는 검증 방법
- 제 76 항에 있어서,상기 상위수준에서의 시뮬레이션 결과를 하위수준에서의 시뮬레이션에서 이용하고 이렇게 하여 얻어진 하위수준에서의 시뮬레이션 결과를 다시 상위수준에서의 시뮬레이션에서 이용하는 반복적인 과정이, 한번 반복할 때마다 시뮬레이션 하는 시간 구간을 좁혀가면서 적용함으로서 하위수준에서의 시뮬레이션 결과와 상위수준에서의 시뮬레이션 결과를 같게 만드는 설계 검증 방법
- 검증 소프트웨어와 2 이상의 다른 검증 플랫폼을 구비하는 설계검증장치에 있어서 상기 검증 소프트웨어는 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 자동화된 방식을 통하여 부가 코드나 부가회로를 부가하여 상기 2 이상의 다른 검증 플랫폼들 중의 1 이상의 특정 검증 플랫폼 상에서 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 다른 검증 플랫폼 상에서 수행되는 검증 실행을 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 블록들에 대하여 검증 실행들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 1차 검증 플랫폼을 이용한 1차 검증 실행을 수행하면서 상기 최소한의 정보를 수집하고, 이 수집된 정보를 이용하여 상기 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서 1차 검증 실행 시작 이후의 1회 이상의 검증 실행을 신속하게 수행하는 것을 가능하게 하는 설계 검증 장치.
- 제 80 항에 있어서,상기 2 이상의 다른 검증 플랫폼들 중의 특정 검증 플랫폼 상에서 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 상기 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서 수행되는 검증 실행의 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 블록들에 대하여 검증 실행들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1차 검증 실행을 위한 1 이상의 검증 플랫폼을 이용한 1차 검증 실행을 수행하면서 상기 최소한의 정보를 수집하고, 이 수집된 정보를 이용함으로서 상기 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서 1차 검증 실행 시작 이후의 1회 이상의 검증 실행을 0 검증사이클 시간에서부터 시작되지 않아도 되도록 함으로서 검증을 신속하게 수행하는 것을 가능하게 하는 설계 검증 장치.
- 제 80 항에 있어서,2 이상의 다른 검증 플랫폼들 중의 특정 1 이상의 검증 플랫폼 상에서 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 상기 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서 수행되는 검증 실행의 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 블록들에 대하여 검증 실행들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1차 검증 플랫폼을 이용한 1차 검증 실행을 수행하면서 상기 최소한의 정보를 수집하고, 이 수집된 정보를 이용함으로서 상기 1차 검증 실행을 위한 1 이상의 검증 플랫폼을 이용한 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 검증 플랫폼 상에서 1차 검증 실행 시작 이후의 1회 이상의 검증 실행에서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 특정 블록들에 대해서만 검증 실행을 할 수 있도록 함으로서 검증을 신속하게 수행하는 것을 가능하게 하는 설계 검증 장치.
- 2 이상의 검증 플랫폼을 혼합적으로 이용하여 설계 검증 실행을 수행함으로서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 설계 오류의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 상기 설계 검증 실행을 상기 2 이상의 검증 플랫폼 중의 1 이상의 특정 검증 플랫폼 상에서의 1차 검증 실행과 1차 검증 실행 시작 이후의 검증 실행은 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서의 1회 이상의 검증 실행들로 나누어서 수행하며, 상기 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 다른 검증 플랫폼 상에서 수행되는 1회 이상의 검증 실 행의 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 블록들에 대하여 검증 실행들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 1차 검증 플랫폼을 이용한 1차 검증 실행을 수행하면서 상기 최소한의 정보를 수집하고, 이 수집된 정보를 이용함으로서 상기 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서 1차 검증 실행 시작 이후의 1회 이상의 검증 실행에서 검증 실행의 특정 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 특정 블록들에 대해서만 검증 실행을 할 수 있도록 함으로서 검증을 신속하게 수행하는 것을 가능하게 검증 방법
- 제 83 항에 있어서,2 이상의 검증 플랫폼을 혼합적으로 이용하여 설계 검증 실행을 수행함으로서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 설계 오류의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 상기 설계 검증 실행을 상기 2 이상의 검증 플랫폼 중의 1 이상의 특정 검증 플랫폼 상에서의 1차 검증 실행과 1차 검증 실행 시작 이후의 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서의 1회 이상의 검증 실행들로 나누어서 수행하며, 상기 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 다른 검증 플랫폼 상에서 수행되는 1회 이상의 검증 실행에서 검증 실 행의 특정 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 특정 블록들에 대하여 검증 실행들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 1차 검증 플랫폼을 이용한 1차 검증 실행을 수행하면서 상기 최소한의 정보를 수집하고, 이 수집된 정보를 이용하여 상기 1차 검증 실행 시작 이후의 검증 실행을 상기 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서 0 검증사이클 시간에서부터 시작되지 않아도 되도록 함으로서 검증을 신속하게 수행하는 것을 가능하게 하는 검증 방법
- 제 83 항 내지는 제 84 항에 있어서,1차 검증 실행 시작 이후의 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서의 1회 이상의 검증 실행 각각을 2 이상의 검증 플랫폼들 상에서 병렬적으로 수행함으로서 검증을 신속하게 수행하는 것을 가능하게 하는 검증 방법
- 제 85 항에 있어서,1차 검증 실행 시작 이후의 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서의 1회 이상의 검증 실행 각각을 수행하기 위한, 상기 2 이상의 검증 플랫폼들 구성을 둘 이상의 서로 상이한 각각 다른 검증 플랫폼들로 구성하여 이들을 병렬적으로 수행함으로서 검증을 신속하게 수행하는 것을 가능하게 하는 검증 방법
- 제 83 항 내지는 제 84 항에 있어서,1차 검증 실행 시작 이후의 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 다른 검증 플랫폼 상에서의 1회 이상의 검증 실행 각각을 하나의 검증 플랫폼 상에서 순서적으로 수행함으로서 검증을 수행하는 것을 가능하게 하는 검증 방법
- 제 83 항 내지는 제 84 항 내지는 제 85 항 내지는 제 86 항 내지는 제 87 항에 있어서,1차 검증 실행 시작 이후의 1회 이상의 검증 실행에 있어서, 검증 실행 각각에서의 실행하고자 하는 검증사이클 전체구간이나 검증사이클 특정구간을 1 이상의 특정 검증 플랫폼을 이용한 1차 검증 실행에서 수집된 2 이상의 상태 정보들에서부터 시작될 수 있도록 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 다른 하나의 검증 플랫폼을 2회 이상 순서적으로 설정하고 2회 이상 순서적으로 상기 다른 하나의 검증 플랫폼을 실행시키는 과정에 있어서, 1차 검증 실행 시에 상태 정보를 저장하는 시뮬레이션 시점 내지는 시뮬레이션 구간이 검증시간 적으로 제일 뒤에 있는 상태 정보를 우선 상기 하나의 검증 플랫폼에 설정하여 이 상태 정보를 가지고 진행하고, 이 후의 실행들도 상기 하나의 검증 플랫폼으로써 수행하는 과정 에서 1차 검증실행 과정에서 상태 정보를 저장한 시뮬레이션 시점 내지는 시뮬레이션 구간이 검증시간 적으로 뒤에 있는 것들을 우선으로 하여 상기 하나의 검증 플랫폼에 설정하여 1차 검증 실행 시작 이후의 검증 실행들 각각이 2 이상의 상태 정보를 이용하여 검증시간 적으로 제일 뒤에서부터 앞서는 순서대로 진행하면서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행하는 설계 검증 방법
- 제 80 항 내지는 제 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항에 있어서,최소한의 정보 수집이 1차 검증 실행 과정에서 일정 간격으로 혹은 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 DUV의 상태 정보와 검증사이클 전체에서 DUV의 모든 입력과 입출력 정보를 1 이상의 파일 형태로 저장하는 포함하는 설계 검증 방법
- 제 80 항 내지는 제 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항에 있어서,최소한의 정보 수집이 1차 검증 실행 과정에서 일정 간격으로 혹은 특정 시뮬레이션 시점들 내지는 특정 시뮬레이션 구간들에서 DUV의 상태 정보와 TB의 상태 정보를 1 이상의 파일 형태로 저장하는 포함하는 설계 검증 방법
- 제 80 항 내지는 제 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항에 있어서,1차 검증 실행에 사용된 검증 플랫폼이 1 이상의 시뮬레이터인 경우에 있어서, 최소한의 정보 수집이 1차 검증 실행 과정에서 일정 간격으로 혹은 특정 시뮬레이션 시점들 내지는 시뮬레이션 구간들에서 시뮬레이션 상태를 1 이상의 파일 형태로 저장하는 것을 포함하는 설계 검증 방법
- 제 91 항에 있어서,상기 1 이상의 시뮬레이터를 이용한 1차 검증 실행 시행 중에 1 이상의 시점들에서 시뮬레이션 상태를 저장하는 방법을 시뮬레이터의 save 명령어를 사용하고, 1차 검증 실행 시작 이후의 검증 실행들을 상기 선정된 1 이상의 시뮬레이션 상태에서부터 추출된 상태 정보에서부터 시작될 수 있도록 하는 설계 검증 방법
- 제 80 항 내지는 제 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항에 있어서,최소한의 정보 수집이 1차 검증 실행 과정에서 설계 코드나 합성으로 생성된 게이트 수준의 네트리스트에 존재하는 특정 블록들의 입력과 입출력을 검증사이클 전체에서 지속적으로 탐침하여 1 이상의 파일 형태로 저장하는 것을 포함하는 설계 검증 방법.
- 제 85 항 내지는 제 86 항에 있어서,1차 검증 실행 시작 이후의 검증 실행 각각을 1차 검증 실행 과정에서 저장된 2 이상의 DUV 상태 정보들 각각을 이용하여 2회 이상의 부분 검증 실행을 하는 것으로 전환하여, 컴퓨터 네트워크로 연결된 2 이상의 컴퓨터에 인스톨된 2 이상의 검증 플랫폼들을 이용하여 상기 2 이상의 상태 정보들 각각을 상기 2 이상의 검증 플랫폼 각각에 설정하여 2회 이상의 부분 검증 실행이 서로 독립적으로 상기 2 이상의 검증 플랫폼으로써 병렬적으로 실행되게 하고, 필요시 실행된 2 이상의 결과들을 컴퓨터 네트워크를 이용하여 한 컴퓨터에 전송하고 통합하여 전체의 검증 결과로 제공하는 설계 검증 방법
- 제 85 항 내지는 제 86 항에 있어서,1차 검증 실행 시작 이후의 검증 실행 각각을 1차 검증 실행을 통하여 얻어진 2 이상의 블록들과 이들 블록들 각각의 모든 입력과 입출력을 1차 검증 실행 전과정에서 탐침한 2 이상의 탐침 파일들을 컴파일하여 얻어진 2 이상의 실행 파일들을 컴퓨터 네트워크로 연결된 2 이상의 컴퓨터에 인스톨된 2 이상의 검증 플랫폼들을 이용하여 독립적으로 병렬적으로 실행하고, 필요시 실행된 2 이상의 결과들을 컴퓨터 네트워크를 이용하여 한 컴퓨터에 전송하고 통합하여 전체의 검증 결과로 제공하는 설계 검증 방법
- 제 82 항에 있어서,1차 검증 실행 시행 중에 1 이상의 검증 시점들 내지는 검증 구간들에서 저장된 1 이상의 설계객체들에 대한 상태 정보들 중에서 1 이상의 상태 정보를 선정하여 1차 검증 실행 시작 이후의 설계 검증들을 상기 선정된 1 이상의 상태 정보에서부터 시작될 수 있도록 1차 검증 실행에서 사용된 검증 플랫폼과는 다른 검증 플랫폼을 1회 이상 설정한 후에 검증 실행을 1회 이상 진행하면서 설계 코드나 합성으로 생성된 게이트 수준의 네트리스트에 존재하는 시그널들과 변수들에 대한 탐침을 수행하는 설계 검증 방법
- 제 83 항에 있어서,1차 검증 실행 중에 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 블록들에 대한 입력과 입출력들을 검증 실행의 검증사이클 전 과정에서 탐침하여 저장한 1 이상의 탐침 파일들 중에서 1 이상을 선정하여 1차 검증 실행 시작 이후의 검증 실행들을 상기 선정된 1 이상의 탐침 파일과 해당 1 이상의 블록들을 이용하여 1차 검증 실행에서 사용된 검증 플랫폼과는 다른 검증 플랫폼을 위하여 컴파일하여 생성된 1 이상의 파일들 중에서 추가적인 탐침이 필요한 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 시그널들과 변수들을 가지고 있는 해당 1 이상의 블록들에 관계되는 파일을 이용하여 상기 추가적인 탐침을 수행하는 설계 검증 방법
- 임의의 시뮬레이션 수행 내지는 시뮬레이션가속 수행 내지는 하드웨어에뮬레 이션 수행 내지는 프로토타이핑 수행을 통하여 얻어진 검증 실행 결과를 이용한 추가적인 설계 검증 수행에서, 상기 추가적인 설계 검증 수행을 2 이상의 검증 플랫폼 중의 1 이상의 특정 검증 플랫폼 상에서의 1차 검증 실행과 1차 검증 실행 시작 이후의 검증 실행은 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서의 1회 이상의 검증 실행들로 나누어서 수행하며, 상기 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 다른 검증 플랫폼 상에서 수행되는 1회 이상의 검증 실행의 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 블록들에 대하여 검증 실행들이 이루어질 수 있도록 하는데 필요한 최소한의 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 1차 검증 플랫폼을 이용한 1차 검증 실행을 수행하면서 상기 최소한의 정보를 수집하고, 이 수집된 정보를 이용함으로서 상기 1차 검증 실행에 사용된 1 이상의 특정 검증 플랫폼과는 최소한 하나 이상에서 다른 1 이상의 검증 플랫폼 상에서 1차 검증 실행 시작 이후의 1회 이상의 검증 실행에서 검증 실행의 특정 검증사이클 시간구간들이나 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 1 이상의 특정 블록들에 대해서만 검증 실행을 할 수 있도록 함으로서 검증을 신속하게 수행하는 것을 가능하게 검증 방법
- 검증 소프트웨어와 1 이상의 검증플랫폼을 구비하는 설계검증 장치에 있어서, 상기 검증 소프트웨어는 1 이상의 설계객체들로 구성되는 설계 코드나 설계 회 로에 자동화된 방식을 통하여 부가코드나 부가회로를 추가하여 상기 1 이상의 검증 플랫폼들에 설계 코드나 설계 회로를 부가코드나 부가회로와 함께 구현하여 1회 이상의 검증 실행 도중에서 1 이상의 특정 검증 시점들 내지는 특정 검증 구간들에서 동적 정보의 수집을 가능하게 하고, 이 수집된 동적 정보를 1 이상의 설계객체들이 변경된 후에 실행되는 검증 실행에 재활용함으로서 1 이상의 설계객체들이 변경된 후에 실행되는 검증 실행의 전체 시간을 전체적으로 내지는 부분적으로 단축시킬 수 있게 하는 설계 검증 장치.
- 검증 소프트웨어와 1 이상의 검증플랫폼을 이용하여, 1 이상의 설계 객체들로 구성되는 설계 코드나 설계 회로에 자동화된 방식을 통하여 부가코드나 부가회로를 추가하여 상기 1 이상의 검증 플랫폼들에 설계 코드나 설계 회로를 부가코드나 부가회로와 함께 구현하여 1회 이상의 검증 실행 도중에 1 이상의 특정 검증 시점들 내지는 검증 구간들에서 동적 정보의 수집을 가능하게 하고, 이 수집된 동적 정보를 1 이상의 설계객체들이 변경된 후에 실행되는 검증 실행에 재활용함으로서 1 이상의 설계객체들이 변경된 후에 실행되는 검증 실행의 전체 시간을 전체적으로 내지는 부분적으로 단축시킬 수 있게 하는 설계 검증 방법.
- 제 99 항 내지는 제 100 항에 있어서,1 이상의 설계객체의 변경 후의 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점을 찾는 방법을 변경된 1 이상의 설계객체들의 모든 출력과 양방향 입출력들 값들과 변경되기 전의 상기 1 이상의 설계객체들의 모든 출력과 양방향 입출력들 값들과 비교하여 자동화된 방식으로 찾아내는 설계 검증 방법.
- 제 99 항 내지는 제 100 항에 있어서,1 이상의 설계객체의 변경 후의 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점을 찾는 방법을 변경된 1 이상의 설계객체들의 모든 출력 값들과 변경되기 전의 상기 1 이상의 설계객체들의 모든 출력 값들과 비교하여 자동화된 방식으로 찾아내는 설계 검증 방법.
- 제 99 항 내지는 제 100 항에 있어서,1 이상의 설계객체들의 변경 후의 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점을 찾는 방법을 변경 전 1회 이상의 검증 실행 과정에서 얻어지는 재생용 입력정보를 변경된 1 이상의 설계객체들 만에 인가하여서 자동화된 방식으로 찾아내는 설계 검증 방법.
- 제 99 항 내지는 제 100 항 내지는 제 101 항 내지는 제 102 항 내지는 제 103 항에 있어서,1 이상의 설계객체들 변경 후에 수행되는 검증 실행에서 상기 1 이상의 설계객체들의 변경에 의하여 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점까지는 변경된 설계객체들과 이들의 재생용 입력정보만을 이용한 검증수행을 통하여 신속하게 검증하는 설계 검증 방법.
- 제 99 항 내지는 제 100 항 내지는 제 101 항 내지는 제 102 항 내지는 제 103 항에 있어서,1 이상의 설계객체들 변경 후에 수행되는 검증 실행에서 상기 1 이상의 설계객체들의 변경에 의하여 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점까지는 변경된 설계객체들과 이들의 재생용 입력정보를 이용한 검증 수행과 함께 설계 변경이 이루어지지 않은 설계객체들의 일부분만을 이용한 검증 수행만을 통하여 신속하게 검증하는 설계 검증 방법.
- 제 99 항 내지는 제 100 항 내지는 제 101 항 내지는 제 102 항 내지는 제 103 항에 있어서,1 이상의 설계객체들 변경 후에 수행되는 검증 실행에서 상기 1 이상의 설계객체들의 변경에 의하여 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점이후부터는 모든 설계 객체들을 포함한 검증실행으로 자동적으로 전환하여 검증 실행하는 설계 검증 방법.
- 제 99 항 내지는 제 100 항 내지는 제 101 항 내지는 제 102 항 내지는 제 103 항에 있어서,1 이상의 설계객체들 변경 후에 수행되는 검증 실행에서 상기 1 이상의 설계객체들의 변경에 의하여 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 달라지는 1 이상의 특정시점에서부터 다시 같아지는 특정시점까지는 모든 설계객체들을 포함한 검증실행으로 자동적으로 전환하여 검증 실행하는 설계 검증 방법.
- 제 99 항 내지는 제 100 항 내지는 제 101 항 내지는 제 102 항 내지는 제 103 항에 있어서,1 이상의 설계객체들 변경 후에 수행되는 검증 실행에서 상기 1 이상의 설계객체들의 변경에 의하여 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점까지는 변경된 설계객체들과 이들의 재생용 입력정보를 이용하여 신속하게 검증하고, 상기 제일 처음으로 달라지는 시점이후부터는 모든 설계객체들을 포함한 검증실행으로 자동적으로 전환하여 검증 실행하는 설계 검증 방법.
- 제 106 항 내지는 제 108 항에 있어서,상기 제일 처음으로 달라지는 시점이후부터는 모든 설계객체들을 포함한 검증실행으로 자동적으로 전환을 위하여, 설계 변경이 되지 않은 설계객체들의 상태 정보 복원을 상기 제일 처음으로 달라지는 시점 부근에서 설계 변경이 이루어지기 전에 수행된 검증 실행 과정에서 수집된 설계객체들의 상태 정보를 활용하여 자동화된 방식으로 이루어지는 설계 검증 방법.
- 제 109 항에 있어서,상기 제일 처음으로 달라지는 시점이후부터는 모든 설계객체들을 포함한 검증실행으로 자동적으로 전환을 위하여, 설계 변경이 되지 않은 설계객체들의 상태 정보 복원을 시뮬레이터의 재출발 기능을 이용하고, 상기 제일 처음으로 달라지는 시점 부근에서 설계 변경이 이루어지기 전에 수행된 검증 실행 과정에서 수집된 설계객체들의 상태 정보를 활용하기 위한 저장을 시뮬레이터의 스냅샷 기능을 이용하는 설계 검증 방법.
- 제 110 항에 있어서,상기 제일 처음으로 달라지는 시점이후부터는 모든 설계객체들을 포함한 검증실행으로 자동적으로 전환을 위하여, 설계 변경이 되지 않은 설계객체들의 상태 정보 복원을 시뮬레이터의 재출발 기능을 이용하는 경우에 이를 시뮬레이터의 restore나 restart로 하고, 상기 제일 처음으로 달라지는 시점 부근에서 설계 변경 이 이루어지기 전에 수행된 검증 실행 과정에서 수집된 설계객체들의 상태 정보를 활용하기 위한 저장을 시뮬레이터의 스냅샷 기능을 이용하는 경우에 이를 시뮬레이터의 save나 checkpoint로 하는 설계 검증 방법.
- 제 99 항 내지는 제 100 항에 있어서,1 이상의 설계객체들의 변경에 의하여 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점을 찾는 방법을 변경된 1 이상의 설계객체들의 모든 출력과 양방향 입출력들 값들과 변경되기 전의 상기 1 이상의 설계객체들의 든 출력과 양방향 입출력들 값들과 순서적으로 비교하여 자동화된 방식으로 찾아내는 설계 검증 방법.
- 제 99 항 내지는 제 100 항에 있어서,1 이상의 설계객체들의 변경에 의하여 설계 검증 실행 결과가 설계객체 변경 전의 설계 검증 실행 결과와 검증 시간 측면에서 제일 처음으로 달라지는 시점을 찾는 방법을 변경되기 전의 설계객체에 대한 1 이상의 검증 시점에서의 동적정보를 병렬적으로 이용하여 자동화된 방식으로 찾아내는 설계 검증 방법.
- 제 99 항에 있어서,상기 검증플래폼이 시뮬레이터 내지는, 시뮬레이션가속기 내지는, 에뮬레이터 내지는, 프로토타이핑시스템 내지는, 이들의 혼합으로 된 설계 검증 장치
- 제 99 항 지는 제 100 항 지는 제 101 항 내지는 제 102 항 내지는 제 103 항 내지는 제 104 항 내지는 제 105 항 내지는 제 99 항 내지는 제 110 항 내지는 제 111 항에 있어서,상기 검증수행의 전체 혹은 일부분이 시뮬레이터를 통하여 이루어지는 경우에는 전체의 검증수행을 위하여 2 이상의 프로세스들을 프로세스간통신을 사용하여 연동시켜서 하는 설계 검증 방법
- 제 115 항에 있어서,검증 수행 도중에 프로세스간통신을 사용하여 연동되는 상기 2개 이상의 프로세스들 중에서 최소한 1 개의 프로세스에 대하여 스냅셧을 활용하여 설계 코드 변경 전의 검증 수행 과정에서 1 이상의 설계객체들에 대한 동적정보를 수집하고, 설계 코드 변경 후에 실행되는 특정 시간대에서부터의 검증 실행을 상기 동적정보를 이용한 재출발을 통하여서 수행함으로서 상기 1 이상의 설계객체들이 변경된 후의 검증 실행의 전체 시간을 전체적으로 내지는 부분적으로 단축시키는 설계 검증 방법
- 제 116 항에 있어서,상기 스냅셧을 시뮬레이터의 save 기능 내지는 checkpoint 기능을 이용하고, 상기 재출발을 시뮬레이터의 restart 기능 내지는 restore 기능을 이용하는 설계 검증 방법
- 제 99 항 지는 제 100 항 지는 제 101 항 내지는 제 102 항 내지는 제 103 항 내지는 제 104 항 내지는 제 105 항 내지는 제 106 항 내지는 제 108 항 내지는 제 109 항 내지는 제 115 항 내지는 제 116 항 내지는 제 117 항에 있어서,검증플랫폼으로 시뮬레이션가속기를 사용하는 경우 내지는 시뮬레이션가속기가 포함된 검증플랫폼을 사용하는 설계 검증 방법
- 제 106 항 내지는 제 108 항 내지는 제 109 항 내지는 제 110 항 내지는 제 111 항에 있어서,상기 설계 변경 후에 수행되는 검증 실행 과정에서 상기 자동 전환하는 시점의 결정이 상기 부가코드가 설계객체에 추가되어져서 검증 실행 과정에서 수행됨으로서 자동적으로 이루어지는 설계 검증 방법
- 제 106 항 내지는 제 108 항 내지는 제 109 항 내지는 제 110 항 내지는 제 111 항에 있어서,상기 설계 변경 후에 수행되는 검증 실행 과정에서 상기 자동 전환하는 시점에서의 설계 변경된 설계객체들의 동적정보와 설계 변경이 않된 설계객체들의 동적정보와 같은 검증시간대로 정확하게 맞추어주는 것이 부가코드가 설계객체들에 추가되어져서 검증 실행 과정에서 수행됨으로서 자동적으로 이루어지는 설계 검증 방 법
- 제 106 항 내지는 제 108 항 내지는 제 109 항 내지는 제 110 항 내지는 제 111 항에 있어서,상기 설계 변경 후에 수행되는 검증 실행 과정에서 상기 자동 전환하는 시점에서부터는 모든 설계객체들을 이용한 설계 검증으로 전환되어 검증 수행되는 것이 부가코드가 설계객체들에 추가되어져서 검증 실행 과정에서 수행됨으로서 자동적으로 이루어지는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 코드에 존재하는 최장 지연시간을 자동화된 방법으로 조사하여 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 최장 지연시간과 같게 하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 코드에 존재하는 1 이상의 사용자클럭의 최장 주기를 자동화된 방법으로 조사하여 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 사용자클럭의 최장 주기와 같게 하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 코드에 존재하는 최장 지연시간을 자동화된 방법으로 조사하여 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 최소한 최장 지연시간보다 크게 하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지 는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 코드에 존재하는 1 이상의 사용자클럭의 최장 주기를 자동화된 방법으로 조사하여 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 최소한 사용자클럭의 최장 주기보다 크게 하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 검증 과정에서 사용자가 설계 코드에 존재하는 최장 지연시간을 입력하고 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 최장 지연시간과 같게 하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 검증 과정에서 사용자가 설계 코드에 존재하는 최장 지연시간을 입력하고 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 최장 지연시간보다 크게 하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 검증 과정에서 사용자가 설계 코드에 존재하는 1 이상의 사용자클럭의 최장 주기를 입력하고 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 사용자클럭의 최장 주기와 같게 하는 설계 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 29 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 36 항 내지는 제 44 항 내지는 제 59 항 내지는 제 60 항 내지는 제 61 항 내지는 제 65 항 내지는 제 75 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 96 항 내지는 제 99 항 내지는 제 100 항에 있어서,설계 검증 과정에서 사용자가 설계 코드에 존재하는 1 이상의 사용자클럭의 최장 주기를 입력하고 앞단 시뮬레이션 단계에서 1 이상의 특정 시뮬레이션 구간에서 상태를 저장하는 경우에 이 구간을 최소한 사용자클럭의 최장 주기보다 크게 하는 설계 검증 방법
- 제 122 항 내지는 제 123 항 내지는 제 124 항 내지는 제 125 항 내지는 제 126 항 내지는 제 127 항 내지는 제 128 항 내지는 제 129 항에 있어서,후단 시뮬레이션 단계에서의 1 이상의 병렬적 내지는 순차적 시뮬레이션의 각 시뮬레이션 시작 시점을 위한 상태설정이 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간의 첫 시작시점에서의 상태와 같도록 설정이 되는 설계 검증 방법
- 제 122 항 내지는 제 123 항 내지는 제 124 항 내지는 제 125 항 내지는 제 126 항 내지는 제 127 항 내지는 제 128 항 내지는 제 129 항에 있어서,후단 시뮬레이션 단계에서의 1 이상의 병렬적 내지는 순차적 시뮬레이션의 각 시뮬레이션 시작 시점을 위한 상태설정이 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간의 첫 시작시점에서의 상태 내지는 특정 시뮬레이션 시점에서의 상태와 같도록 설정이 되며, 계속되는 일정기간까지의 상태설정들을 계속적으로 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간의 첫 시작시점 이후부터 마지막 시점까지의 1 이상의 시점들의 상태들 내지는 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 시점에서의 상태와 같도록 하는 설계 검증 방 법
- 제 122 항 내지는 제 123 항 내지는 제 124 항 내지는 제 125 항 내지는 제 126 항 내지는 제 127 항 내지는 제 128 항 내지는 제 129 항에 있어서,후단 시뮬레이션 단계에서의 1 이상의 병렬적 내지는 순차적 시뮬레이션의 각 시뮬레이션 시작 시점을 위한 상태설정이 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간 안에 존재하는 임의의 1 이상의 시점에서의 상태와 같도록 설정이 되는 설계 검증 방법
- 제 122 항 내지는 제 123 항 내지는 제 124 항 내지는 제 125 항 내지는 제 126 항 내지는 제 127 항 내지는 제 128 항 내지는 제 129 항에 있어서,후단 시뮬레이션 단계에서의 1 이상의 병렬적 내지는 순차적 시뮬레이션의 각 시뮬레이션 시작 시점을 위한 상태설정이 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간 안에 존재하는 임의의 시점에서의 상태와 같도록 설정이 되며, 계속되는 일정기간까지의 상태설정들을 계속적으로 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간 안에 존재하는 임의의 시점 이후부터 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간 안에 존재하는 또 다른 임의의 시점 까지의 1 이상의 시점들의 상태들과 같도록 하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 4 항 내지는 제 5 항 내지는 제 6 항 내 지는 제 7 항 내지는 제 8 항 내지는 제 9 항 내지는 제 10 항 내지는 제 11 항 내지는 제 12 항 내지는 제 14 항 내지는 제 15 항 내지는 제 16 항 내지는 제 17 항 내지는 제 18 항 내지는 제 19 항 내지는 제 20 항 내지는 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 27 항 내지는 제 29 항 내지는 제 31 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 35 항 내지는 제 54 항 내지는 제 55 항 내지는 제 161 항 내지는 제 162 항 내지는 제 163 항 내지는 제 164 항 내지는 165 항 내지는 166 항 내지는 167 항에 있어서,앞단 시뮬레이션 시작 이후 앞단 시뮬레이션이 진행되고 있는 도중에 1 이상의 후단 시뮬레이션을 진행할 수 있는 앞단 시뮬레이션의 실행결과들이 부분적으로 생성되는 시점에서 앞단 시뮬레이션의 종료 이전에라도 상기 1 이상의 후단 시뮬레이션을 진행하는 설계 검증 방법
- 제 134 항에 있어서,상기 앞단 시뮬레이션의 종료 이전에 진행되는 상기 1 이상의 후단 시뮬레이션을 앞단 시뮬레이션을 진행하는 컴퓨터와 네트워크를 통하여 연결된 1 이상의 별도의 컴퓨터를 이용하여 순차적으로 수행하는 설계 검증 방법
- 제 134 항에 있어서,상기 앞단 시뮬레이션의 종료 이전에 진행되는 상기 1 이상의 후단 시뮬레이 션을 앞단 시뮬레이션을 진행하는 컴퓨터와 네트워크를 통하여 연결된 1 이상의 별도의 컴퓨터를 이용하여 병렬적으로 수행하는 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 4 항 내지는 제 5 항 내지는 제 6 항 내지는 제 7 항 내지는 제 8 항 내지는 제 9 항 내지는 제 10 항 내지는 제 11 항 내지는 제 12 항 내지는 제 14 항 내지는 제 15 항 내지는 제 16 항 내지는 제 17 항 내지는 제 18 항 내지는 제 19 항 내지는 제 20 항 내지는 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 27 항 내지는 제 29 항 내지는 제 31 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 35 항 내지는 제 54 항 내지는 제 55 항 내지는 제 161 항 내지는 제 162 항 내지는 제 163 항 내지는 제 164 항 내지는 165 항 내지는 166 항 내지는 167 항에 있어서,앞단 시뮬레이션 시작 이후에 1 이상의 후단 시뮬레이션을 진행할 수 있는 앞단 시뮬레이션의 실행결과들이 모두 생성되어지고 앞단 시뮬레이션의 종료 이후에 상기 1 이상의 후단 시뮬레이션을 진행하는 설계 검증 방법
- 제 80 항 내지는 제 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항 내지는 제 85 항 내지는 제 86 항 내지는 제 87 항 내지는 제 88 항 내지는 제 92 항 내지는 제 94 항 내지는 제 95 항 내지는 제 96 항 내지는 제 97 항 내지는 제 98 항에 있어서,앞단 검증 시작 이후 앞단 검증이 진행되고 있는 도중에 1 이상의 후단 검증을 진행할 수 있는 앞단 검증의 실행결과들이 부분적으로 생성되는 시점에서 앞단 검증의 종료 이전에라도 상기 1 이상의 후단 시뮬레이션을 진행하는 설계 검증 방법
- 제 138 항에 있어서,상기 앞단 검증의 종료 이전에 진행되는 상기 1 이상의 후단 검증을 앞단 검증을 진행하는 검증플랫폼과 네트워크를 통하여 연결된 1 이상의 별도의 검증플랫폼을 이용하여 순차적으로 수행하는 설계 검증 방법
- 제 138 항에 있어서,상기 앞단 검증의 종료 이전에 진행되는 상기 1 이상의 후단 검증을 앞단 검증을 진행하는 검증플랫폼과 네트워크를 통하여 연결된 1 이상의 별도의 검증플랫폼을 이용하여 병렬적으로 수행하는 설계 검증 방법
- 제 80 항 내지는 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항 내지는 제 85 항 내지는 제 86 항 내지는 제 87 항 내지는 제 88 항 내지는 제 92 항 내지는 제 94 항 내지는 제 95 항 내지는 제 96 항 내지는 제 97 항 내지는 제 98 항에 있어서,앞단 검증 시작 이후에 1 이상의 후단 검증을 진행할 수 있는 앞단 검증의 실행결과들이 모두 생성되어지고 앞단 검증의 종료 이후에 상기 1 이상의 후단 검증을 진행하는 설계 검증 방법
- 제 85 항 내지는 86 항 내지는 제 94 항 내지는 제 95 항에 있어서, 앞단 검증 시작 이후에 1 이상의 후단 검증의 병렬적 검증 수행이 1 이상의 모델검사기/특성검사기를 병렬적으로 실행하는 것을 포함하고 있는 설계 검증 방법
- 검증 소프트웨어와 1 이상의 시뮬레이터를 이용하여서 1 이상의 설계객체로 구성된 HDL 설계코드를 대상으로 하는 설계 검증 방법에 있어서, 상기 1 이상의 설계객체로 구성된 HDL 설계코드를 대상으로 시뮬레이션 시간 0이 아닌 시뮬레이션 시점 S(Ti) 내지는 시뮬레이션 시간 0을 포함하지 않는 시뮬레이션 시간구간 S(Pi)에서부터 시뮬레이션을 시작할 수 있도록 하여서 시뮬레이션 시간 0에서부터 S(Ti)까지 내지는 시뮬레이션 시간 0에서부터 S(Pi)까지에서 상기 1 이상의 설계객체로 구성된 HDL 설계코드를 대상으로 하는 시뮬레이션 시간을 단축시킬 수 있도록, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준보다 추상화 수준이 높게 구술된 별도의 설계코드 내지는 별도의 모델을 대상으로 하는 시뮬레이션을 시뮬레이션 시간 0에서부터 S(Ti) 내지는 시뮬레이션 시간 0에서부터 S(Pi)까지 수행하여서 얻어지는 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준보다 추상화 수준이 높게 구술된 별도의 설계코드 내지는 별도의 모델에 존재하는 상기 1 이상의 설계객체들에 대한 S(Ti) 내지는 S(Pi)에서의 상태 정보를 상기 검증 소프트웨어를 이용하여서 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 S(Ti) 내지는 S(Pi)에서의 상태 정보로 자동화된 방식으로 설정함으로서 상기 1 이상의 설계객체로 구성된 HDL 설계코드를 이용한 시뮬레이션이 시뮬레이션 시간 0이 아닌 상기 시뮬레이션 시점 S(Ti) 내지는 시뮬레이션 시간구간 S(Pi) 에서부터 시작할 수 있도록 하는 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 RTL 수준이며, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준보다 추상화 수준이 높게 구술된 별도의 설계코드 내지는 별도의 모델의 추상화 수준은 RTL 수준보다 상위 수준인 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 게이트 수준이며, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준보다 추상화 수준이 높게 구술된 별도의 설계코드 내지는 별도의 모델의 추상화 수준은 게이트 수준보다 상위수준인 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 RTL 수준이 며, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준보다 추상화 수준이 높게 구술된 별도의 설계코드 내지는 별도의 모델의 추상화 수준은 트란젝션 수준인 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 지연시간이 고려된 게이트 수준이며, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 지연시간이 고려되지 않은 게이트 수준인 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 지연시간이 고려된 게이트 수준이며, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 RTL 수준인 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 SDF를 이용한 지연시간이 고려된 게이트 수준이며, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 지연시간이 고려되지 않은 게이트 수준인 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 SDF를 이용한 지연시간이 고려된 게이트 수준이며, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준은 RTL 수준인 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 S(Ti) 내지는 S(Pi)에서의 상태 정보로 자동화된 방식으로 설정하기 위하여 HDL의 force/release 내지는 assign/deassign procedural statement를 사용하는 것을 포함하는 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 S(Ti) 내지는 S(Pi)에서의 상태 정보로 자동화된 방식으로 설정하기 위하여 HDL의 initial structured procedure statement를 사용하는 것을 포함하는 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 S(Ti) 내지는 S(Pi)에서의 상태 정보로 자동화된 방식으로 설정하기 위하여 HDL의 $force/$release 시스템 테스크 내지는 force/release 명령어를 사용하는 것을 포함하는 설계 검증 방법
- 제 164 항 내지는 제 165 항 내지는 제 166 항 내지는 제 167 항 에 있어서,상기 앞단 시뮬레이션 단계인 1차 시뮬레이션 과정에서 수집된 1 이상의 설계객체들에 대한 상태정보와 입력정보들로써 결정되는 2 이상의 슬라이스들이 중복 슬라이스 상황인 설계 검증 방법
- 제 154 항 내지는 제 181 항 내지는 제 182 항 에 있어서,상기 중복 슬라이스 상황에서 존재하는 슬라이스 오버랩 구간을 DUV에 존재하는 최장 지연시간과 같은 설계 검증 방법
- 제 154 항 내지는 제 181 항 내지는 제 182 항 에 있어서,상기 중복 슬라이스 상황에서 존재하는 슬라이스 오버랩 구간 값을 사용자로부터 입력 받는 설계 검증 방법
- 제 154 항 내지는 제 181 항 내지는 제 182 항 에 있어서,상기 중복 슬라이스 상황에서 존재하는 슬라이스 오버랩 구간이 1 이사의 설계객체들에 존재하는 모든 사용자 클럭들 중의 최장 주기와 같은 설계 검증 방법
- 제 154 항 내지는 제 181 항 내지는 제 182 항 에 있어서,상기 중복 슬라이스 상황에서 존재하는 슬라이스 오버랩 구간을 DUV에 존재하는 최장 지연시간보다 크게 하는 설계 검증 방법
- 제 154 항 내지는 제 181 항 내지는 제 182 항 에 있어서,상기 중복 슬라이스 상황에서 존재하는 슬라이스 오버랩 구간이 1 이사의 설계객체들에 존재하는 모든 사용자 클럭들 중의 최장 주기보다 큰 설계 검증 방법
- 제 1 항 내지는 제 2 항 내지는 제 3 항 내지는 제 4 항 내지는 제 5 항 내지는 제 9 항 내지는 제 10 항 내지는 제 11 항 내지는 제 12 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 27 항 내지는 제 31 항 내지는 제 32 항 내지는 제 47 항 내지는 제 54 항 내지는 제 55 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 원 설계코드에 존재하는 지연시간을 모두 무시한 제로지연시간 모델을 이용한 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 RTL 수준에서 사이클-기반 시뮬레이션으로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 RTL 수준에서 이벤트-구동 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 RTL 수준에서 사이클-기반 시뮬레이션으로 수행하 고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 게이트수준에서 이벤트-구동 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 RTL 수준에서 사이클-기반 모드로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 게이트수준에서 이벤트-구동 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 RTL 수준에서 사이클-기반 시뮬레이션으로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 게이트 수준에서 이벤트-구동 타이밍 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 RTL 수준에서 사이클-기반 모드로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 게이트 수준에서 이벤트-구동 타이밍 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 게이트 수준에서 사이클-기반 시뮬레이션으로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 게이트 수준에서 이벤트-구동 타이밍 시뮬레이션으로 수행하는 검증 방법
- 제 31 항 내지는 제 32 항에 있어서,앞단 시뮬레이션 단계인 1차의 시뮬레이션을 DUV의 전체 내지는 DUV내의 1 이상의 설계객체들에 대하여서 게이트 수준에서 사이클-기반 모드로 수행하고, 후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1회 이상의 시뮬레이션은 게이트 수준에서 이벤트-구동 타이밍 시뮬레이션으로 수행하는 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 27 항 내지는 제 29 항에 있어서,상기 DUV에서의 1 이상의 설계객체들의 상태 정보로 상기 1 이상의 해당 설계객체들의 최소 상태 정보를 포함하는 상태 정보를 사용하는 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 27 항 내지는 제 29 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1 이상의 시뮬레이션에서 시뮬레이션 대상이 되는 DUV에서의 1 이상의 설계객체들의 상태 정보로 앞단 시뮬레이션 단계인 1차 시뮬레이션에서 저장된 변수나 시그널 값들 각각에 대하여서 이벤트 값이 아닌 안정값을 사용한 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 27 항 내지는 제 29 항에 있어서,후단 시뮬레이션 단계인 1차 시뮬레이션 시작 이후에 수행되는 1 이상의 시뮬레이션에서 시뮬레이션 대상이 되는 DUV에서의 1 이상의 설계객체들의 상태 정보로 앞단 시뮬레이션 단계인 1차 시뮬레이션에서 저장된 변수나 시그널 값들 각각에 대하여서 이벤트 변화가 있는 경우에는 이 이벤트 직전의 안정값을 사용한 검증 방법
- 추상화 수준으로 상위에서 표현된 설계객체와 이와 상위 추상화 수준에서 함수적으로 등가이나 추상화 수준으로 하위에서 표현된 설계객체를 대상으로, 상기 하위수준으로 표현된 설계객체의 시뮬레이션 결과를 이용하여서 상기 상위 수준으로 표현된 설계객체를 이용한 시뮬레이션을 신속하게 수행하는 검증 방법
- 제 21 항 내지는 제 22 항 내지는 제 38 항 내지는 제 64 항 내지는 제 65 항에 있어서,상기 1 이상의 설계객체들에 대한 상태 정보로서 최소상태 정보를 포함하고 있는 상태 정보를 사용하는 검증 방법
- 제 41 항 내지는 제 67 항에 있어서,병렬적 수행이 공간적 병렬 수행과 시간적 병렬 수행을 혼용하는 검증 방법
- 제 51 항에 있어서,상기 1 이상의 설계객체들에 대한 상태 정보에 상기 1 이상의 설계객체들에 대한 최소상태 정보를 포함하는 설계 검증 및 설계 수정 방법
- 제 37 항 내지는 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션의 일부분이 타이밍 정보를 이용하지 않은 게이트수준 시뮬레이션이고, 상기 하위수준에서의 시뮬레이션의 일부분이 타이밍 정보를 이용한 게이트수준에서의 타이밍 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 37 항 내지는 제 44 항 내지는 제 59 항에 있어서,상기 상위수준에서의 시뮬레이션이 RTL 수준과 타이밍 정보를 이용하지 않은 게이트수준 의 혼합 시뮬레이션이고, 상기 하위수준에서의 시뮬레이션이 부분적으로는 타이밍 정보를 이용한 게이트수준에서의 타이밍 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 77 항 내지는 제 175 항 내지는 제 176 항에 있어서,상기 상위수준에서의 타이밍 정보를 이용하지 않은 시뮬레이션이 제로지연시간 모델을 이용한 시뮬레이션인 설계 검증 및 설계 수정 방법
- 제 99 항 내지는 제 100 항에 있어서,검증 소프트웨어와 1 이상의 검증플랫폼을 이용하여, 상기 1 이상의 설계객체들로 구성되는 설계 코드나 설계 회로에 자동화된 방식을 통하여 부가코드나 부가회로를 추가하여 상기 1 이상의 검증 플랫폼들에 설계 코드나 설계 회로를 부가코드나 부가회로와 함께 구현하여 1회 이상의 검증 실행 도중에 1 이상의 검증 시점들 내지는 검증 구간들에서 1 이상의 설계객체들에서 자동화된 방식을 통하여 수집된 동적 정보가 해당 설계객체들의 상태 정보로서, 임의의 1 이상의 설계객체들이 변경된 후에 실행되는 검증 실행의 시작을 상기 수집된 상태 정보들이 수집된 1 이상의 검증 시점들 내지는 검증 구간들 중에 특정 검증 시점부터 내지는 특정 검증 구간에서부터 시작할 수 있도록 상기 수집된 동적 정보에 존재하는 1 이상의 특정 설계객체들의 상태 정보를 부분적 내지는 전체적으로 이용하는 설계 검증 방법
- 제 99 항 내지는 제 100 항에 있어서,검증 소프트웨어와 1 이상의 검증플랫폼을 이용하여, 상기 1 이상의 설계객체들로 구성되는 설계 코드나 설계 회로에 자동화된 방식을 통하여 부가코드나 부가회로를 추가하여 상기 1 이상의 검증 플랫폼들에 설계 코드나 설계 회로를 부가코드나 부가회로와 함께 구현하여 1회 이상의 검증 실행 도중에 1 이상의 검증 시점들 내지는 검증 구간들에서 1 이상의 설계객체들에서 자동화된 방식을 통하여 수집된 동적 정보가 해당 설계객체들의 상태 정보로서, 임의의 1 이상의 설계객체들이 변경된 후에 실행되는 검증 실행의 시작을 상기 수집된 상태 정보들이 수집된 1 이상의 검증 시점들 내지는 검증 구간들 중에 특정 검증 시점부터 내지는 특정 검증 구간에서부터 시작할 수 있도록 상기 수집된 동적 정보에 존재하는 1 이상의 특정 설계객체들의 상태 정보가 상기 설계객체들이 변경된 후에 실행되는 검증 실행의 시작에서 상기 1 이상의 특정 설계객체들의 상태 정보로 사용되어지는 설계 검증 방법
- 제 122 항 내지는 제 123 항 내지는 제 124 항 내지는 제 125 항 내지는 제 126 항 내지는 제 127 항 내지는 제 128 항 내지는 제 129 항에 있어서,후단 시뮬레이션 단계에서의 1 이상의 병렬적 내지는 순차적 시뮬레이션의 각 시뮬레이션 시작 시점을 위한 상태설정을 위한 2 이상의 변수나 시그널들에 대한 설정이 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 구간 안에 존재하는 임의의 2 이상의 각기 다른 시점에서의 해당 변수나 시그널들의 상태와 같도 록 설정이 되는 설계 검증 방법
- 제 20 항에 있어서,상기 후단 시뮬레이션 단계에서 시뮬레이션에 사용되는 2 이상의 슬라이스들이 중복 슬라이스 상황인 설계 검증 방법
- 제 48 항 내지는 제 77 항 내지는 제 175 항 내지는 제 176 항에 있어서,상기 추상화 상위 수준에서 수행되는 시뮬레이션 과정에서 수집된 1 이상의 설계객체들에 대한 상태정보와 입력정보들로써 결정되는 2 이상의 슬라이스들이 중복 슬라이스 상황이며, 상기 추상화 하위 수준에서 시뮬레이션에 사용되는 2 이상의 슬라이스들이 중복 슬라이스 상황인 설계 검증 방법
- 제 89 항 내지는 제 90 항 내지는 제 94 항에 있어서,상기 DUV의 상태 정보로 DUV의 최소 상태 정보를 사용하는 검증 방법
- 제 80 항 내지는 제 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항 내지는 제 85 항 내지는 제 86 항 내지는 제 87 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 91 항 내지는 제 93 항 내지는 제 94 항 내지는 제 95 항 내지는 제 96 항 내지는 제 97 항 내지는 제 98 항 내지는 제 183 항에 있어서,상기 1차 검증 실행에서 사용되는 설계객체들의 추상화 수준이, 상기 1차 검증 실행 시작 이후의 검증 실행에서 사용되는 설계객체들의 추상화 수준보다 높은 검증 방법
- 제 80 항 내지는 제 81 항 내지는 제 82 항 내지는 제 83 항 내지는 제 84 항 내지는 제 85 항 내지는 제 86 항 내지는 제 87 항 내지는 제 88 항 내지는 제 89 항 내지는 제 90 항 내지는 제 91 항 내지는 제 93 항 내지는 제 94 항 내지는 제 95 항 내지는 제 96 항 내지는 제 97 항 내지는 제 98 항 내지는 제 183 항에 있어서,상기 1차 검증 실행 시작 이후의 검증 실행에서 사용되는 설계객체들의 추상화 수준이 게이트레벨이고 상기 1차 검증 실행 시작 이후의 검증 실행에서 지연시간을 고려한 타이밍 검증을 수행하는 검증 방법
- 제 77 항 내지는 제 164 항의 있어서,상기 상위수준에서의 시뮬레이션 내지는 앞단 시뮬레이션 단계인 1차의 시뮬레이션을 하드웨어-기반 검증 플랫폼을 시뮬레이터와 같이 이용하여서 수행하는 검증 방법
- 1 이상의 하드웨어-기반 검증 플랫폼과 1 이상의 소프트웨어-방식 검증 플랫폼을 혼합적으로 이용하여 1회 이상의 설계 검증 수행을 진행함으로서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 설계 오류의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 상기 1회 이상의 설계 검증 수행에서 수행되는 설계 검증 수행들 중에서 최소한 한번 이상의 설계 검증 수행을 상기 1 이상의 하드웨어-기반 검증 플랫폼을 이용하는 1차 검증 실행과 1차 검증 실행 시작 이후의 상기 1 이상의 소프트웨어-방식 검증 플랫폼만을 이용하는 1회 이상의 검증 실행들의 두 단계로 나누어서 수행하며, 상기 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 상기 1 이상의 소프트웨어-방식 검증 플랫폼만을 이용하는 1회 이상의 검증 실행에서 1 이상의 특정 검증사이클 시간구간들에 대하여 검증 실행들이 이루어질 수 있도록 하는데 필요한 상기 설계 코드나 합성으로 생성된 게이트 수준의 네트리스트에 대응되는 1 이상의 설계객체들에 대한 상태 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 하드웨어-기반 검증 플랫폼을 이용한 1차 검증 실행을 진행하면서 상기 1 이상의 설계객체들에 대한 상태 정보를 1이상의 검증 시점에서 수집하고, 이 수집된 상태 정보들 각각을 1 이상의 소프트웨어-방식 검증 플랫폼들만을 이용하는 1차 검증 실행 시작 이후의 1회 이상의 검증 실행들 각각의 초기 상태로서 설정/복원하여 1 이상의 특정 검증사이클 시간구간들에서 상기 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 대한 소프트웨어-방식 검증 실행을 할 수 있도록 함으로서 설계 검증을 신속하게 수행하는 것을 가능하게 검증 방법
- 1 이상의 하드웨어-기반 검증 플랫폼과 1 이상의 소프트웨어-방식 검증 플랫 폼을 혼합적으로 이용하여 1회 이상의 설계 검증 수행을 진행함으로서 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 존재하는 설계 오류의 위치를 알아내고 이를 수정하는 설계 검증 방법에 있어서, 상기 1회 이상의 설계 검증 수행에서 수행되는 설계 검증 수행들 중에서 최소한 한번 이상의 설계 검증 수행을 상기 1 이상의 하드웨어-기반 검증 플랫폼을 이용하는 1차 검증 실행과 1차 검증 실행 시작 이후의 상기 1 이상의 소프트웨어-방식 검증 플랫폼만을 이용하는 1회 이상의 검증 실행들의 두 단계로 나누어서 수행하며, 상기 1차 검증 실행을 수행하면서 1차 검증 실행 시작 이후의 상기 1 이상의 소프트웨어-방식 검증 플랫폼만을 이용하는 1회 이상의 검증 실행에서 1 이상의 특정 검증 상태공간들에 대하여 검증 탐색들이 이루어질 수 있도록 하는데 필요한 상기 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 대응되는 1 이상의 설계객체들에 대한 상태 정보를 1차 검증 실행 과정에서 자동적으로 수집할 수 있도록 하고, 상기 1 이상의 하드웨어-기반 검증 플랫폼을 이용한 1차 검증 실행을 진행하면서 상기 1 이상의 설계객체들에 대한 상태 정보를 1이상의 검증 시점에서 수집하고, 이 수집된 상태 정보들 각각을 1 이상의 소프트웨어-방식 검증 플랫폼들만을 이용하는 1차 검증 실행 시작 이후의 1회 이상의 검증 실행들 각각의 초기 상태로서 설정/복원하여 1 이상의 특정 검증 상태공간들에서 상기 설계 코드나 합성으로 생성된 게이트수준의 네트리스트에 대한 소프트웨어-방식 검증 탐색을 할 수 있도록 함으로서 설계 검증을 신속하게 수행하는 것을 가능하게 검증 방법
- 제 187 항 내지는 제 188 항에 있어서,상기 1 이상의 하드웨어-기반 검증 플랫폼을 이용한 1차 검증 실행을 진행하면서 상기 1 이상의 설계객체들에 대하여 1 이상의 검증 시점에서 수집된 상태 정보가 상기 1 이상의 설계객체들에 대한 최소 상태 정보를 포함하는 검증 방법
- 제 187 항에 있어서,상기 1 이상의 하드웨어-기반 검증 플랫폼을 이용한 1차 검증 실행을 진행하면서 상기 1 이상의 설계객체들에 대하여 1 이상의 검증 시점에서 수집된 상태 정보가 상기 1 이상의 설계객체들에 대한 최소 상태 정보와 해당 설계 검증 수행의 검증 사이클 전체 내지는 특정 검증 사이클에서의 입력 정보인 검증 방법
- 제 187 항에 있어서,상기 1 이상의 소프트웨어-방식 검증 플랫폼이 HDL 시뮬레이터이며, 이 1 이상의 HDL 시뮬레이터를 이용한 시뮬레이션이 순차적 시뮬레이션을 통한 1 이상의 설계객체들에 대한 타이밍정보를 이용한 타이밍 시뮬레이션인 검증 방법
- 제 187 항에 있어서,상기 1 이상의 소프트웨어-방식 검증 플랫폼이 2 이상의 HDL 시뮬레이터이며, 이 2 이상의 HDL 시뮬레이터를 이용한 시뮬레이션이 시간적 병렬수행을 통한 1 이상의 설계객체들에 대한 타이밍정보를 이용한 타이밍 시뮬레이션인 검증 방법
- 제 188 항에 있어서,상기 1 이상의 소프트웨어-방식 검증 플랫폼이 2 이상의 모델검사기/특성검사기이며, 이 2 이상의 모델검사기/형식검사기를 이용한 검증 상태 공간 탐색이 병렬적으로 이루어지는 검증 방법
- 제 122 항 내지는 제 123 항 내지는 제 124 항 내지는 제 125 항 내지는 제 126 항 내지는 제 127 항 내지는 제 128 항 내지는 제 129 항에 있어서,후단 시뮬레이션 단계에서의 1 이상의 병렬적 내지는 순차적 시뮬레이션의 각 시뮬레이션 시작 시점을 위한 상태설정이 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 시점에서의 상태와 같도록 설정이 되며, 계속되는 일정기간까지의 상태설정들도 계속적으로 상기 앞단 시뮬레이션 단계에서 저장된 특정 시뮬레이션 시점에서의 상태와 같도록 하는 설계 검증 방법
- 제 143 항에 있어서,상기 1 이상의 설계객체로 구성된 HDL 설계코드의 S(Ti) 내지는 S(Pi)에서의 상태 정보로 자동화된 방식으로 설정하기 위하여 HDL의 $readmemb 내지는 $readmemh 시스템 테스크를 사용하는 것을 포함하는 설계 검증 방법
- 제 20 항 내지는 제 31 항 내지는 제 47 항 내지는 제 48 항 내지는 제 77 항 내지는 제 164 항 내지는 제 165 항 내지는 제 166 항 내지는 제 167 항 내지는 제 168 항 내지는 재 181 항에 있어서,앞단 시뮬레이션과 후단 시뮬레이션이 다른 추상화 수준에서 진행되고, 상기 후단 시뮬레이션에서의 1 이상의 시뮬레이션 수행을 위하여 상기 앞단 시뮬레이션에서 얻어진 상태정보가 최소 상태정보이며, 상기 1 이상의 후단 시뮬레이션 수행을 위하여 상기 최소 상태정보를 복원/설정하는 방법에서 상기 최소 상태정보를 복원/설정하는 시점들이 인과관계보장가능 시점설정을 만족하는 설계 검증 방법
- 제 143 항 내지는 제 144 항 내지는 제 145 항 내지는 제 146 항 내지는 제 147 항 내지는 제 148 항 내지는 제 149 항 내지는 제 150 항 내지는 제 171 항 내지는 제 175 항 내지는 제 176 항 내지는 제 182 항 내지는 제 184 항 내지는 제 185 항에 있어서,상기 추상화 수준이 낮은 시뮬레이션의 신속한 수행을 위하여 상기 추상화 수준이 높은 시뮬레이션에서 얻어진 최소 상태정보를 상기 추상화 수준이 낮은 시뮬레이션에서의 최소 상태를 복원/설정하는 과정에서 최소 상태정보 복원/설정 시점들이 인과관계보장가능 시점설정을 만족하는 설계 검증 방법
- 검증 소프트웨어와 1 이상의 시뮬레이터를 이용하여서 1 이상의 설계객체로 구성된 HDL 설계코드를 대상으로 하는 전력소비량 분석 방법을 위한 시뮬레이션에 있어서, 상기 1 이상의 설계객체로 구성된 HDL 설계코드를 대상으로 시뮬레이션 시 간 0이 아닌 시뮬레이션 시점 S(Ti) 내지는 시뮬레이션 시간 0을 포함하지 않는 시뮬레이션 시간구간 S(Pi)에서부터 시뮬레이션을 시작할 수 있도록 하여서 시뮬레이션 시간 0에서부터 S(Ti)까지 내지는 시뮬레이션 시간 0에서부터 S(Pi)까지에서 상기 1 이상의 설계객체로 구성된 HDL 설계코드를 대상으로 하는 시뮬레이션 시간을 단축시킬 수 있도록, 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준보다 추상화 수준이 높게 구술된 별도의 설계코드 내지는 별도의 모델을 대상으로 하는 시뮬레이션을 시뮬레이션 시간 0에서부터 S(Ti) 내지는 시뮬레이션 시간 0에서부터 S(Pi)까지 수행하여서 얻어지는 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 추상화 수준보다 추상화 수준이 높게 구술된 별도의 설계코드 내지는 별도의 모델에 존재하는 상기 1 이상의 설계객체들에 대한 S(Ti) 내지는 S(Pi)에서의 상태 정보를 상기 검증 소프트웨어를 이용하여서 상기 1 이상의 설계객체로 구성된 HDL 설계코드의 S(Ti) 내지는 S(Pi)에서의 상태 정보로 자동화된 방식으로 설정함으로서 상기 1 이상의 설계객체로 구성된 HDL 설계코드를 이용한 시뮬레이션이 시뮬레이션 시간 0이 아닌 상기 시뮬레이션 시점 S(Ti) 내지는 시뮬레이션 시간구간 S(Pi) 에서부터 시작할 수 있도록 하는 전력소비량 분석 방법
- 제 41 항 내지는 제 56 항 내지는 제 67 항 내지는 제 94 항 내지는 제 97 항에 있어서,상기 후단 시뮬레이션 내지는 상기 추상화 수준이 낮은 수준에서의 병렬적 시뮬레이션 수행을 통하여 얻어진 시뮬레이션 결과를 이용한 전력소비량 분석 방법
- 제 1 항 내지는 제 2 항 내지는 제 4 항 내지는 제 8 항 내지는 제 10 항 내지는 제 11 항 내지는 제 12 항 내지는 제 14 항 내지는 제 15 항 내지는 제 16 항 내지는 제 17 항 내지는 제 19 항 내지는 제 20 항 내지는 제 21 항 내지는 제 22 항 내지는 제 23 항 내지는 제 24 항 내지는 제 25 항 내지는 제 26 항 내지는 제 27 항 내지는 제 29 항 내지는 제 31 항 내지는 제 32 항 내지는 제 33 항 내지는 제 34 항 내지는 제 35 항 내지는 제 36 항 내지는 제 54 항 내지는 제 55 항 내지는 제 56 항 내지는 제 130 항 내지는 제 131 항 내지는 제 132 항 내지는 제 133 항 내지는 제 134 항 내지는 제 135 항 내지는 제 136 항 내지는 제 137 항 내지는 제 138 항 내지는 제 139 항 내지는 제 140 항 내지는 제 141 항 내지는 161 항 내지는 제 162 항 내지는 제 163 항 내지는 제 164 항 내지는 제 165 항 내지는 제 166 항 내지는 제 167 항 내지는 제 169 항 내지는 제 170 항 내지는 제 180 항 내지는 제 181 항 내지는 제 194 항 내지는 제 196 항 내지는 제 198 항 내지는 제 199 항에 있어서,상기 후단 시뮬레이션 내지는 후단 검증에서 각 슬라이스들별로의 2 이상의 시뮬레이션 실행을 위하여 슬라이스독립적 시뮬레이션 컴파일/일레보레이션 기법을 사용한 검증 방법
Applications Claiming Priority (14)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| KR1020040106699 | 2004-12-13 | ||
| KR1020040106699A KR20050101105A (ko) | 2004-03-09 | 2004-12-13 | 검증 성능을 높이는 시뮬레이션 기반의 검증 장치 및 이를이용한 시뮬레이션 방법 |
| KR1020040118529 | 2004-12-28 | ||
| KR1020040118529A KR20050118099A (ko) | 2004-03-09 | 2004-12-28 | 검증 성능을 높이는 동적검증 기법 방식의 검증 장치 및이를 이용한 검증 방법 |
| KR1020050007330 | 2005-01-24 | ||
| KR1020050007330A KR20050118107A (ko) | 2004-03-09 | 2005-01-24 | 검증 성능과 검증 효율성을 높이는 동적검증 기법 방식의검증 장치 및 이를 이용한 검증 방법론 |
| KR20050000668 | 2005-03-09 | ||
| KRPCTKR2005000668 | 2005-03-09 | ||
| KR1020050044793 | 2005-05-25 | ||
| KR20050044793 | 2005-05-25 | ||
| KR20050095804 | 2005-10-10 | ||
| KR1020050095804 | 2005-10-10 | ||
| KR20050098941 | 2005-10-18 | ||
| KR1020050098941 | 2005-10-18 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| KR20060066634A true KR20060066634A (ko) | 2006-06-16 |
Family
ID=37161407
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| KR1020050116706A Ceased KR20060066634A (ko) | 2004-12-13 | 2005-11-30 | 검증 성능과 검증 효율성을 높이는 동적검증 기법 방식의검증 장치 및 이를 이용한 검증 방법론 |
Country Status (1)
| Country | Link |
|---|---|
| KR (1) | KR20060066634A (ko) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR100873956B1 (ko) * | 2006-08-17 | 2008-12-15 | 삼성전자주식회사 | 에뮬레이션 시스템 |
| KR101006822B1 (ko) * | 2006-06-09 | 2011-01-10 | 오트르소테크, 엘엘씨 | 투명한 테스트 방법 및 스캔 플립 플롭 |
| US11549979B2 (en) | 2020-12-23 | 2023-01-10 | Samsung Electronics Co., Ltd. | Test method for a system on chip and a test system for the system on chip |
| CN117933155A (zh) * | 2024-03-22 | 2024-04-26 | 摩尔线程智能科技(北京)有限责任公司 | 一种多进程联合仿真系统及方法、电子设备和存储介质 |
-
2005
- 2005-11-30 KR KR1020050116706A patent/KR20060066634A/ko not_active Ceased
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR101006822B1 (ko) * | 2006-06-09 | 2011-01-10 | 오트르소테크, 엘엘씨 | 투명한 테스트 방법 및 스캔 플립 플롭 |
| KR100873956B1 (ko) * | 2006-08-17 | 2008-12-15 | 삼성전자주식회사 | 에뮬레이션 시스템 |
| US8165866B2 (en) | 2006-08-17 | 2012-04-24 | Samsung Electronics Co., Ltd. | Emulation system |
| US11549979B2 (en) | 2020-12-23 | 2023-01-10 | Samsung Electronics Co., Ltd. | Test method for a system on chip and a test system for the system on chip |
| CN117933155A (zh) * | 2024-03-22 | 2024-04-26 | 摩尔线程智能科技(北京)有限责任公司 | 一种多进程联合仿真系统及方法、电子设备和存储介质 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| KR100921314B1 (ko) | 검증결과 재활용 기법을 채용한 고성능 설계검증 장치 및이를 활용한 신속한 설계검증 방법 | |
| US8781808B2 (en) | Prediction-based distributed parallel simulation method | |
| US20090150136A1 (en) | Dynamic-based verification apparatus for verification from electronic system level to gate level, and verification method using the same | |
| CN113255267B (zh) | 使用现场可编程门阵列fpga重新编程检测仿真中的时序违规 | |
| US20130179142A1 (en) | Distributed parallel simulation method and recording medium for storing the method | |
| WO2002073474A1 (en) | Method and apparatus for design validation of complex ic without using logic simulation | |
| KR100767957B1 (ko) | 에뮬레이션과 시뮬레이션 정식검증을 혼용한 설계 검증 방법 | |
| Casaubieilh et al. | Functional verification methodology of Chameleon processor | |
| US20250190336A1 (en) | Managing high performance simulation representation of an emulation system | |
| JP2007528553A (ja) | 検証性能と検証效率性を高める動的検証−基盤方式の検証装置及びこれを用いた検証方法論 | |
| WO2025137300A1 (en) | Method to reduce the hardware costs of extracting power profiles in emulation by using statistical techniques | |
| KR102493046B1 (ko) | 예측데이터 가변화를 통한 예측기반 병렬 게이트수준 타이밍 로직 시뮬레이션에서의 성능 향상 방법 | |
| US7051301B2 (en) | System and method for building a test case including a summary of instructions | |
| KR20060066634A (ko) | 검증 성능과 검증 효율성을 높이는 동적검증 기법 방식의검증 장치 및 이를 이용한 검증 방법론 | |
| Bombieri et al. | Hybrid, incremental assertion-based verification for TLM design flows | |
| Singh | Gate-level Simulation Methodology | |
| KR20050118099A (ko) | 검증 성능을 높이는 동적검증 기법 방식의 검증 장치 및이를 이용한 검증 방법 | |
| KR101328263B1 (ko) | 체계적 점진적 구체화를 통한 전자시스템수준에서부터게이트수준까지의 검증 방법 | |
| KR20060101127A (ko) | Esl 설계 방식에서의 효과적인 함수적 설계 검증 장치 및이를 이용한 검증 방법 | |
| Schirrmeister et al. | Hardware-assisted verification and software development | |
| KR20050118107A (ko) | 검증 성능과 검증 효율성을 높이는 동적검증 기법 방식의검증 장치 및 이를 이용한 검증 방법론 | |
| Das et al. | Implementation of a testing environment for digital IP cores | |
| Strauch | Deriving AOC C-Models from D&V Languages for Single-or Multi-Threaded Execution Using C or C++ | |
| Savithri et al. | Synergized Mixed-Signal System-on-Chip (SoC) Design and Development Using System-Level Modeling and Simulation | |
| Arlat et al. | MEFISTO: a series of prototype tools for fault injection into VHDL models |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PA0109 | Patent application |
Patent event code: PA01091R01D Comment text: Patent Application Patent event date: 20051130 |
|
| PG1501 | Laying open of application | ||
| A201 | Request for examination | ||
| PA0201 | Request for examination |
Patent event code: PA02012R01D Patent event date: 20101129 Comment text: Request for Examination of Application Patent event code: PA02011R01I Patent event date: 20051130 Comment text: Patent Application |
|
| PE0902 | Notice of grounds for rejection |
Comment text: Notification of reason for refusal Patent event date: 20120118 Patent event code: PE09021S01D |
|
| E601 | Decision to refuse application | ||
| PE0601 | Decision on rejection of patent |
Patent event date: 20120926 Comment text: Decision to Refuse Application Patent event code: PE06012S01D Patent event date: 20120118 Comment text: Notification of reason for refusal Patent event code: PE06011S01I |
|
| J201 | Request for trial against refusal decision | ||
| PJ0201 | Trial against decision of rejection |
Patent event date: 20121027 Comment text: Request for Trial against Decision on Refusal Patent event code: PJ02012R01D Patent event date: 20120926 Comment text: Decision to Refuse Application Patent event code: PJ02011S01I Appeal kind category: Appeal against decision to decline refusal Decision date: 20121115 Appeal identifier: 2012101009195 Request date: 20121027 |
|
| J301 | Trial decision |
Free format text: TRIAL DECISION FOR APPEAL AGAINST DECISION TO DECLINE REFUSAL REQUESTED 20121027 Effective date: 20121115 |
|
| PJ1301 | Trial decision |
Patent event code: PJ13011S01D Patent event date: 20121115 Comment text: Trial Decision on Objection to Decision on Refusal Appeal kind category: Appeal against decision to decline refusal Request date: 20121027 Decision date: 20121115 Appeal identifier: 2012101009195 |