KR20050002497A - 가상 검증 파형에서 에이치디엘 코드로의 연동 방법 - Google Patents

가상 검증 파형에서 에이치디엘 코드로의 연동 방법 Download PDF

Info

Publication number
KR20050002497A
KR20050002497A KR1020030043876A KR20030043876A KR20050002497A KR 20050002497 A KR20050002497 A KR 20050002497A KR 1020030043876 A KR1020030043876 A KR 1020030043876A KR 20030043876 A KR20030043876 A KR 20030043876A KR 20050002497 A KR20050002497 A KR 20050002497A
Authority
KR
South Korea
Prior art keywords
signal
waveform
hdl
source code
editor
Prior art date
Application number
KR1020030043876A
Other languages
English (en)
Inventor
박인학
신용욱
Original Assignee
(주)아이피언
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by (주)아이피언 filed Critical (주)아이피언
Priority to KR1020030043876A priority Critical patent/KR20050002497A/ko
Publication of KR20050002497A publication Critical patent/KR20050002497A/ko

Links

Classifications

    • GPHYSICS
    • G01MEASURING; TESTING
    • G01RMEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317Testing of digital circuits
    • G01R31/3181Functional testing
    • G01R31/3183Generation of test inputs, e.g. test vectors, patterns or sequences
    • G01R31/318364Generation of test inputs, e.g. test vectors, patterns or sequences as a result of hardware simulation, e.g. in an HDL environment
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

본 발명은 가상 검증 파형에서 HDL 코드로의 연동 방법에 관한 것으로서, 본 발명은, 로드된 소스들의 시그널 데이터베이스를 구축하는 단계(a); 설계자로부터 파형 선택 정보를 수신하는 단계(b); 상기 선택된 파형에 상응하는 시그널 패스를 HDL 에디터에 전달하는 단계(c); 상기 시그널 패스를 키로 하여 시그널 DB에서 해당 시그널 및 시그널에 상응하는 소스를 추출하는 단계(d); 및 상기 추출된 소스 코드를 디스플레이하는 단계(e)를 포함한다.

Description

가상 검증 파형에서 에이치디엘 코드로의 연동 방법{Coupling Method from Simulation vector to HDL code}
본 발명은 가상 검증 파형에서 HDL 코드로의 연동 방법에 관한 것으로서, 더욱 상세하게는 회로를 검증하고 디버깅하기 위한 가상 검증 파형에서 HDL 코드로의 연동 방법에 관한 것이다.
전자 회로를 설계 하는 프로세스 중 가장 시간을 많이 쏟으며, 어렵게 작업하는 단계가 설계한 회로를 검증하고 디버깅하는 단계이다. 디버깅 작업은 만들어진 회로의 소스코드와 소스코드로부터 시뮬레이션된 벡터 파형을 비교 분석하며 진행하게 되는데, 방대한 시뮬레이션 벡터 파형을 관련된 소스코드와 매치 시켜 살피는 일이 쉽지가 않다. 하드웨어 설계자에게는 이런 작업을 쉽게 도와주는 케이스 도구가 요구된다.
일반적으로 설계된 전자회로의 디버깅은 파형 분석기와 스크립트(Script) 파일을 사용해서 진행된다. 구체적으로, 방대한 시뮬레이션 파형을 파형 분석기로 검색해서, 특정 시간대에 모든 시그널들이 올바른 값을 가지고 있는가를 살피며, 회로가 정확하게 설계되었는지를 검증하는 과정이 진행된다. 그러나, 이와 같은 종래의 디버깅 작업은 시뮬레이션 파형 자체가 너무 방대하여 파형과 회로의 소스코드를 매치 시키며 디버깅하는데 많은 시간과 노력이 소요되었다.
이와 같은 문제점을 해결하기 위해, 소스코드의 특정 부분과 동작하는 파형의 결과를 추출해내는 스크립트를 만들고, 이런 스크립트의 도움으로 시뮬레이션 파형과 소스코드의 특정 부분을 매치 시켜가며 디버깅 작업을 하는 방법이 제안되었다. 이 방법은 전자 회로를 디버깅하는데 있어, 스크립트를 사용함으로써 파형분석기만으로 디버깅하는 경우보다 디버깅 작업이 용이해질 수 있었다.
그러나, 위와 같이 파형 분석기와 스크립트를 사용하여 디버깅 과정이 이루어진다고 할지라도, 특정시간때의 파형을 보고 그 파형과 관련된 소스코드가 어디인지, 또 그때의 소스코드에 사용된 시그널들이 어떤 값을 가지고 있는지를 실시간으로 확인 할 수가 없는 한계가 있었다
본 발명에서는 상기한 바와 같은 종래 기술의 문제점을 해결하기 위해, 하드웨어 설계자가 파형 분석기의 파형을 보고 실시간으로 그 파형과 관련된 소스 코드를 살필 수 있는 가상 검증 파형에서 HDL 코드로의 연동 방법을 제안하고자 한다.
도 1은 본 발명의 바람직한 일 실시예에 따른 파형분석기와 연동하기 위한 HDL 편집기의 모듈 구성을 도시한 도면.
도 2는 본 발명의 바람직한 일 실시예에 따른 가상 검증 파형에서 HDL 코드로의 연동 과정을 도시한 순서도.
도 3은 본 발명의 다른 실시예에 따른 가상 검증 파형에서 HDL 코드로의 연동 과정을 도시한 순서도.
상기한 바와 같은 목적을 달성하기 위하여, 본 발명의 바람직한 일 실시예에 따르면, 로드된 소스들의 시그널 데이터베이스를 구축하는 단계(a); 설계자로부터 파형 선택 정보를 수신하는 단계(b); 상기 선택된 파형에 상응하는 시그널 패스를 HDL 에디터에 전달하는 단계(c); 상기 시그널 패스를 키로 하여 시그널 DB에서 해당 시그널 및 시그널에 상응하는 소스를 추출하는 단계(d); 및 상기 추출된 소스 코드를 디스플레이하는 단계(e)를 포함하는 가상 검증 파형에서 HDL 코드로의 연동 방법이 제공된다.
본 발명의 다른 실시예에 따르면, 로드된 소스들의 시그널 데이터베이스를 구축하는 단계(a); 설계자로부터 시간 선택 정보를 수신하는 단계(b); 상기 선택된 시간에 상응하는 시그널 패스와 값을 HDL 에디터에 전달하는 단계(c); 상기 시그널 패스를 사용하여 시그널 DB에서 해당 시그널을 추출하는 단계(d); 및 상기 추출된 시그널의 값을 디스플레이하는 단계(e)를 포함하는 것을 특징으로 하는 가상 검증파형에서 HDL 코드로의 연동 방법이 제공된다.
이하에서, 첨부된 도면을 참조하여 본 발명의 바람직한 실시예에 따른 데가상 검증 파형에서 HDL 코드로의 연동 방법 및 장치를 상세히 설명한다.
도 1은 본 발명의 바람직한 일 실시예에 따른 파형분석기와 연동하기 위한 HDL 편집기의 모듈 구성을 도시한 도면이다.
도 1에 도시된 바와 같이, 본 발명의 바람직한 실시예에 따른 HDL 에이터는 HDL 파서(100), 파서 트리뷰(102) 및 통신 모듈(104)을 포함할 수 있다.
HDL 파서(100)는 소스코드가 가지고 있는 시그널 목록을 추출하고 시그널과 관련된 여러 가지 데이터를 생성하고, 이것을 시그널 목록들에 대한 데이터베이스(시그널 데이터베이스) 형태로 구축한다. 시그널 데이터베이스에서, 여러 시그널 목록 중 특정 시그널을 가려낼 수 있는 키 항목이 있어야 하는데 이것은 시그널 패스(Signal Path)를 사용해서 처리한다. 시그널 패스는 탑 모듈에서부터 현재 시그널이 있는 모듈까지의 패스를 시그널 이름과 함께 나타낸 것이다.
파서 트리뷰(102)는 소스코드를 한눈에 파악 할 수 있도록 하기위해서, 소스 코드의 중요한 요소들을 계층적으로 표시한 트리뷰이다. 파서 트리뷰(102)에는 현재 소스에 기술된 시그널 목록들이 표시되며, 파형분석기가 특정 시간대의 시그널 값들을 전달하면, 파서 트리뷰(102)에 나타난 시그널들 옆에 값을 디스플레이한다.
통신 모듈(102)은 HDL 에디터와 파형 분석기 사이의 데이터 교환을 처리하는 기능을 한다. 본 발명의 바람직한 실시예에 따르면, 파형분석기와 HDL 에디터가 연동하기위한 통신 기술로는 DDE(Dynamic Data Exchange)가 사용될 수 있다. DDE(Dynamic Data Exchange)는 서로 다른 어플리케이션간의 데이터를 교환을 가능하게 하는 기술이다.
도 2는 본 발명의 바람직한 일 실시예에 따른 가상 검증 파형에서 HDL 코드로의 연동 과정을 도시한 순서도이다.
도 2는 시그널에 대응하는 소스코드를 보여주는 과정을 도시한 순서도이다.
도 2에 도시된 바와 같이, 우선 HDL 에디터는 HDL 파서를 사용하여 로드된 소스들의 시그널DB를 구축한다(S200).
시그널 DB가 구축된 후, 파형 분석기는 설계자가 파형분석기에 나타난 파형들 중 선택한 파형 정보를 수신한다(S202).
사용자의 파형 선택 정보를 수신하고, 사용자가 소스코드 보기를 요청하면,파형분석기는 HDL에디터에 DDE 연결을 시도한다. 또한, 파형분석기는 이어서 HDL에디터에 선택된 파형에 대한 시그널 패스를 전달한다(S204).
HDL에디터는 전달받은 시그널 패스를 키(Key)로 사용하여, 시그널 DB에서 해당 시그널을 찾는다(S206).
또한, HDL 에디터는 이 시그널이 어느 소스파일의 몇 번째 라인에 있는지를 알아내고, 발견된 시그널이 있는 소스코드를 에디터에 보여준다(S208).
위와 같은 과정을 통해, 설계자가 선택한 파형과 관련된 소스 코드를 설계자에게 쉽게 제공할 수 있을 것이다.
도 3은 본 발명의 다른 실시예에 따른 가상 검증 파형에서 HDL 코드로의 연동 과정을 도시한 순서도이다.
도 3은 시간에 대응하는 시그널의 값을 보여주는 과정을 도시한 순서도이다.
도 3에 도시된 바와 같이, 우선 HDL 에디터는 HDL 파서를 사용하여 로드된 소스들의 시그널 DB를 구축한다(S300).
설계자가 파형 분석기에서 보고자 하는 시그널들의 시간을 선택하면, 파형 분석기는 설계자의 시간 선택 정보를 수신한다(S302).
파형 분석기는 선택한 시간에 상응하는 시그널들의 패스와 값을 HDL 에디터에 전달한다(S304).
HDL 에디터는 전달된 시그널들의 시그널 패스를 이용하여 해당 시그널을 시그널 DB에서 찾는다(S306).
HDL 에디터는 시그널 DB에서 찾은 시그널의 값을 파서트리뷰에 디스플레이한다(S308).
위와 같은 과정을 통해, 설계자가 관련된 파형들의 타임라인을 선택하면, 그 시간대의 파형 값들이 HDL 에디터로 전달되어 HDl 에디터레 보여질 수 있다.
이상에서 설명한 바와 같이, 본 발명에 따른 가상 검증 파형에서 HDL 코드로의 연동 방법에 따르면, 파형분석기와 연동되는 HDL 디버그 에디터를 사용함으로써 하드웨어 설계자들이 설계된 회로를 디버깅 하는 노력과 시간을 줄일 수 있다. 하드웨어 설계의 여러 단계 중에서 가장 많은 시간과 노력을 들이는 단계가 디버깅하는 단계임을 감안하면, 디버깅 노력과 시간을 줄이는 것에 이어서 전자회로 제조 가격을 낮출 수 있는 효과가 있을 것이다.

Claims (2)

  1. 로드된 소스들의 시그널 데이터베이스를 구축하는 단계(a);
    설계자로부터 파형 선택 정보를 수신하는 단계(b);
    상기 선택된 파형에 상응하는 시그널 패스를 HDL 에디터에 전달하는 단계(c);
    상기 시그널 패스를 키로 하여 시그널 DB에서 해당 시그널 및 시그널에 상응하는 소스를 추출하는 단계(d); 및
    상기 추출된 소스 코드를 디스플레이하는 단계(e)를 포함하는 것을 특징으로 하는 가상 검증 파형에서 HDL 코드로의 연동 방법.
  2. 로드된 소스들의 시그널 데이터베이스를 구축하는 단계(a);
    설계자로부터 시간 선택 정보를 수신하는 단계(b);
    상기 선택된 시간에 상응하는 시그널 패스와 값을 HDL 에디터에 전달하는 단계(c);
    상기 시그널 패스를 사용하여 시그널 DB에서 해당 시그널을 추출하는 단계(d); 및
    상기 추출된 시그널의 값을 디스플레이하는 단계(e)를 포함하는 것을 특징으로 하는 가상 검증 파형에서 HDL 코드로의 연동 방법.
KR1020030043876A 2003-06-30 2003-06-30 가상 검증 파형에서 에이치디엘 코드로의 연동 방법 KR20050002497A (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020030043876A KR20050002497A (ko) 2003-06-30 2003-06-30 가상 검증 파형에서 에이치디엘 코드로의 연동 방법

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020030043876A KR20050002497A (ko) 2003-06-30 2003-06-30 가상 검증 파형에서 에이치디엘 코드로의 연동 방법

Publications (1)

Publication Number Publication Date
KR20050002497A true KR20050002497A (ko) 2005-01-07

Family

ID=37218007

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020030043876A KR20050002497A (ko) 2003-06-30 2003-06-30 가상 검증 파형에서 에이치디엘 코드로의 연동 방법

Country Status (1)

Country Link
KR (1) KR20050002497A (ko)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7913207B2 (en) 2006-01-17 2011-03-22 Samsung Electronics Co., Ltd. Method and apparatus for verifying logic circuit

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7913207B2 (en) 2006-01-17 2011-03-22 Samsung Electronics Co., Ltd. Method and apparatus for verifying logic circuit

Similar Documents

Publication Publication Date Title
US9064068B1 (en) Debuggable opaque IP
US6754862B1 (en) Gaining access to internal nodes in a PLD
US5867395A (en) Gate netlist to register transfer level conversion tool
US6564365B1 (en) Method of simultaneously displaying schematic and timing data
CN103294600B (zh) 基于Perl的EDIF网表级电路的自动可测性设计系统的自动可测性设计方法
US7415684B2 (en) Facilitating structural coverage of a design during design verification
US20070061113A1 (en) Enabling Test Script Play Back in Different Locales
CN101087148B (zh) 高速差分信号模拟分析系统及方法
US20150242296A1 (en) Analyzing behavior of a device under test
CN107038117A (zh) 一种基于事件处理函数间定义‑引用的web自动化测试方法
KR20050002497A (ko) 가상 검증 파형에서 에이치디엘 코드로의 연동 방법
CN110286882B (zh) 一种基于模型检测的前台系统设计与验证方法
US20120046931A1 (en) Multiple power-supply simulation result analyzer and method of analyzing the same
US6230115B1 (en) Simulator, simulation method, and medium having simulation program recorded, taking account of timing in electronic component and signal transmission through transmission line on printed-circuit board
US7681156B2 (en) Transmission circuit simulator and transmission circuit simulation program storage medium
CN115062571A (zh) 应用于集成电路器件的数据区域动态选取方法、系统、设备和计算机可读存储介质
Hogan et al. Information technology measurement and testing activities at NIST
Saha et al. Empowering Hardware Security with LLM: The Development of a Vulnerable Hardware Database
CN110377463A (zh) 接口测试方法、装置、终端及计算机可读存储介质
CN113806279B (zh) 一种基于SystemC实现iMX6Q的SoC片上串口的建模方法
JP2003058597A (ja) 論理等価性検証装置及び論理等価性検証方法
US7516058B2 (en) Method for IP characterization and path finding, and computer readable recording medium for storing program thereof
Ojala Automated UVM testbench generation
US20050149310A1 (en) Method for integrating ethernet switch system and RTL design environment
JP2000113006A (ja) 電子回路機能論理検証支援システム

Legal Events

Date Code Title Description
WITN Withdrawal due to no request for examination