JP6205791B2 - 解析支援装置、解析支援方法、および解析支援プログラム - Google Patents
解析支援装置、解析支援方法、および解析支援プログラム Download PDFInfo
- Publication number
- JP6205791B2 JP6205791B2 JP2013075084A JP2013075084A JP6205791B2 JP 6205791 B2 JP6205791 B2 JP 6205791B2 JP 2013075084 A JP2013075084 A JP 2013075084A JP 2013075084 A JP2013075084 A JP 2013075084A JP 6205791 B2 JP6205791 B2 JP 6205791B2
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- signal
- node
- analysis
- analysis support
- 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
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C29/00—Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
- G11C29/56—External testing equipment for static stores, e.g. automatic test equipment [ATE]; Interfaces therefor
- G11C29/56008—Error analysis, representation of errors
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C29/00—Checking stores for correct operation ; Subsequent repair; Testing stores during standby or offline operation
- G11C29/02—Detection or location of defective auxiliary circuits, e.g. defective refresh counters
- G11C29/022—Detection or location of defective auxiliary circuits, e.g. defective refresh counters in I/O circuitry
Description
図1は、実施の形態にかかる解析支援装置100による解析支援処理の一例を示す説明図である。図1において、解析支援装置100は、解析対象の回路の中から正帰還のループを検出して正帰還のループに含まれる節点を示す情報を出力するコンピュータである。
図2は、実施の形態にかかる解析支援装置100のハードウェア構成例を示すブロック図である。図2において、解析支援装置100は、CPU(Central Processing Unit)201と、ROM(Read Only Memory)202と、RAM(Random Access Memory)203と、磁気ディスクドライブ(Hard Disk Drive)204と、磁気ディスク205と、光ディスクドライブ206と、光ディスク207と、ディスプレイ208と、インターフェース(I/F:Interface)209と、キーボード210と、マウス211と、スキャナ212と、プリンタ213と、を備えている。また、各構成部はバス200によってそれぞれ接続されている。
次に、図3を用いて、位相情報テーブル300の記憶内容の一例について説明する。位相情報テーブル300は、例えば、上述したROM202、RAM203、磁気ディスク205などにより実現される。
次に、図4を用いて、解析支援装置100の機能的構成例について説明する。
次に、図5を用いて、取得データの一例について説明する。取得データは、取得部401によって取得された回路データ502と端子データ501とを含む。
次に、図6を用いて、解析対象の回路600の一例について説明する。
次に、図7〜図13を用いて、図6に示した解析対象の回路600に対する解析支援装置100の動作の一例について説明する。
次に、図14を用いて、解析支援装置100の解析支援処理手順の一例について説明する。
次に、図15を用いて、ステップS1402に示した探索処理手順の一例について説明する。
次に、図16を用いて、ステップS1508に示したループ判定処理手順について説明する。
前記取得部によって取得された前記回路データに基づいて、素子の種別と前記素子を信号が通過する場合に前記信号の位相が反転するか否かを示す情報とを対応付けて記憶する記憶部の記憶内容を参照して、前記回路内の複数の節点のうちのいずれかの節点を通過した信号が前記いずれかの節点に帰還した場合に前記信号の位相が反転するか否かを判定する判定部と、
前記判定部によって前記信号の位相が反転しないと判定された場合に、前記いずれかの節点を示す情報を出力する出力部と、
を有することを特徴とする解析支援装置。
前記判定部は、前記探索部によって探索された前記経路上の素子の種別に基づいて、前記記憶部の記憶内容を参照して、前記いずれかの節点を通過した前記信号が前記いずれかの節点に帰還した場合に前記信号の位相が反転するか否かを判定することを特徴とする付記1に記載の解析支援装置。
前記判定部は、前記記憶部の記憶内容を参照して、前記入力端子から入力された信号が、前記経路上でトランジスタのゲート端子からドレイン端子へと偶数回通過した場合に、前記信号の位相が反転しないと判定することを特徴とする付記2に記載の解析支援装置。
回路内の複数の素子と、前記複数の素子のうちの少なくとも2つの素子が接続される節点と、を示す回路データを取得し、
取得した前記回路データに基づいて、素子の種別と前記素子を信号が通過する場合に前記信号の位相が反転するか否かを示す情報とを対応付けて記憶する記憶部の記憶内容を参照して、前記回路内の複数の節点のうちのいずれかの節点を通過した信号が前記いずれかの節点に帰還した場合に前記信号の位相が反転するか否かを判定し、
前記信号の位相が反転しないと判定された場合に、前記いずれかの節点を示す情報を出力する、
処理を実行することを特徴とする解析支援方法。
回路内の複数の素子と、前記複数の素子のうちの少なくとも2つの素子が接続される節点と、を示す回路データを取得し、
取得した前記回路データに基づいて、素子の種別と前記素子を信号が通過する場合に前記信号の位相が反転するか否かを示す情報とを対応付けて記憶する記憶部の記憶内容を参照して、前記回路内の複数の節点のうちのいずれかの節点を通過した信号が前記いずれかの節点に帰還した場合に前記信号の位相が反転するか否かを判定し、
前記信号の位相が反転しないと判定された場合に、前記いずれかの節点を示す情報を出力する、
処理を実行させることを特徴とする解析支援プログラム。
401 取得部
402 探索部
403 記憶部
404 判定部
405 出力部
406 解析部
Claims (7)
- 回路内の複数の素子と、前記複数の素子のうちの少なくとも2つの素子が接続される節点と、を示す回路データを取得する取得部と、
前記取得部によって取得された前記回路データを参照して、前記回路の実動作時に信号が入力される前記回路内の入力端子を起点に、当該信号が通過する順に前記回路内の節点を特定して、当該信号が前記回路内の複数の節点のうちのいずれかの節点を通過してから前記いずれかの節点に帰還するまでの経路を探索する探索部と、
素子の種別と前記素子を信号が通過する場合に当該信号の位相が反転するか否かを示す情報とを対応付けて記憶する記憶部の記憶内容を参照して、前記探索部によって探索された前記経路上の素子の種別に基づいて、前記いずれかの節点を通過した信号が前記いずれかの節点に帰還した場合に当該信号の位相が反転するか否かを判定する判定部と、
前記判定部によって当該信号の位相が反転しないと判定された場合に、前記いずれかの節点を示す情報を出力する出力部と、
を有することを特徴とする解析支援装置。 - 前記記憶部は、トランジスタと、前記トランジスタのゲート端子からドレイン端子へと信号が通過する場合に当該信号の位相が反転することを示す情報と、を対応付けて記憶し、
前記判定部は、前記記憶部の記憶内容を参照して、前記入力端子から入力された信号が、前記経路上でトランジスタのゲート端子からドレイン端子へと偶数回通過した場合に、当該信号の位相が反転しないと判定することを特徴とする請求項1に記載の解析支援装置。 - 前記判定部によって信号の位相が反転しないと判定された前記いずれかの節点に、複数の電圧値のそれぞれの電圧値を設定した場合について、前記回路の回路解析を行う解析部を有することを特徴とする請求項1または2に記載の解析支援装置。
- 前記解析部は、前記判定部によって信号の位相が反転しないと判定された前記いずれかの節点に、前記回路内の電源の電圧値を設定した場合と、前記回路内の接地の電圧値を設定した場合と、について、前記回路の回路解析を行う、ことを特徴とする請求項3に記載の解析支援装置。
- 前記解析部は、前記回路の回路解析を行う際、前記回路内の複数の節点のうち、前記回路内の前記入力端子に接続される節点であって、前記判定部によって信号の位相が反転しないと判定された前記いずれかの節点を除いた節点に、所定の電圧値を設定する、ことを特徴とする請求項3または4に記載の解析支援装置。
- コンピュータが、
回路内の複数の素子と、前記複数の素子のうちの少なくとも2つの素子が接続される節点と、を示す回路データを取得し、
取得した前記回路データを参照して、前記回路の実動作時に信号が入力される前記回路内の入力端子を起点に、当該信号が通過する順に前記回路内の節点を特定して、当該信号が前記回路内の複数の節点のうちのいずれかの節点を通過してから前記いずれかの節点に帰還するまでの経路を探索し、
素子の種別と前記素子を信号が通過する場合に当該信号の位相が反転するか否かを示す情報とを対応付けて記憶する記憶部の記憶内容を参照して、探索した前記経路上の素子の種別に基づいて、前記いずれかの節点を通過した信号が前記いずれかの節点に帰還した場合に当該信号の位相が反転するか否かを判定し、
当該信号の位相が反転しないと判定された場合に、前記いずれかの節点を示す情報を出力する、
処理を実行することを特徴とする解析支援方法。 - コンピュータに、
回路内の複数の素子と、前記複数の素子のうちの少なくとも2つの素子が接続される節点と、を示す回路データを取得し、
取得した前記回路データを参照して、前記回路の実動作時に信号が入力される前記回路内の入力端子を起点に、当該信号が通過する順に前記回路内の節点を特定して、当該信号が前記回路内の複数の節点のうちのいずれかの節点を通過してから前記いずれかの節点に帰還するまでの経路を探索し、
素子の種別と前記素子を信号が通過する場合に当該信号の位相が反転するか否かを示す情報とを対応付けて記憶する記憶部の記憶内容を参照して、探索した前記経路上の素子の種別に基づいて、前記いずれかの節点を通過した信号が前記いずれかの節点に帰還した場合に当該信号の位相が反転するか否かを判定し、
当該信号の位相が反転しないと判定された場合に、前記いずれかの節点を示す情報を出力する、
処理を実行させることを特徴とする解析支援プログラム。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2013075084A JP6205791B2 (ja) | 2013-03-29 | 2013-03-29 | 解析支援装置、解析支援方法、および解析支援プログラム |
| US14/177,540 US9026979B2 (en) | 2013-03-29 | 2014-02-11 | Analysis support apparatus, analysis support method, and computer product |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2013075084A JP6205791B2 (ja) | 2013-03-29 | 2013-03-29 | 解析支援装置、解析支援方法、および解析支援プログラム |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2014199604A JP2014199604A (ja) | 2014-10-23 |
| JP6205791B2 true JP6205791B2 (ja) | 2017-10-04 |
Family
ID=51622076
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2013075084A Expired - Fee Related JP6205791B2 (ja) | 2013-03-29 | 2013-03-29 | 解析支援装置、解析支援方法、および解析支援プログラム |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US9026979B2 (ja) |
| JP (1) | JP6205791B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109932580B (zh) * | 2017-12-16 | 2021-04-13 | 神讯电脑(昆山)有限公司 | Usb接口检测装置 |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05342294A (ja) * | 1992-06-10 | 1993-12-24 | Mitsubishi Electric Corp | 回路シミュレーション装置 |
| JPH06110959A (ja) | 1992-09-30 | 1994-04-22 | Mitsubishi Electric Corp | 回路シミュレーション装置 |
| JP3099310B2 (ja) * | 1993-03-15 | 2000-10-16 | 株式会社東芝 | 回路解析装置 |
| JPH07121578A (ja) * | 1993-10-22 | 1995-05-12 | Mitsubishi Electric Corp | 回路シミュレーション方法 |
| JPH09179895A (ja) | 1995-12-22 | 1997-07-11 | Mitsubishi Electric Corp | 回路解析装置 |
| JP4326978B2 (ja) * | 2004-02-05 | 2009-09-09 | 旭化成エレクトロニクス株式会社 | 電子回路のフィードバックループ検出装置及び電子回路のフィードバックループ検出方法 |
| JP2007235908A (ja) * | 2006-02-02 | 2007-09-13 | Sharp Corp | リング発振回路、遅延時間測定回路、テスト回路、クロック発生回路、イメージセンサ、パルス発生回路、半導体集積回路、及び、そのテスト方法 |
-
2013
- 2013-03-29 JP JP2013075084A patent/JP6205791B2/ja not_active Expired - Fee Related
-
2014
- 2014-02-11 US US14/177,540 patent/US9026979B2/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JP2014199604A (ja) | 2014-10-23 |
| US20140298121A1 (en) | 2014-10-02 |
| US9026979B2 (en) | 2015-05-05 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Nebeling et al. | W3touch: metrics-based web page adaptation for touch | |
| US10282143B2 (en) | Information processing apparatus and control method of information processing apparatus | |
| Nurshuhada et al. | Enhancing performance aspect in usability guidelines for mobile web application | |
| US20130151517A1 (en) | File search apparatus and method using tag graph | |
| KR20080041856A (ko) | 메뉴 표시 방법 | |
| JP6205791B2 (ja) | 解析支援装置、解析支援方法、および解析支援プログラム | |
| JP5210970B2 (ja) | 共通クエリグラフパターン生成方法、共通クエリグラフパターン生成装置及び共通クエリグラフパターン生成プログラム | |
| US8458110B2 (en) | Verification support apparatus, verification support method, and computer product | |
| JP7263712B2 (ja) | 制御方法,情報処理装置および制御プログラム | |
| JP2008083781A (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
| CN112765517A (zh) | 页面生成方法、装置及电子设备 | |
| JP6327969B2 (ja) | 情報処理装置、情報処理方法及びプログラム | |
| JP4549280B2 (ja) | 設計支援装置、設計支援方法、および設計支援プログラム | |
| CN106293671A (zh) | 一种生成组件模板的方法及装置 | |
| JP6900265B2 (ja) | データ分析システム、及びデータ分析方法 | |
| JP5136371B2 (ja) | 設計支援方法 | |
| JP4985323B2 (ja) | レイアウト支援プログラム、該プログラムを記録した記録媒体、レイアウト支援装置、およびレイアウト支援方法 | |
| JP2015079460A (ja) | 情報処理装置およびプログラム | |
| JP2014160437A (ja) | 情報処理装置、プレゼンテーション資料最適化方法及びプログラム | |
| JP5589009B2 (ja) | 推薦クエリ抽出装置及び方法及びプログラム | |
| JP6515736B2 (ja) | 情報処理装置及び情報処理プログラム | |
| US8291362B2 (en) | Design support program, design support device, and design support method | |
| JP4716964B2 (ja) | タイミングダイアグラム編集プログラム、タイミングダイアグラム編集装置およびタイミングダイアグラム編集方法 | |
| KR20170083171A (ko) | 학술정보 태그 클라우드를 위한 방법 및 시스템 | |
| JP2006309509A (ja) | 閲覧画面再利用装置、閲覧画面再利用プログラム、及び記録媒体 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20151204 |
|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20161108 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20161213 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170213 |
|
| 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: 20170808 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170821 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 6205791 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| LAPS | Cancellation because of no payment of annual fees |