JP5562394B2 - Hdl環境のためのグローバルクロックハンドラーオブジェクト - Google Patents
Hdl環境のためのグローバルクロックハンドラーオブジェクト Download PDFInfo
- Publication number
- JP5562394B2 JP5562394B2 JP2012230294A JP2012230294A JP5562394B2 JP 5562394 B2 JP5562394 B2 JP 5562394B2 JP 2012230294 A JP2012230294 A JP 2012230294A JP 2012230294 A JP2012230294 A JP 2012230294A JP 5562394 B2 JP5562394 B2 JP 5562394B2
- Authority
- JP
- Japan
- Prior art keywords
- clock
- computer
- hdl
- simulated
- module
- 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.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/396—Clock trees
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
- Tests Of Electronic Circuits (AREA)
Description
12、14:コア
15:メモリコントローラ
16:バスインターフェイス
20:HDLモジュール
22:HDLモジュール
24:HDLモジュール
25:HDLモジュール
26:HDLモジュール
32:テストベンチモジュール
35:クロックハンドラーオブジェクト
50:コンピュータ読み取り可能な媒体
60:コンピュータシステム
Claims (20)
- コンピュータに、
第1のハードウェア記述言語(HDL)モジュールの記述に基づき設計対象である集積回路の動作を模擬するための模擬クロック信号の要求を発生させ、
クロックハンドラーオブジェクトの記述に基づき、その要求に応答して、模擬クロック信号を発生させる、
プログラムを記憶しているコンピュータ読み取り可能な記憶媒体。 - 前記クロックハンドラーオブジェクトは、シングルトンオブジェクトである、請求項1に記載のコンピュータ読み取り可能な媒体。
- 前記プログラムは、コンピュータに、前記クロックハンドラーオブジェクトの記述に基づき、前記第1のHDLモジュールに記述された複数の疑似クロック信号の発生要求である対応する複数のクロックハンドラーステートメントの実行に応答して、対応する独特のスレッド内で複数の模擬クロック信号の各々を発生させる、請求項1に記載のコンピュータ読み取り可能な媒体。
- 前記プログラムは、コンピュータに、前記クロックハンドラーオブジェクトの記述に基づき、前記模擬クロック信号に対して、別のクロック信号に対するオフセットをセットさせる、請求項1に記載のコンピュータ読み取り可能な媒体。
- 前記プログラムは、コンピュータに、前記クロックハンドラーオブジェクトの記述に基づき、ダイナミックアレイを維持させ、そのダイナミックアレイの各エレメントは、1つ以上の模擬クロック信号の1つに関する情報を含む、請求項1に記載のコンピュータ読み取り可能な媒体。
- 前記プログラムは、コンピュータに、前記クロックハンドラーオブジェクトの記述に基づき、複数のHDLモジュールの対応する1つにより記述される設計対象である集積回路の設計の複数のファンクションブロックの1つに各々対応する複数の模擬クロック信号を発生させる、請求項1に記載のコンピュータ読み取り可能な媒体。
- 前記第1のHDLモジュールは、コンピュータに、前記複数のHDLモジュールの少なくとも1つの他のモジュールをテストさせるように記述されたテストベンチモジュールであり、このテストベンチモジュールは、コンピュータに、前記クロックハンドラーオブジェクトの記述に基づき、複数の模擬クロック信号を発生させる複数のクロックステートメントを含む、請求項6に記載のコンピュータ読み取り可能な媒体。
- 前記複数のクロックステートメントの各々は、複数の模擬クロック信号のうちの対応する1つの信号の1つ以上のパラメータを指示するように構成され、その1つ以上のパラメータは、クロック周期を含む、請求項7に記載のコンピュータ読み取り可能な媒体。
- ハードウェア記述言語(HDL)モジュールの記述に基づき設計対象である集積回路の動作を模擬して、テストするための方法であって、コンピュータが、
集積回路の模擬中に前記HDLモジュールに含まれるクロックハンドラーステートメントを実行する段階と、
クロックハンドラーオブジェクトが実行されて、前記クロックハンドラーステートメントの実行に応答して模擬クロック信号発生する段階と、
を含む方法。 - ハードウェア記述言語(HDL)モジュールの模擬クロックポートに模擬クロック信号を指定する段階を更に含み、前記HDLモジュールは、集積回路のブロックに対応する、請求項9に記載の方法。
- コンピュータが、前記クロックハンドラーオブジェクトの記述に基づき、前記模擬クロック信号に対応するスレッドを発生する段階を更に含む、請求項9に記載の方法。
- コンピュータが、前記クロックハンドラーオブジェクトの記述に基づき、前記模擬クロック信号のパラメータをセットする段階を更に含み、前記パラメータは、クロック信号オフセットを含む、請求項9に記載の方法。
- コンピュータが、前記クロックハンドラーオブジェクトの記述に基づき、前記模擬クロック信号及び1つ以上の付加的な模擬クロック信号に対応する情報のダイナミックアレイを維持する段階を更に含み、そのダイナミックアレイの各エレメントは、前記模擬クロック信号又は1つ以上の付加的な模擬クロック信号の一方のパラメータに関する情報を含む、請求項12に記載の方法。
- 前記ダイナミックアレイの各エレメントは、それに対応する模擬クロック信号の周期を指示する値を含む、請求項13に記載の方法。
- コンピュータが、テストベンチモジュールの記述に基づきHDLモジュールのテストを遂行する段階を更に含み、そのテストベンチモジュールは、クロックハンドラーステートメントを含む、請求項10に記載の方法。
- コンピュータに、設計対象である集積回路を模擬させ、集積回路の設計は、ハードウェア記述言語(HDL)で記述され、集積回路の設計は、複数のHDLモジュールの対応する1つによって各々記述される1つ以上のファンクションブロックを含み、更に、その1つ以上のファンクションブロックの各々のために、1つ以上のクロック信号の1つが使用され、
前記複数のHDLモジュールに含まれるクロックステートメントの実行に応答して、クロックハンドラーオブジェクトの記述に基づいて対応するファンクションブロックのための対応する模擬クロック信号を発生させるために、コンピュータに、クロックハンドラーオブジェクトの記述に基づいて1つ以上の模擬クロック信号を発生させる、
プログラムを記憶するコンピュータ読み取り可能な記憶媒体。 - 前記プログラムは、コンピュータに、前記クロックハンドラーの記述に基づき複数のHDLモジュールの対応する1つにより記述される集積回路設計の複数のファンクションブロックの1つに各々対応する複数の模擬クロック信号を発生させ、請求項16に記載のコンピュータ読み取り可能な媒体。
- 前記プログラムは、コンピュータに、前記クロックハンドラーの記述に基づき複数の模擬クロック信号の各々を、複数のクロック信号の他の各々に対して独特のスレッドに指定させる、請求項17に記載のコンピュータ読み取り可能な媒体。
- 前記プログラムは、コンピュータに、前記クロックハンドラーの記述に基づきクロックステートメントに指定された1つ以上のパラメータに基づいて模擬クロック信号を与えさせる、請求項16に記載のコンピュータ読み取り可能な媒体。
- 前記複数のHDLモジュールは、テストベンチモジュールを含み、前記プログラムは、コンピュータに、そのテストベンチモジュールの記述に基づいて複数のHDLモジュールのうちの少なくとも1つの他のモジュールをテストさせ、更に、そのテストベンチモジュールは、クロックステートメントを含む、請求項16に記載のコンピュータ読み取り可能な媒体。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/274,015 | 2011-10-14 | ||
US13/274,015 US20130097568A1 (en) | 2011-10-14 | 2011-10-14 | Global clock handler object for hdl environment |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2013101604A JP2013101604A (ja) | 2013-05-23 |
JP5562394B2 true JP5562394B2 (ja) | 2014-07-30 |
Family
ID=47044791
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012230294A Expired - Fee Related JP5562394B2 (ja) | 2011-10-14 | 2012-09-28 | Hdl環境のためのグローバルクロックハンドラーオブジェクト |
Country Status (8)
Country | Link |
---|---|
US (1) | US20130097568A1 (ja) |
EP (1) | EP2581844A1 (ja) |
JP (1) | JP5562394B2 (ja) |
KR (1) | KR101418162B1 (ja) |
CN (1) | CN103049599A (ja) |
AU (1) | AU2012227208B2 (ja) |
TW (1) | TW201331775A (ja) |
WO (1) | WO2013055512A1 (ja) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103439648B (zh) * | 2013-08-08 | 2016-05-04 | 北京华大信安科技有限公司 | 一种验证方法、装置及芯片 |
US9922150B1 (en) * | 2014-11-11 | 2018-03-20 | Altera Corporation | Method and apparatus for satisfying operating conditions in a system design using an electronic design automation tool |
CN106250280B (zh) * | 2016-07-25 | 2021-03-19 | 北京联盛德微电子有限责任公司 | 一种时钟信号测试方法和装置 |
US10325046B2 (en) * | 2016-09-20 | 2019-06-18 | Synopsys, Inc. | Formal method for clock tree analysis and optimization |
WO2020068988A1 (en) * | 2018-09-25 | 2020-04-02 | Synopsys, Inc. | Hardware simulation systems and methods for identifying state-holding loops and oscillating loops |
Family Cites Families (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3505018B2 (ja) * | 1994-11-22 | 2004-03-08 | 株式会社ルネサステクノロジ | 半導体集積回路 |
JP2908337B2 (ja) * | 1996-08-26 | 1999-06-21 | 静岡日本電気株式会社 | マルチプロセス対応vhdlシミュレーション実行システム |
US6785873B1 (en) * | 1997-05-02 | 2004-08-31 | Axis Systems, Inc. | Emulation system with multiple asynchronous clocks |
JPH11213021A (ja) * | 1998-01-26 | 1999-08-06 | Matsushita Electric Ind Co Ltd | シミュレーションモデル生成方法及び装置 |
US6466898B1 (en) * | 1999-01-12 | 2002-10-15 | Terence Chan | Multithreaded, mixed hardware description languages logic simulation on engineering workstations |
US6571373B1 (en) * | 2000-01-31 | 2003-05-27 | International Business Machines Corporation | Simulator-independent system-on-chip verification methodology |
KR20030028541A (ko) * | 2000-07-05 | 2003-04-08 | 스티븐 제이 마이어 | 혼합 신호 시뮬레이션 |
US6269043B1 (en) * | 2000-07-31 | 2001-07-31 | Cisco Technology, Inc. | Power conservation system employing a snooze mode |
JP4088439B2 (ja) * | 2000-12-28 | 2008-05-21 | 富士通株式会社 | 論理装置の動作シミュレーション方法並びに論理装置の動作シミュレーションプログラム及び同プログラムを記録したコンピュータ読み取り可能な記録媒体 |
US20030018462A1 (en) * | 2001-07-16 | 2003-01-23 | Liang T. Chen | Multi-clock system simulation |
US7080365B2 (en) * | 2001-08-17 | 2006-07-18 | Sun Microsystems, Inc. | Method and apparatus for simulation system compiler |
JP2004013860A (ja) * | 2002-06-12 | 2004-01-15 | Fujitsu Ltd | 論理シミュレーション方法及び装置 |
US20040093198A1 (en) | 2002-11-08 | 2004-05-13 | Carbon Design Systems | Hardware simulation with access restrictions |
US7366652B2 (en) * | 2003-06-16 | 2008-04-29 | Springsoft, Inc. | Method of programming a co-verification system |
US7849297B2 (en) * | 2003-08-28 | 2010-12-07 | Mips Technologies, Inc. | Software emulation of directed exceptions in a multithreading processor |
US7260798B2 (en) * | 2003-12-29 | 2007-08-21 | Mentor Graphics Corporation | Compilation of remote procedure calls between a timed HDL model on a reconfigurable hardware platform and an untimed model on a sequential computing platform |
KR100536293B1 (ko) * | 2004-02-17 | 2005-12-12 | 박현주 | 칩 설계 검증 장치 및 방법 |
US7433813B1 (en) * | 2004-05-20 | 2008-10-07 | Xilinx, Inc. | Embedding a co-simulated hardware object in an event-driven simulator |
US7225416B1 (en) * | 2004-06-15 | 2007-05-29 | Altera Corporation | Methods and apparatus for automatic test component generation and inclusion into simulation testbench |
JP4631493B2 (ja) * | 2005-03-25 | 2011-02-16 | ヤマハ株式会社 | シミュレーション装置 |
US7890901B2 (en) * | 2006-03-24 | 2011-02-15 | International Business Machines Corporation | Method and system for verifying the equivalence of digital circuits |
US10423740B2 (en) * | 2009-04-29 | 2019-09-24 | Synopsys, Inc. | Logic simulation and/or emulation which follows hardware semantics |
JP2011070343A (ja) | 2009-09-25 | 2011-04-07 | Hitachi Information & Communication Engineering Ltd | 論理エミュレーション方法及び論理エミュレーションプログラム |
CN102054109B (zh) * | 2010-12-31 | 2014-03-19 | 北京大学深圳研究生院 | 集成电路下层硬件映射方法、数据控制流生成方法及装置 |
-
2011
- 2011-10-14 US US13/274,015 patent/US20130097568A1/en not_active Abandoned
-
2012
- 2012-09-19 AU AU2012227208A patent/AU2012227208B2/en not_active Ceased
- 2012-09-20 EP EP12185172.9A patent/EP2581844A1/en not_active Withdrawn
- 2012-09-21 WO PCT/US2012/056477 patent/WO2013055512A1/en active Application Filing
- 2012-09-26 TW TW101135376A patent/TW201331775A/zh unknown
- 2012-09-26 KR KR1020120106897A patent/KR101418162B1/ko active IP Right Grant
- 2012-09-28 CN CN2012105052592A patent/CN103049599A/zh active Pending
- 2012-09-28 JP JP2012230294A patent/JP5562394B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US20130097568A1 (en) | 2013-04-18 |
EP2581844A1 (en) | 2013-04-17 |
KR101418162B1 (ko) | 2014-07-09 |
AU2012227208A1 (en) | 2013-05-02 |
CN103049599A (zh) | 2013-04-17 |
TW201331775A (zh) | 2013-08-01 |
WO2013055512A1 (en) | 2013-04-18 |
AU2012227208B2 (en) | 2013-11-21 |
KR20130040701A (ko) | 2013-04-24 |
JP2013101604A (ja) | 2013-05-23 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7945888B2 (en) | Model-based hardware exerciser, device, system and method thereof | |
JP5562394B2 (ja) | Hdl環境のためのグローバルクロックハンドラーオブジェクト | |
US8543953B2 (en) | Automated stimulus steering during simulation of an integrated circuit design | |
US20130054161A1 (en) | Cell-Aware Fault Model Generation For Delay Faults | |
US11520968B2 (en) | Verification platform for system on chip and verification method thereof | |
US20150234965A1 (en) | Method and an apparatus for automatic processor design and verification | |
US20130024178A1 (en) | Playback methodology for verification components | |
US9235670B2 (en) | Method and an apparatus for automatic generation of verification environment for processor design and verification | |
KR102205899B1 (ko) | 메모리의 뱅크 충돌을 방지하기 위한 방법 및 장치 | |
JP2008186252A (ja) | テストベンチ生成機能を有する動作合成装置と方法及びプログラム | |
US7895027B2 (en) | HDL re-simulation from checkpoints | |
TWI818068B (zh) | 用於分段記憶體實體之方法及裝置 | |
US9218273B2 (en) | Automatic generation of a resource reconfiguring test | |
US9946823B2 (en) | Dynamic control of design clock generation in emulation | |
US10295596B1 (en) | Method and system for generating validation tests | |
US8429581B2 (en) | Method for verifying functional equivalence between a reference IC design and a modified version of the reference IC design | |
US20080262821A1 (en) | Method, apparatus, and computer program product for dynamically managing simulated addresses | |
US11836431B2 (en) | Integrated circuit composite test generation | |
US11719749B1 (en) | Method and system for saving and restoring of initialization actions on dut and corresponding test environment | |
US9823305B1 (en) | Method and system for generating post-silicon validation tests | |
US20130054218A1 (en) | Method and Software Tool for Automatically Testing a Circuit Design | |
CN107247577B (zh) | 一种配置soc ip核的方法、装置及系统 | |
US8914274B1 (en) | Method and system for instruction set simulation with concurrent attachment of multiple debuggers | |
US10387599B1 (en) | Systems, methods, and computer-readable media utilizing improved data structures and design flow for programmable memory built-in self-test (PMBIST) | |
Putrya | Method of free C++ code migration between SoC level tests and standalone IP-Core UVM environments |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20130910 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130917 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20131217 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20140519 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140610 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5562394 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |