JP4641001B2 - 回路図描画プログラム - Google Patents
回路図描画プログラム Download PDFInfo
- Publication number
- JP4641001B2 JP4641001B2 JP2006120565A JP2006120565A JP4641001B2 JP 4641001 B2 JP4641001 B2 JP 4641001B2 JP 2006120565 A JP2006120565 A JP 2006120565A JP 2006120565 A JP2006120565 A JP 2006120565A JP 4641001 B2 JP4641001 B2 JP 4641001B2
- Authority
- JP
- Japan
- Prior art keywords
- end point
- start point
- circuit diagram
- input
- graph
- 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
Description
なお、回路を構成する要素を表す単語には、分野によって複数の呼称があるが、ここでは、下記のとおり統一して呼ぶことにする。
回路図描画プログラムは、コンピュータを、図1に示すような、始点終点入力手段11、除外グラフ入力手段12、経路探索手段13、優先描画手段14、通常描画手段15として機能させるためのプログラムである。
GUI画面20には、図2に示すように、始点を入力するためのグループボックス21と、終点を入力するためのグループボックス22と、OKボタン23と、キャンセルボタン24とが表示されている。
GUI画面30には、図3に示すように、除外ノード(ネット)を入力するためのグループボックス31と、除外エッジ(素子)を入力するためのグループボックス32と、一旦除外されたグラフを探索対象に戻すためのグループボックス33と、OKボタン34と、キャンセルボタン35とが表示されている。
図4では、始点をノード「PORT_2」100、終点をエッジ「CN_4」101とし、除外グラフとしてノード「VDD」102及びノード「GND」103を探索対象から除外し、優先描画手段14においては、経路探索手段13により探索された最短経路Xを他の経路よりも目立つように太く描画するようにしている。
12 除外グラフ入力手段
13 経路探索手段
14 優先描画手段
15 通常描画手段
20 GUI画面
21 始点を入力するためのグループボックス
22 終点を入力するためのグループボックス
23 OKボタン
24 キャンセルボタン
30 GUI画面
31 除外ノードを入力するためのグループボックス
32 除外エッジを入力するためのグループボックス
33 一旦除外されたグラフを探索対象に戻すためのグループボックス
34 OKボタン
35 キャンセルボタン
100 PORT_2
101 CN_4
102 VDD
103 GND
X 最短経路
Claims (1)
- コンピュータを、画面表示された回路図における経路の始点と終点のノード又はエッジをユーザの操作を受けて入力する始点終点入力手段、ノードのグループボックスとエッジのグループボックスをそれぞれ表示させるGUI画面を表示させてこれらのグループボックスの中から探索対象から除外したいノード及びエッジをユーザの操作により選択させてノード及びエッジの一方または両方から1個以上入力する除外グラフ入力手段、前記除外グラフ入力手段により得られる除外グラフを回路全体から除いた部分集合の回路である部分グラフを探索対象として、前記始点終点入力手段により得られる始点と終点をそれぞれ端点とする最短経路を探索する経路探索手段、前記経路探索手段により得られる最短経路を他の経路よりも目立つように描画する優先描画手段及び他の経路を前記経路探索手段により得られる最短経路よりも目立たないように描画する通常描画手段のうちの一方または両方の描画手段として機能させるための回路図描画プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006120565A JP4641001B2 (ja) | 2006-04-25 | 2006-04-25 | 回路図描画プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006120565A JP4641001B2 (ja) | 2006-04-25 | 2006-04-25 | 回路図描画プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007293589A JP2007293589A (ja) | 2007-11-08 |
JP4641001B2 true JP4641001B2 (ja) | 2011-03-02 |
Family
ID=38764169
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006120565A Expired - Fee Related JP4641001B2 (ja) | 2006-04-25 | 2006-04-25 | 回路図描画プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4641001B2 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5982812B2 (ja) * | 2011-12-20 | 2016-08-31 | キヤノンマーケティングジャパン株式会社 | 情報処理装置、情報処理装置の制御方法、及びプログラム |
JP7145942B2 (ja) * | 2017-06-19 | 2022-10-03 | ワンスピン ソリューションズ ゲゼルシャフト ミット ベシュレンクテル ハフツング | フォーマルフォールト伝搬分析のためのシステム及び方法 |
US11520963B2 (en) | 2017-06-19 | 2022-12-06 | Onespin Solutions Gmbh | System and method for formal fault propagation analysis |
US11816410B2 (en) | 2017-06-19 | 2023-11-14 | Siemens Electronic Design Automation Gmbh | System and method for formal fault propagation analysis |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH01282681A (ja) * | 1988-05-10 | 1989-11-14 | Toshiba Corp | パスディレイ解析装置 |
JPH04309179A (ja) * | 1991-04-08 | 1992-10-30 | Nec Software Ltd | 最小遅延時間エラーの自動修正システム |
JPH0535809A (ja) * | 1991-07-30 | 1993-02-12 | Nec Corp | 回路図発生方式 |
JPH05225286A (ja) * | 1992-02-06 | 1993-09-03 | Nec Corp | 回路素子接続検索方式 |
JPH06119411A (ja) * | 1992-10-06 | 1994-04-28 | Nec Corp | 論理回路の遅延経路探索方法 |
JPH11250119A (ja) * | 1998-02-27 | 1999-09-17 | Nec Software Hokuriku Ltd | 論理回路の遅延経路探索方法及びその装置並びにプログラムを記録した機械読み取り可能な記録媒体 |
-
2006
- 2006-04-25 JP JP2006120565A patent/JP4641001B2/ja not_active Expired - Fee Related
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH01282681A (ja) * | 1988-05-10 | 1989-11-14 | Toshiba Corp | パスディレイ解析装置 |
JPH04309179A (ja) * | 1991-04-08 | 1992-10-30 | Nec Software Ltd | 最小遅延時間エラーの自動修正システム |
JPH0535809A (ja) * | 1991-07-30 | 1993-02-12 | Nec Corp | 回路図発生方式 |
JPH05225286A (ja) * | 1992-02-06 | 1993-09-03 | Nec Corp | 回路素子接続検索方式 |
JPH06119411A (ja) * | 1992-10-06 | 1994-04-28 | Nec Corp | 論理回路の遅延経路探索方法 |
JPH11250119A (ja) * | 1998-02-27 | 1999-09-17 | Nec Software Hokuriku Ltd | 論理回路の遅延経路探索方法及びその装置並びにプログラムを記録した機械読み取り可能な記録媒体 |
Also Published As
Publication number | Publication date |
---|---|
JP2007293589A (ja) | 2007-11-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TWI468884B (zh) | 次序程式作成裝置 | |
US9390218B2 (en) | Integrated circuit design system with color-coded component loading estimate display | |
JP2015018365A5 (ja) | ||
JP4641001B2 (ja) | 回路図描画プログラム | |
JP2009230248A (ja) | 評価表示システム、サーバ装置、評価表示方法及びプログラム | |
US10635846B2 (en) | Timing error analysis method and information processing apparatus | |
JP2010152644A (ja) | 設計支援方法および設計支援装置 | |
JP4769687B2 (ja) | タイミング検証方法、タイミング検証装置及びタイミング検証プログラム | |
JP6092686B2 (ja) | 運用作業フロー作成支援方法および運用作業フロー作成支援システム | |
JP2005202928A (ja) | レイアウト処理装置、レイアウト処理方法、及びプログラム | |
US20110099530A1 (en) | Spine selection mode for layout editing | |
JP6672791B2 (ja) | 半導体設計支援装置、半導体設計支援方法、及び半導体設計支援プログラム | |
JP4017583B2 (ja) | 半導体集積回路の設計データの回路表示方法 | |
JP2017146729A (ja) | 情報処理装置、操作支援方法および操作支援プログラム | |
JP6365264B2 (ja) | 配線のトポロジ表示プログラム、配線のトポロジ表示方法、および情報処理装置 | |
JP2006309666A (ja) | プログラム開発支援装置、プログラム動作比較方法および半導体集積回路製造方法 | |
JP6788380B2 (ja) | 配置図面作成装置 | |
JP2008277497A (ja) | 半導体集積回路の設計装置、半導体集積回路の設計方法、半導体装置の製造方法および半導体装置 | |
US10839119B2 (en) | Bus wiring searching method and information processing apparatus | |
JP6568980B2 (ja) | 回路設計装置、回路設計方法及びプログラム | |
JP2010522916A5 (ja) | ||
US8839183B2 (en) | Method and apparatus for derived layers visualization and debugging | |
JP2006215679A (ja) | 情報処理装置及び情報処理方法並びに記録媒体 | |
JP4953080B2 (ja) | 検索システム及びプログラム | |
JPH11175580A (ja) | 集積回路設計装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080806 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20100628 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100706 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100903 |
|
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: 20101124 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20101125 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131210 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |