JP7078428B2 - シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム - Google Patents
シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム Download PDFInfo
- Publication number
- JP7078428B2 JP7078428B2 JP2018044853A JP2018044853A JP7078428B2 JP 7078428 B2 JP7078428 B2 JP 7078428B2 JP 2018044853 A JP2018044853 A JP 2018044853A JP 2018044853 A JP2018044853 A JP 2018044853A JP 7078428 B2 JP7078428 B2 JP 7078428B2
- Authority
- JP
- Japan
- Prior art keywords
- simulation
- electronic circuit
- information
- execution control
- execution
- 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.)
- Active
Links
Images
Description
図1は、本願発明の第1の実施の形態に係るシミュレーション実行制御装置10の構成を概念的に示すブロック図である。シミュレーション実行制御装置10は、設定される初期値として不定値を含む、シミュレーションの実行対象とするLSI等の電子回路(本願では以降、電子回路と称する)の動作について、当該電子回路に関する設計情報21とテストデータ22とを使用してシミュレーションを実行するとともに、その実行を制御する装置である。
図11は、本願発明の第2の実施形態に係るシミュレーション実行制御装置30の構成を概念的に示すブロック図である。
上述した各実施形態において図1、及び、図11に示したシミュレーション実行制御装置における各部は、専用のHW(HardWare)(電子回路)によって実現することができる。また、図1、及び、図11において、少なくとも、下記構成は、ソフトウェアプログラムの機能(処理)単位(ソフトウェアモジュール)と捉えることができる。
・検出部11及び31、
・生成部12及び32、
・実行部13及び33、
・検証部14。
・CPU(Central_Processing_Unit)901、
・ROM(Read_Only_Memory)902、
・RAM(Random_Access_Memory)903、
・ハードディスク(記憶装置)904、
・通信インタフェース905、
・バス906(通信線)、
・CD-ROM(Compact_Disc_Read_Only_Memory)等の記録媒体907に格納されたデータを読み書き可能なリーダライタ908、
・モニター、スピーカ、キーボード、マウス等の入出力インタフェース909。
11 検出部
12 生成部
120 マスク情報
13 実行部
130 コンパイラ
131 シミュレータ
132 シミュレーション実行制御情報
14 検証部
15 記憶部
150-1乃至150-n 中間結果情報
151 論理設計情報に関するシミュレーション結果
21 設計情報
22 テストデータ
30 シミュレーション実行制御装置
31 検出部
32 生成部
320 マスク情報
33 実行部
41 設計情報
900 情報処理装置
901 CPU
902 ROM
903 RAM
904 ハードディスク(記憶装置)
905 通信インタフェース
906 バス
907 記録媒体
908 リーダライタ
909 入出力インタフェース
a01 NANDゲート
a02 機能回路
a03 クロック制御回路
a04 機能回路
a05 レジスタ
b00 ORゲート
Claims (9)
- 電子回路の設計情報を用いて行われる、前記電子回路の動作に関するシミュレーションにおいて、前記電子回路における特定の素子が示す値が不定値となることを解消することが期待される解消機能が動作中であり、かつ、前記特定の素子が不定値を示している、検出対象事象が発生していることを検出する検出手段と、
前記検出手段が前記検出対象事象を検出した場合に、前記シミュレーションにおいて、前記解消機能が動作中であることを示す期間に関連する特定の期間に関して、前記特定の素子が示す不定値を定数値に置き換えることを表すマスク情報を生成する生成手段と、
前記検出手段が前記検出対象事象を検出したことに応じて前記シミュレーションを停止したのち、前記マスク情報を用いて、前記シミュレーションを再実行する実行手段と、
を備え、
前記実行手段は、所定のタイミングに、前記シミュレーションを実行した中間結果を表す中間結果情報を生成して記憶手段に格納し、前記シミュレーションを再実行する場合は、前記マスク情報と、前記記憶手段に格納されている前記中間結果情報と、を用いる、
シミュレーション実行制御装置。 - 前記実行手段は、前記電子回路が電源オンされたのちに初期化処理を行う動作に含まれる1以上のプロシージャの個々に関してその実行が完了するタイミングに、前記中間結果情報を生成する、
請求項1に記載のシミュレーション実行制御装置。 - 前記実行手段は、生成した複数の前記中間結果情報のうち、前記検出手段が前記検出対象事象を検出した時点から遡って、最も新しい前記中間結果情報を用いて、前記シミュレーションを再実行する、
請求項1または請求項2に記載のシミュレーション実行制御装置。 - 前記実行手段は、前記検出手段が前記検出対象事象を検出してから所定の時間が経過したのち、前記シミュレーションを停止する、
請求項1乃至請求項3のいずれか一項に記載のシミュレーション実行制御装置。 - 前記検出手段は、前記電子回路において前記解消機能を実現する、前記特定の素子が示す値をリセットすることが期待されるリセット信号が示す値に基づいて、前記解消機能が動作中であることを検出する、
請求項1乃至請求項4のいずれか一項に記載のシミュレーション実行制御装置。 - 前記特定の素子は、前記電子回路に含まれるフリップフロップであり、前記リセット信号は、前記電子回路における前記フリップフロップに対するクロック入力を制御する構成に入力される、
請求項5に記載のシミュレーション実行制御装置。 - 前記電子回路に対する物理設計が行なわれた結果を表す前記設計情報に関して、前記実行手段が前記マスク情報を用いて前記シミュレーションを実行した結果と、前記電子回路に対する論理設計が行なわれた結果を表す論理設計情報に関して、前記シミュレーションが実行された結果と、を比較する検証手段をさらに備える、
請求項1乃至請求項6のいずれか一項に記載のシミュレーション実行制御装置。 - 情報処理装置によって、
電子回路の設計情報を用いて行われる、前記電子回路の動作に関するシミュレーションにおいて、前記電子回路における特定の素子が示す値が不定値となることを解消することが期待される解消機能が動作中であり、かつ、前記特定の素子が不定値を示している、検出対象事象が発生していることを検出し、
前記検出対象事象を検出した場合に、前記シミュレーションにおいて、前記解消機能が動作中であることを示す期間に関連する特定の期間に関して、前記特定の素子が示す不定値を定数値に置き換えることを表すマスク情報を生成し、
前記検出対象事象を検出したことに応じて前記シミュレーションを停止したのち、前記マスク情報を用いて、前記シミュレーションを再実行する方法であって、
所定のタイミングに、前記シミュレーションを実行した中間結果を表す中間結果情報を生成して記憶手段に格納し、前記シミュレーションを再実行する場合は、前記マスク情報と、前記記憶手段に格納されている前記中間結果情報と、を用いる、
シミュレーション実行制御方法。 - 電子回路の設計情報を用いて行われる、前記電子回路の動作に関するシミュレーションにおいて、前記電子回路における特定の素子が示す値が不定値となることを解消することが期待される解消機能が動作中であり、かつ、前記特定の素子が不定値を示している、検出対象事象が発生していることを検出する検出処理と、
前記検出処理によって前記検出対象事象を検出した場合に、前記シミュレーションにおいて、前記解消機能が動作中であることを示す期間に関連する特定の期間に関して、前記特定の素子が示す不定値を定数値に置き換えることを表すマスク情報を生成する生成処理と、
前記検出処理によって前記検出対象事象を検出したことに応じて前記シミュレーションを停止したのち、前記マスク情報を用いて、前記シミュレーションを再実行する実行処理と、
をコンピュータに実行させるためのプログラムであって、
前記実行処理は、所定のタイミングに、前記シミュレーションを実行した中間結果を表す中間結果情報を生成して記憶手段に格納し、前記シミュレーションを再実行する場合は、前記マスク情報と、前記記憶手段に格納されている前記中間結果情報と、を用いる、
シミュレーション実行制御プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018044853A JP7078428B2 (ja) | 2018-03-13 | 2018-03-13 | シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018044853A JP7078428B2 (ja) | 2018-03-13 | 2018-03-13 | シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2019159734A JP2019159734A (ja) | 2019-09-19 |
JP7078428B2 true JP7078428B2 (ja) | 2022-05-31 |
Family
ID=67993973
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018044853A Active JP7078428B2 (ja) | 2018-03-13 | 2018-03-13 | シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP7078428B2 (ja) |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20100017187A1 (en) | 2008-07-15 | 2010-01-21 | International Business Machines Corporation | Random initialization of latches in an integrated circuit design for simulation |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0341564A (ja) * | 1989-07-10 | 1991-02-22 | Matsushita Electric Ind Co Ltd | 論理回路のシミュレーション方法 |
JPH03138774A (ja) * | 1989-10-25 | 1991-06-13 | Hitachi Ltd | 論理シミュレーション方式 |
-
2018
- 2018-03-13 JP JP2018044853A patent/JP7078428B2/ja active Active
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20100017187A1 (en) | 2008-07-15 | 2010-01-21 | International Business Machines Corporation | Random initialization of latches in an integrated circuit design for simulation |
Also Published As
Publication number | Publication date |
---|---|
JP2019159734A (ja) | 2019-09-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP3357813B2 (ja) | ゲーテッドクロック設計支援方法、ゲーテッドクロック設計支援装置及びゲーテッドクロック設計支援プログラムを格納したコンピュータ読み取り可能な記録媒体 | |
Austin et al. | Making typical silicon matter with razor | |
US20130179142A1 (en) | Distributed parallel simulation method and recording medium for storing the method | |
US8594988B1 (en) | Method and apparatus for circuit simulation using parallel computing | |
US9262322B2 (en) | Method and apparatus for storing a processor architectural state in cache memory | |
US8473886B2 (en) | Parallel parasitic processing in static timing analysis | |
CN107850641B (zh) | 片上系统(SoC)的系统级验证 | |
US7254793B2 (en) | Latch modeling technique for formal verification | |
JP5040758B2 (ja) | シミュレーション装置、シミュレーション方法及びプログラム | |
US8407655B2 (en) | Fixing design requirement violations in multiple multi-corner multi-mode scenarios | |
JP7078428B2 (ja) | シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム | |
KR102611888B1 (ko) | 스위칭 액티비티에 기초한 반도체 장치의 배치 방법 및 이에 의해 제조된 반도체 장치 | |
JP2019091144A (ja) | シミュレーション装置、シミュレーションシステム、シミュレーション方法及びシミュレーションプログラム | |
JP5830955B2 (ja) | 検証装置、検証方法及び検証プログラム | |
Chang et al. | Verification of a microprocessor using real world applications | |
US9990453B2 (en) | Clock-domain-crossing specific design mutations to model silicon behavior and measure verification robustness | |
US20210357549A1 (en) | Simulator and simulation method | |
CN115204104A (zh) | 计算装置、其操作方法和计算机程序产品 | |
US10643012B1 (en) | Concurrent formal verification of logic synthesis | |
KR101328263B1 (ko) | 체계적 점진적 구체화를 통한 전자시스템수준에서부터게이트수준까지의 검증 방법 | |
JP5390464B2 (ja) | シミュレーション装置、シミュレーション装置の制御方法およびプログラム | |
JP2008250583A (ja) | レイアウト設計装置及びレイアウト方法 | |
JP5935319B2 (ja) | 回路エミュレーション装置、回路エミュレーション方法及び回路エミュレーションプログラム | |
Nikhil et al. | Efficient Simulation of SoC based on Design Checkpointing for Efficient Debugging | |
Burlyaev et al. | Automatic time-redundancy transformation for fault-tolerant circuits |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20210215 |
|
RD01 | Notification of change of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7421 Effective date: 20211110 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20220209 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20220215 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20220414 |
|
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: 20220426 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20220519 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 7078428 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |