맞춤기술찾기

이전대상기술

소프트웨어 기반의 스티뮬러스를 생성하는 검증 장치, 상기검증 장치를 이용한 검증 방법 및 소프트웨어

  • 기술번호 : KST2014048240
  • 담당센터 : 경기기술혁신센터
  • 전화번호 : 031-8006-1570
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명에서는, 라이브러리화된 하드웨어 레벨 언어로 기술되는 태스크(task)를 라이브러리화된 코드를 참조하여, 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)로 생성하고, 상기 생성된 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)를 상기 하드웨어 레벨 언어로 기술되는 스티뮬러스 파일로 생성한다. 이후, 상기 생성된 스티뮬러스 파일을 이용하고, VPI기반에서 생성된 가상의 터미널을 통하여 실시간으로 생성된 검증 명령에 의하여 상기 하드웨어 레벨의 언어로 기술되는 회로의 특성을 검증한다. 이러한 본 발명에 의하면, 소프트웨어 레벨의 언어를 기반으로 테스트 스티뮬러스를 생성하여 테스트 커버리지를 향상하고, 실시간으로 연동하는 검증 명령을 생성함에 따라 유연성을 증진한다.
Int. CL G06F 9/45 (2006.01) G06F 11/26 (2006.01) G06F 9/06 (2006.01) G06F 9/44 (2006.01)
CPC G06F 11/263(2013.01) G06F 11/263(2013.01) G06F 11/263(2013.01) G06F 11/263(2013.01) G06F 11/263(2013.01) G06F 11/263(2013.01) G06F 11/263(2013.01) G06F 11/263(2013.01)
출원번호/일자 1020080110133 (2008.11.06)
출원인 전자부품연구원
등록번호/일자 10-0939642-0000 (2010.01.23)
공개번호/일자
공고번호/일자 (20100129) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2008.11.06)
심사청구항수 9

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한국전자기술연구원 대한민국 경기도 성남시 분당구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 임용석 대한민국 서울특별시 마포구
2 김도훈 대한민국 경기 성남시 분당구
3 김용성 대한민국 경기도 성남시 분당구
4 김선희 대한민국 서울특별시 은평구
5 조진웅 대한민국 경기 용인시 수지구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인지명 대한민국 서울특별시 강남구 남부순환로**** 차우빌딩*층

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 전자부품연구원 대한민국 경기도 성남시 분당구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2008.11.06 수리 (Accepted) 1-1-2008-0770989-02
2 선행기술조사의뢰서
Request for Prior Art Search
2009.10.08 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search
2009.11.12 수리 (Accepted) 9-1-2009-0062058-46
4 의견제출통지서
Notification of reason for refusal
2009.12.21 발송처리완료 (Completion of Transmission) 9-5-2009-0525473-56
5 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2010.01.05 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2010-0003943-82
6 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2010.01.05 수리 (Accepted) 1-1-2010-0003945-73
7 등록결정서
Decision to grant
2010.01.18 발송처리완료 (Completion of Transmission) 9-5-2010-0021365-60
8 출원인정보변경(경정)신고서
Notification of change of applicant's information
2013.04.17 수리 (Accepted) 4-1-2013-0013766-37
9 출원인정보변경(경정)신고서
Notification of change of applicant's information
2020.08.24 수리 (Accepted) 4-1-2020-5189497-57
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
하드웨어 레벨의 언어로 기술되는 태스크(task)를 라이브러리화된 코드를 참조하여, 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)로 생성하는 단계와, 상기 생성된 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)를 상기 하드웨어 레벨 언어로 기술되는 스티뮬러스 파일로 생성하는 단계와, 상기 생성된 스티뮬러스 파일을 이용하여 상기 하드웨어 레벨 언어로 기술되는 회로의 특성을 검증하는 단계를 실행시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체
2 2
제1항에 있어서, 상기 하드웨어 레벨의 언어는 베릴로그(Verilog) HDL(Hardware Description Language)이고, 상기 소프트웨어 레벨의 언어는 상기 베릴로그 HDL보다 상위레벨의 언어인 것인 컴퓨터로 읽을 수 있는 기록매체
3 3
제2항에 있어서, 상기 베릴로그 HDL보다 상위레벨의 언어는 c 언어 또는 c++인 것인 컴퓨터로 읽을 수 있는 기록매체
4 4
제1항에 있어서, 상기 생성된 테스트 코드를 컴파일하여, 상기 생성된 테스트 코드의 오류여부를 확인하는 단계를 더 실행시키고, 확인결과, 상기 테스트 코드의 오류가 없는 경우, 상기 스티뮬러스 파일을 생성하는 것인 컴퓨터로 읽을 수 있는 기록매체
5 5
HDL로 기술되는 검증유닛(Device Under Test: DUT)의 특성을 검증하는 검증장치에 있어서, 상기 HDL로 기술되는 태스크(task)를 라이브러리화된 코드를 참조하여, 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)를 생성하는 테스트 코드 생성기; 상기 생성된 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)를 이용하여 하드웨어 레벨의 언어로 기술되는 스티뮬러스 파일로 생성하는 스티뮬러스 생성기; 가상의 터미널을 통해 실시간으로 외부로부터 제공되는 검증 커맨드와, 상기 스티뮬러스 파일을 파싱(parsing)하여, 상기 스티뮬러스 파일을 재생성하는 파서(parser); 및 상기 재생성된 스티뮬러스 파일에 따라 상기 검증 유닛의 출력값을 출력하는 출력부를 포함하는 검증장치
6 6
제5항에 있어서, 상기 가상의 터미널은 응용프로그램 인터페이스(Application Program Interface: API)인 것인 검증장치
7 7
하드웨어 레벨 언어로 기술되는 태스크(task)를 라이브러리화된 코드를 참조하여, 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)로 생성하는 단계와, 상기 생성된 소프트웨어 레벨의 언어로 기술되는 테스트 코드(test code)를 상기 하드웨어 레벨 언어로 기술되는 스티뮬러스 파일로 생성하는 단계; 및 상기 생성된 스티뮬러스 파일을 이용하여 상기 하드웨어 레벨 언어로 기술되는 회로의 특성을 검증하는 단계를 포함하는 것인 검증방법
8 8
검증유닛에 대한 검증시나리오를 HDL 기반의 태스크로 기술하는 단계; 상기 HDL 기반의 태스크를 소프트웨어 레벨의 언어로 기술된 시스템콜태스크로 모델링하는 단계; 모델링된 시스템콜태스크를 라이브러리화하고, 상기 라이브러리화된 코드를 참조하여 소프트웨어 레벨의 언어로 기술되는 테스트 코드를 생성하는 단계; 상기 소프트웨어 레벨의 언어로 기술되는 테스트 코드와 가상 터미널을 통해 실시간으로 제공되는 상기 소프트웨어 레벨의 언어로 기술되는 검증 커맨드를 파싱(parsing)하는 단계; 상기 파싱된 테스트 코드와 검증 커맨드를 이용하여 하드웨어 레벨의 언어로 기술되는 스티뮬러스 파일을 생성하는 단계; 및 상기 생성된 스티뮬러스 파일을 테스트벤치에 링크시켜, 상기 검증유닛에 인가하는 단계를 포함하는 검증방법
9 9
제8항에 있어서, 상기 가상의 터널은 응용프로그램 인터페이스(API)로 모델링된 것인 검증방법
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 산업자원부 LG이노텍(주) 부품소재기술개발사업 424Kbps/100Mbps~1Gbps 지원 다기능 복합 네트워크 (MFCN: Multi-Function Convergence Network) IP 개발