JP4530731B2 - レイアウト設計装置、レイアウト設計方法、レイアウト設計プログラム、および記録媒体 - Google Patents
レイアウト設計装置、レイアウト設計方法、レイアウト設計プログラム、および記録媒体 Download PDFInfo
- Publication number
- JP4530731B2 JP4530731B2 JP2004178107A JP2004178107A JP4530731B2 JP 4530731 B2 JP4530731 B2 JP 4530731B2 JP 2004178107 A JP2004178107 A JP 2004178107A JP 2004178107 A JP2004178107 A JP 2004178107A JP 4530731 B2 JP4530731 B2 JP 4530731B2
- Authority
- JP
- Japan
- Prior art keywords
- net
- wiring length
- length information
- cell
- delay time
- 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
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/36—Circuit design at the analogue level
- G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
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)
- Microelectronics & Electronic Packaging (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Description
(レイアウト設計装置のハードウェア構成)
まず、この発明の実施の形態にかかるレイアウト設計装置のハードウェア構成について説明する。図1は、この発明の実施の形態にかかるレイアウト設計装置のハードウェア構成を示すブロック図である。
つぎに、この発明の実施の形態にかかるレイアウト設計装置に用いられる相関情報の内容について説明する。図2は、クロストークが発生する回路モデルを示すブロック図である。図2において、回路モデル200は、アグレッサネット201とビクティムネット211とを有している。ここで、アグレッサネット201とは、クロストークを発生するネットであり、ビクティムネット211とは、発生したクロストークによって影響を受けるネットである。
つぎに、この発明の実施の形態にかかるレイアウト設計装置の機能的構成について説明する。図7は、この発明の実施の形態にかかるレイアウト設計装置の機能的構成を示すブロック図である。
ここで、(a)は入力スルーレート遅延の遅延値であり、入力波形の傾きによる遅延をあらわしている。(b)はセル内固有遅延の遅延値であり、セルが持つ固有の遅延で、セルにネットが接続されていない無負荷での遅延をあらわしている。また、(c)は負荷容量遅延の遅延値であり、出力端子のドライブと負荷容量の影響による遅延をあらわしている。(d)は配線遅延の遅延値であり、配線ライン1103上を伝送信号が伝播する際に発生する遅延をあらわしている。
つぎに、この発明の実施の形態にかかるレイアウト設計処理手順の一例について説明する。図15は、この発明の実施の形態にかかるレイアウト設計処理手順の一例を示すフローチャートである。なお、許容されるクロストーク遅延時間は、あらかじめ所定のクロストーク遅延時間に設定されているものとする。
前記ネットリスト入力手段によって入力されたネットリストから得られるセルをLSIチップ上に配置する配置手段と、
前記配置手段によって配置されたセルの集合の中から、検査対象となる任意のネットを抽出するネット抽出手段と、
所定の回路モデルの回路シミュレーションをおこなった結果発生したクロストークによって生じる遅延時間に基づいて作成された、前記回路モデルに含まれている各セルの駆動能力に関する情報と、当該セルどうしを接続する配線の配線長情報との相関関係を示す相関情報を記憶する記憶手段と、
前記記憶手段に記憶された相関情報に基づいて、前記ネット抽出手段によって抽出されたネット内のセルの駆動能力に関する情報と相関関係のある配線長情報を抽出する配線長情報抽出手段と、
前記配線長情報抽出手段によって抽出された配線長情報に基づいて、前記遅延時間を抑制する遅延時間抑制セルを前記ネットに挿入する挿入手段と、
を備えることを特徴とするレイアウト設計装置。
前記挿入手段は、
前記判定手段によって判定された判定結果に基づいて、前記遅延時間抑制セルを前記ネットに挿入することを特徴とする付記1に記載のレイアウト設計装置。
前記判定手段は、
前記配線長情報抽出手段によって抽出された配線長情報と、前記配線長情報算出手段によって算出された配線長情報とに基づいて、前記ネット抽出手段によって抽出されたネットがクロストークを発生するかどうかを判定することを特徴とする付記2に記載のレイアウト設計装置。
前記検出手段によって遅延時間抑制セルが含まれていることが検出された場合、当該遅延時間抑制セルを前記ネットから削除する削除手段と、を備え、
前記配線長情報算出手段は、
前記削除手段によって遅延時間抑制セルが削除されたネット内における、ドライバセルとレシーバセルとの間に配線される配線の配線長情報を算出することを特徴とする付記3に記載のレイアウト設計装置。
前記判定手段によってクロストークが発生すると判定された場合にのみ、前記遅延時間抑制セルを前記ネットに挿入することを特徴とする付記1〜4のいずれか一つに記載のレイアウト設計装置。
前記配線長情報抽出手段は、
前記相関情報に基づいて、前記変更手段によって変更されたセルの駆動能力に関する情報と相関関係のある配線長情報を抽出することを特徴とする付記1〜5のいずれか一つに記載のレイアウト設計装置。
前記解析手段によってタイミング解析された解析結果に基づいて、前記ネットの論理最適化をおこなう論理最適化手段と、
を備えることを特徴とする付記1〜7のいずれか一つに記載のレイアウト設計装置。
前記ネットリスト入力工程によって入力されたネットリストから得られるセルをLSIチップ上に配置する配置工程と、
前記配置工程によって配置されたセルの集合の中から、検査対象となる任意のネットを抽出するネット抽出工程と、
所定の回路モデルの回路シミュレーションをおこなった結果発生したクロストークによって生じる遅延時間に基づいて作成された、前記回路モデルに含まれている各セルの駆動能力に関する情報と、当該セルどうしを接続する配線の配線長情報との相関関係を示す相関情報に基づいて、前記ネット抽出工程によって抽出されたネット内のセルの駆動能力に関する情報と相関関係のある前記配線長情報を抽出する配線長情報抽出工程と、
前記配線長情報抽出工程によって抽出された配線長情報に基づいて、前記遅延時間を抑制する遅延時間抑制セルを前記ネットに挿入する挿入工程と、
を含んだことを特徴とするレイアウト設計方法。
前記挿入工程は、
前記判定工程によって判定された判定結果に基づいて、前記遅延時間抑制セルを前記ネットに挿入することを特徴とする付記9に記載のレイアウト設計方法。
前記判定工程は、
前記配線長情報抽出工程によって抽出された配線長情報と、前記配線長情報算出工程によって算出された配線長情報とに基づいて、前記ネット抽出工程によって抽出されたネットがクロストークを発生するかどうかを判定することを特徴とする付記10に記載のレイアウト設計方法。
前記ネットリスト入力工程によって入力されたネットリストから得られるセルをLSIチップ上に配置させる配置工程と、
前記配置工程によって配置されたセルの集合の中から、検査対象となる任意のネットを抽出させるネット抽出工程と、
所定の回路モデルの回路シミュレーションをおこなった結果発生したクロストークによって生じる遅延時間に基づいて作成された、前記回路モデルに含まれている各セルの駆動能力に関する情報と、当該セルどうしを接続する配線の配線長情報との相関関係を示す相関情報に基づいて、前記ネット抽出工程によって抽出されたネット内のセルの駆動能力に関する情報と相関関係のある前記配線長情報を抽出させる配線長情報抽出工程と、
前記配線長情報抽出工程によって抽出された配線長情報に基づいて、前記遅延時間を抑制する遅延時間抑制セルを前記ネットに挿入させる挿入工程と、
をコンピュータに実行させることを特徴とするレイアウト設計プログラム。
前記挿入工程は、
前記判定工程によって判定された判定結果に基づいて、前記遅延時間抑制セルを前記ネットに挿入させることを特徴とする付記12に記載のレイアウト設計プログラム。
前記判定工程は、
前記配線長情報抽出工程によって抽出された配線長情報と、前記配線長情報算出工程によって算出された配線長情報とに基づいて、前記ネット抽出工程によって抽出されたネットがクロストークを発生するかどうかを判定させることを特徴とする付記13に記載のレイアウト設計プログラム。
500 相関テーブル
700 レイアウト設計装置
703 相関情報記憶部
704 ネットリスト入力部
706 配置部
707 ネット抽出部
708 配線長情報抽出部
709 配線長情報算出部
710 判定部
711 挿入部
712 検出部
713 削除部
714 変更部
715 解析部
716 論理最適化部
Claims (9)
- 任意のネットリストの入力を受け付けるネットリスト入力手段と、
前記ネットリスト入力手段によって入力されたネットリストから得られるセルをLSIチップ上に配置する配置手段と、
前記配置手段によって配置されたセルの集合の中から、検査対象となる任意のネットを抽出するネット抽出手段と、
所定の回路モデルの回路シミュレーションをおこなった結果発生したクロストークによって生じる遅延時間に基づいて作成された、前記回路モデルに含まれている各セルの駆動能力に関する情報と、当該セルどうしを接続する配線の配線長情報との相関関係を示す相関情報を記憶する記憶手段と、
前記記憶手段に記憶された相関情報に基づいて、前記ネット抽出手段によって抽出されたネット内のセルの駆動能力に関する情報と相関関係のある配線長情報を抽出する配線長情報抽出手段と、
前記ネット抽出手段によって抽出されたネットに、あらかじめ前記遅延時間抑制セルが含まれているかどうかを検出する検出手段と、
前記検出手段によって遅延時間抑制セルが含まれていることが検出された場合、当該遅延時間抑制セルを前記ネットから削除する削除手段と、
前記削除手段によって遅延時間抑制セルが削除されたネット内における、ドライバセルとレシーバセルとの間に配線される配線の配線長情報を算出する配線長情報算出手段と、
前記配線長情報抽出手段によって抽出された配線長情報と、前記配線長情報算出手段によって算出された配線長情報とに基づいて、前記ネット抽出手段によって抽出されたネットがクロストークを発生するかどうかを判定する判定手段と、
前記判定手段によって判定された判定結果に基づいて、前記遅延時間を抑制する遅延時間抑制セルを前記ネットに挿入する挿入手段と、
を備えることを特徴とするレイアウト設計装置。 - 前記挿入手段は、
前記判定手段によってクロストークが発生すると判定された場合、前記遅延時間抑制セルを前記ネットに挿入することを特徴とする請求項1に記載のレイアウト設計装置。 - 前記挿入手段によって前記遅延時間抑制セルが挿入されたネットのタイミング解析をおこなう解析手段と、
前記解析手段によってタイミング解析された解析結果に基づいて、前記ネットの論理最適化をおこなう論理最適化手段と、
を備えることを特徴とする請求項1または2に記載のレイアウト設計装置。 - ネットリスト入力手段、配置手段、ネット抽出手段、配線長情報抽出手段、検出手段、削除手段、配線長情報算出手段、判定手段、および挿入手段を備え、所定の回路モデルの回路シミュレーションをおこなった結果発生したクロストークによって生じる遅延時間に基づいて作成された、前記回路モデルに含まれている各セルの駆動能力に関する情報と、当該セルどうしを接続する配線の配線長情報との相関関係を示す相関情報を記憶する記憶装置にアクセス可能なコンピュータが、
前記ネットリスト入力手段により、任意のネットリストの入力を受け付けるネットリスト入力工程と、
前記配置手段により、前記ネットリスト入力工程によって入力されたネットリストから得られるセルをLSIチップ上に配置する配置工程と、
前記ネット抽出手段により、前記配置工程によって配置されたセルの集合の中から、検査対象となる任意のネットを抽出するネット抽出工程と、
前記配線長情報抽出手段により、前記記憶装置に記憶された相関情報に基づいて、前記ネット抽出工程によって抽出されたネット内のセルの駆動能力に関する情報と相関関係のある配線長情報を抽出する配線長情報抽出工程と、
前記検出手段により、前記ネット抽出工程によって抽出されたネットに、あらかじめ前記遅延時間抑制セルが含まれているかどうかを検出する検出工程と、
前記削除手段により、前記検出工程によって遅延時間抑制セルが含まれていることが検出された場合、当該遅延時間抑制セルを前記ネットから削除する削除工程と、
前記配線長情報算出手段により、前記削除工程によって遅延時間抑制セルが削除されたネット内における、ドライバセルとレシーバセルとの間に配線される配線の配線長情報を算出する配線長情報算出工程と、
前記判定手段により、前記配線長情報抽出工程によって抽出された配線長情報と、前記配線長情報算出工程によって算出された配線長情報とに基づいて、前記ネット抽出工程によって抽出されたネットがクロストークを発生するかどうかを判定する判定工程と、
前記挿入手段により、前記判定工程によって判定された判定結果に基づいて、前記遅延時間を抑制する遅延時間抑制セルを前記ネットに挿入する挿入工程と、
を実行することを特徴とするレイアウト設計方法。 - 前記挿入工程は、
前記判定工程によってクロストークが発生すると判定された場合、前記遅延時間抑制セルを前記ネットに挿入することを特徴とする請求項4に記載のレイアウト設計方法。 - 前記挿入工程によって前記遅延時間抑制セルが挿入されたネットのタイミング解析をおこなう解析工程と、
前記解析工程によってタイミング解析された解析結果に基づいて、前記ネットの論理最適化をおこなう論理最適化工程と、
を実行することを特徴とする請求項4または5に記載のレイアウト設計方法。 - 所定の回路モデルの回路シミュレーションをおこなった結果発生したクロストークによって生じる遅延時間に基づいて作成された、前記回路モデルに含まれている各セルの駆動能力に関する情報と、当該セルどうしを接続する配線の配線長情報との相関関係を示す相関情報を記憶する記憶装置にアクセス可能なコンピュータに、
任意のネットリストの入力を受け付けるネットリスト入力工程と、
前記ネットリスト入力工程によって入力されたネットリストから得られるセルをLSIチップ上に配置する配置工程と、
前記配置工程によって配置されたセルの集合の中から、検査対象となる任意のネットを抽出するネット抽出工程と、
前記記憶手段に記憶された相関情報に基づいて、前記ネット抽出工程によって抽出されたネット内のセルの駆動能力に関する情報と相関関係のある配線長情報を抽出する配線長情報抽出工程と、
前記ネット抽出工程によって抽出されたネットに、あらかじめ前記遅延時間抑制セルが含まれているかどうかを検出する検出工程と、
前記検出工程によって遅延時間抑制セルが含まれていることが検出された場合、当該遅延時間抑制セルを前記ネットから削除する削除工程と、
前記削除工程によって遅延時間抑制セルが削除されたネット内における、ドライバセルとレシーバセルとの間に配線される配線の配線長情報を算出する配線長情報算出工程と、
前記配線長情報抽出工程によって抽出された配線長情報と、前記配線長情報算出工程によって算出された配線長情報とに基づいて、前記ネット抽出工程によって抽出されたネットがクロストークを発生するかどうかを判定する判定工程と、
前記判定工程によって判定された判定結果に基づいて、前記遅延時間を抑制する遅延時間抑制セルを前記ネットに挿入する挿入工程と、
を実行させることを特徴とするレイアウト設計プログラム。 - 前記挿入工程は、
前記判定工程によってクロストークが発生すると判定された場合、前記遅延時間抑制セルを前記ネットに挿入することを特徴とする請求項7に記載のレイアウト設計プログラム。 - 前記挿入工程によって前記遅延時間抑制セルが挿入されたネットのタイミング解析をおこなう解析工程と、
前記解析工程によってタイミング解析された解析結果に基づいて、前記ネットの論理最適化をおこなう論理最適化工程と、
前記コンピュータに実行させることを特徴とする請求項7または8に記載のレイアウト設計プログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004178107A JP4530731B2 (ja) | 2004-06-16 | 2004-06-16 | レイアウト設計装置、レイアウト設計方法、レイアウト設計プログラム、および記録媒体 |
US11/024,482 US7367005B2 (en) | 2004-06-16 | 2004-12-30 | Method and apparatus for designing a layout, and computer product |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004178107A JP4530731B2 (ja) | 2004-06-16 | 2004-06-16 | レイアウト設計装置、レイアウト設計方法、レイアウト設計プログラム、および記録媒体 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006004056A JP2006004056A (ja) | 2006-01-05 |
JP4530731B2 true JP4530731B2 (ja) | 2010-08-25 |
Family
ID=35482020
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004178107A Expired - Fee Related JP4530731B2 (ja) | 2004-06-16 | 2004-06-16 | レイアウト設計装置、レイアウト設計方法、レイアウト設計プログラム、および記録媒体 |
Country Status (2)
Country | Link |
---|---|
US (1) | US7367005B2 (ja) |
JP (1) | JP4530731B2 (ja) |
Families Citing this family (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007294015A (ja) * | 2006-04-25 | 2007-11-08 | Matsushita Electric Ind Co Ltd | 半導体集積回路、及びbist回路設計方法 |
US7614023B2 (en) * | 2006-10-25 | 2009-11-03 | Infineon Technologies Ag | System for estimating a terminal capacitance and for characterizing a circuit |
JP4437824B2 (ja) * | 2007-02-13 | 2010-03-24 | 富士通株式会社 | 遅延解析結果表示プログラム |
US7904861B2 (en) * | 2007-06-13 | 2011-03-08 | International Business Machines Corporation | Method, system, and computer program product for coupled noise timing violation avoidance in detailed routing |
JP5060991B2 (ja) * | 2008-02-22 | 2012-10-31 | 株式会社日立製作所 | 集積回路の設計支援装置、集積回路の設計支援方法、集積回路の設計支援プログラム、及びこのプログラムが記録された記録媒体 |
US8745565B2 (en) * | 2009-08-31 | 2014-06-03 | Synopsys, Inc. | Satisfying routing rules during circuit design |
US8370782B2 (en) * | 2010-06-25 | 2013-02-05 | International Business Machines Corporation | Buffer-aware routing in integrated circuit design |
US8448123B2 (en) * | 2010-10-22 | 2013-05-21 | International Business Machines Corporation | Implementing net routing with enhanced correlation of pre-buffered and post-buffered routes |
US8667441B2 (en) | 2010-11-16 | 2014-03-04 | International Business Machines Corporation | Clock optimization with local clock buffer control optimization |
US8725483B2 (en) * | 2011-01-19 | 2014-05-13 | International Business Machines Corporation | Minimizing the maximum required link capacity for three-dimensional interconnect routing |
WO2012124117A1 (ja) * | 2011-03-17 | 2012-09-20 | 富士通株式会社 | タイミングエラー除去方法、設計支援装置、及びプログラム |
US8856495B2 (en) | 2011-07-25 | 2014-10-07 | International Business Machines Corporation | Automatically routing super-compute interconnects |
US9405880B2 (en) * | 2014-05-16 | 2016-08-02 | Taiwan Semiconductor Manufacturing Company Limited | Semiconductor arrangement formation |
JP6661396B2 (ja) * | 2016-01-29 | 2020-03-11 | キヤノン株式会社 | 半導体装置および電子機器 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002259477A (ja) * | 2001-03-06 | 2002-09-13 | Mitsubishi Electric Corp | 半導体回路設計変更方法 |
JP2004151929A (ja) * | 2002-10-30 | 2004-05-27 | Fujitsu Ltd | 半導体装置の設計方法 |
Family Cites Families (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS6123388A (ja) * | 1984-07-11 | 1986-01-31 | 日本電気株式会社 | 配線経路探索装置 |
JPH09147009A (ja) * | 1995-11-24 | 1997-06-06 | Hitachi Ltd | クロストークディレイ決定方法及び平行配線長制限方法 |
JP2882359B2 (ja) * | 1996-04-27 | 1999-04-12 | 日本電気株式会社 | レイアウト設計装置 |
JP3175653B2 (ja) * | 1997-07-18 | 2001-06-11 | 日本電気株式会社 | クロストークエラー改善方式及び方法 |
US6832180B1 (en) * | 1999-10-29 | 2004-12-14 | Sun Microsystems, Inc. | Method for reducing noise in integrated circuit layouts |
US7013253B1 (en) * | 2000-04-03 | 2006-03-14 | Magma Design Automation, Inc. | Method and apparatus for calculation of crosstalk noise in integrated circuits |
US6907586B1 (en) * | 2001-10-02 | 2005-06-14 | Lsi Logic Corporation | Integrated design system and method for reducing and avoiding crosstalk |
US6907590B1 (en) * | 2001-10-02 | 2005-06-14 | Lsi Logic Corporation | Integrated circuit design system and method for reducing and avoiding crosstalk |
US6754877B1 (en) * | 2001-12-14 | 2004-06-22 | Sequence Design, Inc. | Method for optimal driver selection |
JP4224541B2 (ja) | 2002-03-20 | 2009-02-18 | 富士通マイクロエレクトロニクス株式会社 | 自動配置配線方法、装置及びプログラム |
JP2004185374A (ja) * | 2002-12-04 | 2004-07-02 | Matsushita Electric Ind Co Ltd | クロストークチェック方法 |
US7073140B1 (en) * | 2002-08-30 | 2006-07-04 | Cadence Design Systems, Inc. | Method and system for performing crosstalk analysis |
US7137093B2 (en) * | 2003-08-08 | 2006-11-14 | Cadence Design Systems, Inc. | Post-placement timing optimization of IC layout |
-
2004
- 2004-06-16 JP JP2004178107A patent/JP4530731B2/ja not_active Expired - Fee Related
- 2004-12-30 US US11/024,482 patent/US7367005B2/en not_active Expired - Fee Related
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002259477A (ja) * | 2001-03-06 | 2002-09-13 | Mitsubishi Electric Corp | 半導体回路設計変更方法 |
JP2004151929A (ja) * | 2002-10-30 | 2004-05-27 | Fujitsu Ltd | 半導体装置の設計方法 |
Also Published As
Publication number | Publication date |
---|---|
JP2006004056A (ja) | 2006-01-05 |
US7367005B2 (en) | 2008-04-29 |
US20050283750A1 (en) | 2005-12-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4530731B2 (ja) | レイアウト設計装置、レイアウト設計方法、レイアウト設計プログラム、および記録媒体 | |
US8196077B2 (en) | Cell-library-for-statistical-timing-analysis creating apparatus and statistical-timing analyzing apparatus | |
US20090293033A1 (en) | System and method for layout design of integrated circuit | |
US7552414B2 (en) | Layout design apparatus, layout design method, and computer product | |
JP4706738B2 (ja) | 遅延解析装置、遅延解析方法、及びプログラム | |
JP5359655B2 (ja) | 生成方法 | |
JP5167740B2 (ja) | 設計支援プログラム、設計支援装置、および設計支援方法 | |
US8423931B2 (en) | Support computer product, apparatus, and method | |
US20060236279A1 (en) | Design supporting apparatus, design supporting method, and computer product | |
JP4985323B2 (ja) | レイアウト支援プログラム、該プログラムを記録した記録媒体、レイアウト支援装置、およびレイアウト支援方法 | |
US7945882B2 (en) | Asynchronous circuit logical verification method, logical verification apparatus, and computer readable storage medium | |
JP5136371B2 (ja) | 設計支援方法 | |
US7299437B2 (en) | Method and apparatus for detecting timing exception path and computer product | |
US20080209368A1 (en) | Layout design method, layout design apparatus, and computer product | |
JP2006344165A (ja) | レイアウト設計装置、レイアウト設計方法、レイアウト設計プログラム、および記録媒体 | |
JP4924136B2 (ja) | ノイズ解析プログラム、該プログラムを記録した記録媒体、ノイズ解析装置およびノイズ解析方法 | |
JP4825905B2 (ja) | レイアウト設計装置、レイアウト設計プログラム、および記録媒体 | |
JP4783712B2 (ja) | レイアウト設計方法、レイアウト設計プログラムおよびレイアウト設計装置 | |
JP5050865B2 (ja) | セルライブラリ検証プログラム、該プログラムを記録した記録媒体、セルライブラリ検証装置、およびセルライブラリ検証方法 | |
JP5287540B2 (ja) | 回路設計装置および回路設計プログラム | |
US7552411B2 (en) | LSI analysis method, LSI analysis apparatus, and computer product | |
JP2010271853A (ja) | 検証支援プログラム、検証支援装置、および検証支援方法 | |
JP5565493B2 (ja) | 回路設計装置および回路設計プログラム | |
JP4968294B2 (ja) | レイアウト設計装置、レイアウト設計プログラム、および記録媒体 | |
JP2001290863A (ja) | 半導体回路の遅延解析方法及び設計支援装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20070518 |
|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A712 Effective date: 20080730 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20090902 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090908 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20091106 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20100126 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100423 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20100511 |
|
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: 20100601 |
|
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: 20100608 |
|
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: 20130618 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140618 Year of fee payment: 4 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
LAPS | Cancellation because of no payment of annual fees |