JP2015056076A - 判定方法、判定プログラム、および判定装置 - Google Patents
判定方法、判定プログラム、および判定装置 Download PDFInfo
- Publication number
- JP2015056076A JP2015056076A JP2013189861A JP2013189861A JP2015056076A JP 2015056076 A JP2015056076 A JP 2015056076A JP 2013189861 A JP2013189861 A JP 2013189861A JP 2013189861 A JP2013189861 A JP 2013189861A JP 2015056076 A JP2015056076 A JP 2015056076A
- Authority
- JP
- Japan
- Prior art keywords
- terminal
- information
- terminals
- attribute
- determination
- 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.)
- Granted
Links
Images
Classifications
-
- 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/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
【解決手段】判定装置100は、複数のモジュールに含まれる各端子のうち、オープン端子であるか否かの判定対象の対象端子を示す端子情報101を取得する。判定装置100は、各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得する。判定装置100は、各端子のそれぞれについて、取得した第1属性情報が示す入出力属性の反対の入出力属性を示す第2属性情報を生成する。判定装置100は、取得した接続情報と生成した第2属性情報とに基づいて、各端子のうち、第2属性情報が出力端子であることを示す端子の値を特定値とした場合における各端子の状態をシミュレーションする。判定装置100は、端子情報101が示す対象端子の状態がハイインピーダンス状態となるかを判定する。
【選択図】図1
Description
図3は、実施の形態にかかる判定装置のハードウェア構成例を示すブロック図である。判定装置100は、CPU301と、ROM(Read Only Memory)302と、RAM303と、ディスクドライブ304と、ディスク305と、を有する。判定装置は、I/F(Inter Face)306と、入力装置307と、出力装置308と、を有する。また、各部はバス300によってそれぞれ接続される。
図4は、判定装置の機能的構成を示すブロック図である。判定装置100は、端子情報取得部401と、ネットリスト取得部402と、ネットリスト生成部403と、アサーション記述情報生成部404と、判定部405と、出力部406と、を有する。端子情報取得部401から出力部406までの処理は、例えば、CPU301がアクセス可能なディスク305などの記憶装置に記憶されたシミュレーションプログラムにコーディングされる。そして、CPU301が記憶装置に記憶された判定プログラムを読み出して、判定プログラムにコーディングされている処理を実行する。これにより、端子情報取得部401から判定部405までの処理が実現される。また、各部の処理結果は、例えば、RAM303、ディスク305などの記憶装置に記憶される。
(判定例1)
図6は、判定例1にかかるネットリストが示すモジュール間の接続関係を示す説明図である。判定例1では、オープン端子であるか否かの判定の第1対象端子である端子Port_Cがネットリストにおいてオープン端子となっていると判定される例を示す。
図12は、判定例2にかかるネットリストが示すモジュール間の接続関係を示す説明図である。判定例2では、オープン端子であるか否かの判定の第1対象端子である端子Port_Cがネットリストにおいてオープン端子となっていないと判定される例を示す。図12に示すように、端子Port_Cが誤って端子Port_Eに接続される。各部の処理は、判定例1と同じである。
図16および図17は、実施例1にかかる判定装置による判定処理手順例を示すフローチャートである。図16および図17の例は、判定例1で用いたネットリスト700を用いて示す。まず、判定装置100は、各モジュールの接続表を有する接続仕様情報500を取得する(ステップS1601)。判定装置100は、接続仕様情報500からオープン端子であるか否かの判定の第1対象端子を示す端子情報を抽出する(ステップS1602)。
実施例2では、第1属性情報として接続仕様情報500を取得し、接続仕様情報500に含まれる各接続表に基づいて、第2属性情報および出力情報を含むネットリストを生成する。実施例2は、実施例1と同一構成について同一符号を付し、実施例1と同一機能や構成についての詳細な説明を省略する。
図19は、実施例2にかかる判定装置による判定処理手順例を示すフローチャートである。ここでは、実施例2にかかる判定装置100による判定処理手順と、実施例1にかかる判定装置100による判定処理手順と、の違う手順についてのみ説明する。図16に示す処理手順については、実施例2においても同様の処理を行うため、ステップS1609のYesの場合の処理について説明する。
複数の部分回路に含まれる各端子のうち、オープン端子であるか否かの判定対象の第1対象端子を示す端子情報を取得し、
前記各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得し、
前記各端子のそれぞれについて、取得した前記第1属性情報が示す属性の反対の属性を示す第2属性情報を生成し、
取得した前記接続情報と生成した前記第2属性情報とに基づいて、前記各端子のうち、前記第2属性情報が出力端子であることを示す端子の値を第1特定値とした場合における前記各端子の状態をシミュレーションすることにより、前記端子情報が示す前記第1対象端子の状態がハイインピーダンス状態となるかを判定する、
処理を実行することを特徴とする判定方法。
前記判定する処理では、前記各端子のうち、前記第1端子以外の第2端子のそれぞれについて取得した前記接続情報と生成した前記第2属性情報と、に基づいて、前記第1対象端子の状態が前記ハイインピーダンス状態となるかを判定することを特徴とする付記1に記載の判定方法。
前記各端子のうち、前記第1対象端子と異なる、クリップ接続であるか否かの判定対象の第2対象端子を示す第2端子情報を取得する処理を実行し、
前記判定する処理では、前記各端子のそれぞれについて取得した前記接続情報と、前記第1端子のそれぞれについて取得した前記第1属性情報と、前記第2端子のそれぞれについて生成した前記第2属性情報と、に基づいて、前記各端子の状態をシミュレーションすることにより、さらに、前記第2端子情報が示す前記第2対象端子が第2特定値となるかを判定することを特徴とする付記2に記載の判定方法。
前記第1対象端子の状態が前記ハイインピーダンス状態となる場合、前記第1対象端子が前記オープン端子であることを示す情報を出力し、前記第1対象端子の状態が前記ハイインピーダンス状態とならない場合、前記第1対象端子が前記オープン端子でないことを示す情報を出力する処理を実行することを特徴とする付記1〜3のいずれか1つに記載の判定方法。
複数の部分回路に含まれる各端子のうち、オープン端子であるか否かの判定対象の第1対象端子を示す端子情報を取得し、
前記各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得し、
前記各端子のそれぞれについて、取得した前記第1属性情報が示す属性の反対の属性を示す第2属性情報を生成し、
取得した前記接続情報と生成した前記第2属性情報とに基づいて、前記各端子のうち、前記第2属性情報が出力端子であることを示す端子の値を第1特定値とした場合における前記各端子の状態をシミュレーションすることにより、前記端子情報が示す前記第1対象端子の状態がハイインピーダンス状態となるかを判定する、
処理を実行させることを特徴とする判定プログラム。
前記判定する処理では、前記各端子のうち、前記第1端子以外の第2端子のそれぞれについて取得した前記接続情報と生成した前記第2属性情報と、に基づいて、前記第1対象端子の状態が前記ハイインピーダンス状態となるかを判定することを特徴とする付記5に記載の判定プログラム。
前記各端子のうち、前記第1対象端子と異なる、クリップ接続であるか否かの判定対象の第2対象端子を示す第2端子情報を取得する処理を実行させ、
前記判定する処理では、前記各端子のそれぞれについて取得した前記接続情報と、前記第1端子のそれぞれについて取得した前記第1属性情報と、前記第2端子のそれぞれについて生成した前記第2属性情報と、に基づいて、前記各端子の状態をシミュレーションすることにより、さらに、前記第2端子情報が示す前記第2対象端子が第2特定値となるかを判定することを特徴とする付記6に記載の判定プログラム。
前記第1対象端子の状態が前記ハイインピーダンス状態となる場合、前記第1対象端子が前記オープン端子であることを示す情報を出力し、前記第1対象端子の状態が前記ハイインピーダンス状態とならない場合、前記第1対象端子が前記オープン端子でないことを示す情報を出力する処理を実行させることを特徴とする付記5〜7のいずれか1つに記載の判定プログラム。
前記各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得するネットリスト取得部と、
前記各端子のそれぞれについて、取得した前記第1属性情報が示す属性の反対の属性を示す第2属性情報を生成するネットリスト生成部と、
取得した前記接続情報と生成した前記第2属性情報とに基づいて、前記各端子のうち、前記第2属性情報が出力端子であることを示す端子の値を第1特定値とした場合における前記各端子の状態をシミュレーションすることにより、前記端子情報が示す前記第1対象端子の状態がハイインピーダンス状態となるかを判定する判定部と、
を有することを特徴とする判定装置。
前記判定部は、前記各端子のうち、前記第1端子以外の第2端子のそれぞれについて取得した前記接続情報と生成した前記第2属性情報と、に基づいて、前記第1対象端子の状態が前記ハイインピーダンス状態となるかを判定することを特徴とする付記9に記載の判定装置。
前記判定部は、前記各端子のそれぞれについて取得した前記接続情報と、前記第1端子のそれぞれについて取得した前記第1属性情報と、前記第2端子のそれぞれについて生成した前記第2属性情報と、に基づいて、前記各端子の状態をシミュレーションすることにより、さらに、前記第2端子情報が示す前記第2対象端子が第2特定値となるかを判定することを特徴とする付記10に記載の判定装置。
前記各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得し、
前記各端子のそれぞれについて、取得した前記第1属性情報が示す属性の反対の属性を示す第2属性情報を生成し、
取得した前記接続情報と生成した前記第2属性情報とに基づいて、前記各端子のうち、前記第2属性情報が出力端子であることを示す端子の値を第1特定値とした場合における前記各端子の状態をシミュレーションすることにより、前記端子情報が示す前記第1対象端子の状態がハイインピーダンス状態となるかを判定する、
処理をコンピュータに実行させる判定プログラムを記録したことを特徴とする記録媒体。
101 端子情報
401 端子情報取得部
402 ネットリスト取得部
403 ネットリスト生成部
404 アサーション記述情報生成部
405 判定部
406 出力部
500 接続仕様情報
501,511 接続表
700,701〜703,800,801,901,1300,1301,1400,1401 ネットリスト
1000,1600 アサーション記述情報
x,y,z,X,Y,Z,m1,m2,m3 モジュール
P1〜P7,a〜d,Port_A,Port_B,Port_C,Port_D,Port_E 端子
Claims (6)
- コンピュータが、
複数の部分回路に含まれる各端子のうち、オープン端子であるか否かの判定対象の第1対象端子を示す端子情報を取得し、
前記各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得し、
前記各端子のそれぞれについて、取得した前記第1属性情報が示す属性の反対の属性を示す第2属性情報を生成し、
取得した前記接続情報と生成した前記第2属性情報とに基づいて、前記各端子のうち、前記第2属性情報が出力端子であることを示す端子の値を第1特定値とした場合における前記各端子の状態をシミュレーションすることにより、前記端子情報が示す前記第1対象端子の状態がハイインピーダンス状態となるかを判定する、
処理を実行することを特徴とする判定方法。 - 前記生成する処理では、取得した前記接続情報に基づいて、前記各端子のうち、入力値が固定値となる第1端子について前記第2属性情報を生成せず、
前記判定する処理では、前記各端子のうち、前記第1端子以外の第2端子のそれぞれについて取得した前記接続情報と生成した前記第2属性情報と、に基づいて、前記第1対象端子の状態が前記ハイインピーダンス状態となるかを判定することを特徴とする請求項1に記載の判定方法。 - 前記コンピュータが、
前記各端子のうち、前記第1対象端子と異なる、クリップ接続であるか否かの判定対象の第2対象端子を示す第2端子情報を取得する処理を実行し、
前記判定する処理では、前記各端子のそれぞれについて取得した前記接続情報と、前記第1端子のそれぞれについて取得した前記第1属性情報と、前記第2端子のそれぞれについて生成した前記第2属性情報と、に基づいて、前記各端子の状態をシミュレーションすることにより、さらに、前記第2端子情報が示す前記第2対象端子が第2特定値となるかを判定することを特徴とする請求項2に記載の判定方法。 - 前記コンピュータが、
前記第1対象端子の状態が前記ハイインピーダンス状態となる場合、前記第1対象端子が前記オープン端子であることを示す情報を出力し、前記第1対象端子の状態が前記ハイインピーダンス状態とならない場合、前記第1対象端子が前記オープン端子でないことを示す情報を出力する処理を実行することを特徴とする請求項1〜3のいずれか1つに記載の判定方法。 - コンピュータに、
複数の部分回路に含まれる各端子のうち、オープン端子であるか否かの判定対象の第1対象端子を示す端子情報を取得し、
前記各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得し、
前記各端子のそれぞれについて、取得した前記第1属性情報が示す属性の反対の属性を示す第2属性情報を生成し、
取得した前記接続情報と生成した前記第2属性情報とに基づいて、前記各端子のうち、前記第2属性情報が出力端子であることを示す端子の値を第1特定値とした場合における前記各端子の状態をシミュレーションすることにより、前記端子情報が示す前記第1対象端子の状態がハイインピーダンス状態となるかを判定する、
処理を実行させることを特徴とする判定プログラム。 - 複数の部分回路に含まれる各端子のうち、オープン端子であるか否かの判定対象の第1対象端子を示す端子情報を取得する端子情報取得部と、
前記各端子のそれぞれについて、接続情報と、入力端子および出力端子のいずれであるかの属性を示す第1属性情報と、を取得するネットリスト取得部と、
前記各端子のそれぞれについて、取得した前記第1属性情報が示す属性の反対の属性を示す第2属性情報を生成するネットリスト生成部と、
取得した前記接続情報と生成した前記第2属性情報とに基づいて、前記各端子のうち、前記第2属性情報が出力端子であることを示す端子の値を第1特定値とした場合における前記各端子の状態をシミュレーションすることにより、前記端子情報が示す前記第1対象端子の状態がハイインピーダンス状態となるかを判定する判定部と、
を有することを特徴とする判定装置。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013189861A JP6146224B2 (ja) | 2013-09-12 | 2013-09-12 | 判定方法、判定プログラム、および判定装置 |
US14/464,737 US9047428B2 (en) | 2013-09-12 | 2014-08-21 | Determining method, computer product, and determining apparatus |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013189861A JP6146224B2 (ja) | 2013-09-12 | 2013-09-12 | 判定方法、判定プログラム、および判定装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015056076A true JP2015056076A (ja) | 2015-03-23 |
JP6146224B2 JP6146224B2 (ja) | 2017-06-14 |
Family
ID=52626832
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013189861A Expired - Fee Related JP6146224B2 (ja) | 2013-09-12 | 2013-09-12 | 判定方法、判定プログラム、および判定装置 |
Country Status (2)
Country | Link |
---|---|
US (1) | US9047428B2 (ja) |
JP (1) | JP6146224B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108182189B (zh) * | 2016-12-08 | 2021-01-29 | 中国石油天然气集团公司 | 材料表文件生成方法及装置 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004280279A (ja) * | 2003-03-13 | 2004-10-07 | Fujitsu Ltd | トップダウン設計装置およびトップダウン設計プログラム |
US20050050506A1 (en) * | 2003-08-25 | 2005-03-03 | Keller S. Brandon | System and method for determining connectivity of nets in a hierarchical circuit design |
JP2009048312A (ja) * | 2007-08-15 | 2009-03-05 | Fujitsu Ltd | 論理接続チェックプログラム、論理接続チェック装置、および論理接続チェック方法 |
JP2011203962A (ja) * | 2010-03-25 | 2011-10-13 | Renesas Electronics Corp | 半導体集積回路の検証装置及び検証方法 |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH10327047A (ja) * | 1997-05-22 | 1998-12-08 | Sony Corp | 半導体集積回路およびその設計方法 |
JPH10326301A (ja) | 1997-05-23 | 1998-12-08 | Nec Corp | Lsi試験方式 |
FR2772944A1 (fr) * | 1997-12-19 | 1999-06-25 | Sgs Thomson Microelectronics | Procede de gestion d'un circuit electronique et unite de gestion pour sa mise en oeuvre |
JP4176906B2 (ja) * | 1999-01-14 | 2008-11-05 | 株式会社ルネサステクノロジ | 静的・動的タイミング検証方法及び記憶媒体 |
US6640329B2 (en) * | 2001-08-29 | 2003-10-28 | Intel Corporation | Real-time connection error checking method and process |
-
2013
- 2013-09-12 JP JP2013189861A patent/JP6146224B2/ja not_active Expired - Fee Related
-
2014
- 2014-08-21 US US14/464,737 patent/US9047428B2/en not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004280279A (ja) * | 2003-03-13 | 2004-10-07 | Fujitsu Ltd | トップダウン設計装置およびトップダウン設計プログラム |
US20050050506A1 (en) * | 2003-08-25 | 2005-03-03 | Keller S. Brandon | System and method for determining connectivity of nets in a hierarchical circuit design |
JP2009048312A (ja) * | 2007-08-15 | 2009-03-05 | Fujitsu Ltd | 論理接続チェックプログラム、論理接続チェック装置、および論理接続チェック方法 |
JP2011203962A (ja) * | 2010-03-25 | 2011-10-13 | Renesas Electronics Corp | 半導体集積回路の検証装置及び検証方法 |
Also Published As
Publication number | Publication date |
---|---|
US9047428B2 (en) | 2015-06-02 |
US20150074626A1 (en) | 2015-03-12 |
JP6146224B2 (ja) | 2017-06-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TWI627547B (zh) | 用於ic設計協定的自動化功能覆蓋生成和管理的系統和方法 | |
US5867395A (en) | Gate netlist to register transfer level conversion tool | |
CN100456308C (zh) | 断言产生系统、电路验证系统以及断言产生方法 | |
US10354042B2 (en) | Selectively reducing graph based analysis pessimism | |
US9589096B1 (en) | Method and apparatus for integrating spice-based timing using sign-off path-based analysis | |
US20100042396A1 (en) | Automated Method for Validating Manufacturing Test Rules Pertaining to an Electronic Component | |
CN112417798B (zh) | 一种时序测试方法、装置、电子设备及存储介质 | |
US8589837B1 (en) | Constructing inductive counterexamples in a multi-algorithm verification framework | |
CN114169271A (zh) | 使用静态检查器结果对证伪的功率感知形式属性进行自动调试 | |
US20150234978A1 (en) | Cell Internal Defect Diagnosis | |
US10430535B2 (en) | Verification support program medium, verification support method, and information processing device for verification of a circuit | |
CN107784185B (zh) | 一种门级网表中伪路径的提取方法、装置及终端设备 | |
JP2009059089A (ja) | 回路仕様記述設計解析装置及び回路仕様記述設計解析方法 | |
JP6146224B2 (ja) | 判定方法、判定プログラム、および判定装置 | |
CN111624475A (zh) | 大规模集成电路的测试方法及系统 | |
US7454729B1 (en) | Method and system for validating testbench | |
JP2013003999A (ja) | 検証装置、検証方法及び検証プログラム | |
JP5568779B2 (ja) | 論理検証方法及び論理検証システム | |
JP2011203962A (ja) | 半導体集積回路の検証装置及び検証方法 | |
US9928328B1 (en) | Method and system for automated debugging of a device under test | |
Stotland et al. | Standalone functional verification of multicore microprocessor memory subsystem units based on application of memory subsystem models | |
US9710581B1 (en) | VIP assisted method and apparatus to enable SOC integration and software development | |
CN117725866B (zh) | 一种验证方法、装置、电子设备及可读存储介质 | |
CN117112447B (zh) | 一种数据传输方法、装置、电子设备及可读存储介质 | |
US10614181B2 (en) | Electronic design tools using non-synthesizable circuit elements |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A712 Effective date: 20150611 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20160329 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20170303 |
|
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: 20170418 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170501 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6146224 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |