JP2003076742A - Apparatus and method for extraction of verification pattern - Google Patents
Apparatus and method for extraction of verification patternInfo
- Publication number
- JP2003076742A JP2003076742A JP2001268143A JP2001268143A JP2003076742A JP 2003076742 A JP2003076742 A JP 2003076742A JP 2001268143 A JP2001268143 A JP 2001268143A JP 2001268143 A JP2001268143 A JP 2001268143A JP 2003076742 A JP2003076742 A JP 2003076742A
- Authority
- JP
- Japan
- Prior art keywords
- verification
- information
- pattern
- external terminal
- extracting
- 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.)
- Pending
Links
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
Description
【0001】[0001]
【発明の属する技術分野】本発明は、レイアウトされた
集積回路の実配線長検証における検証パターン抽出装置
とその方法に関するものである。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a verification pattern extraction device and method for actual wiring length verification of laid out integrated circuits.
【0002】[0002]
【従来の技術】以下に、従来の実配線長検証のフローに
ついて図を用いて説明する。図4は、従来のレイアウト
設計からマスク作成までの工程を示すフローチャートで
ある。2. Description of the Related Art A conventional flow of actual wiring length verification will be described below with reference to the drawings. FIG. 4 is a flowchart showing a conventional process from layout design to mask creation.
【0003】図4において、まず、論理情報に基づいて
集積回路の自動レイアウト設計として配置・配線処理を
行って(S401)レイアウトデータ402を出力し、
レイアウトデータ402にデザインルール違反がないか
確認する。次に、レイアウトデータ402より遅延情報
403を抽出する。これは、実際のレイアウトした配線
長から遅延計算ツールによって求めることができる。ま
た、レイアウトデータ402と1対1に対応したネット
リスト404も変換ツールを使って出力する。これらの
遅延情報403とネットリスト404により実配線長検
証ツールを用いて、機能動作・タイミングについての実
配線長検証を行う(S405)。実配線長検証の際、あ
らかじめ仮配線長検証で使用していた検証パターン40
6を使用する。実配線長検証の結果、問題がなかった場
合はそのままマスク作成の工程に進む(S407)。し
かし、実配線長検証の結果タイミングエラーが発生して
いる場合は、タイミングエラーが発生した箇所を確認・
解析・対策を検討して、レイアウトの修正情報408を
出力して、修正情報408に基づいてレイアウトデータ
402を修正する(S409)。以下、このフローを繰
り返し実施して実配線長検証において問題がなくなるま
で、検証パターン406を使って実配線長検証を行う。In FIG. 4, first, layout / wiring processing is performed as an automatic layout design of an integrated circuit based on logic information (S401), and layout data 402 is output.
It is confirmed whether the layout data 402 has a design rule violation. Next, the delay information 403 is extracted from the layout data 402. This can be obtained by the delay calculation tool from the actual laid out wiring length. The netlist 404 corresponding to the layout data 402 on a one-to-one basis is also output using the conversion tool. Based on the delay information 403 and the netlist 404, the actual wiring length verification tool is used to verify the actual wiring length regarding the functional operation / timing (S405). When verifying the actual wiring length, the verification pattern 40 that was previously used in the temporary wiring length verification
Use 6 As a result of the actual wiring length verification, if there is no problem, the process directly proceeds to the mask making process (S407). However, if a timing error has occurred as a result of actual wiring length verification, check the location where the timing error has occurred.
Analysis and countermeasures are examined, layout correction information 408 is output, and layout data 402 is corrected based on the correction information 408 (S409). Hereinafter, this flow is repeatedly performed to perform actual wiring length verification using the verification pattern 406 until there is no problem in actual wiring length verification.
【0004】しかしながら、上記従来の技術では、修正
量の小さいレイアウト変更の場合や必ずしも仮想配線長
検証で使用した検証パターン406全てについて影響を
与えないようなレイアウト変更の場合においても、実配
線長検証にて不必要な検証パターンの選別ができなかっ
たため、全ての検証パターン406を用いて実配線長検
証を行う必要があった。そのために、検証時間が長大に
なるという問題点があった。However, according to the above-mentioned conventional technique, the actual wiring length verification is performed even in the case of the layout modification with a small correction amount or the layout modification which does not necessarily affect all the verification patterns 406 used in the virtual wiring length verification. Since it was not possible to select an unnecessary verification pattern in step 2, it was necessary to perform actual wiring length verification using all verification patterns 406. Therefore, there is a problem that the verification time becomes long.
【0005】[0005]
【発明が解決しようとする課題】本発明の検証パターン
抽出方法とその装置は、上記従来の問題点を解決するた
めに、検証の信頼性を確保しながら検証時間を抑制する
ことを目的とする。SUMMARY OF THE INVENTION In order to solve the above-mentioned conventional problems, the verification pattern extraction method and apparatus of the present invention aim to suppress verification time while ensuring reliability of verification. .
【0006】[0006]
【課題を解決するための手段】この目的を達成するため
に本発明の請求項1記載の検証パターン抽出方法は、レ
イアウトと実配線長検証を繰り返して半導体集積回路を
設計するに際し、修正したレイアウトデータから遅延情
報と修正した回路にレイアウト的に隣接する回路情報を
示す周辺情報と修正後の論理情報を抽出する工程と、検
証パターンから機能別に区分されたパターンブロック毎
に影響のある外部端子とその状態遷移の頻度を抽出して
パターン情報として出力する工程と、前記遅延情報と前
記周辺情報と前記論理情報と前記パターン情報により修
正に必要な機能別に区分された検証パターンを選別する
工程とを有し、修正の検証を行うことに対して必要最小
限に最適化された検証パターンを抽出することを特徴と
する。In order to achieve this object, the verification pattern extraction method according to claim 1 of the present invention is a layout modified in designing a semiconductor integrated circuit by repeating layout and actual wiring length verification. A step of extracting delay information and peripheral information indicating circuit information adjacent to the corrected circuit in layout layout and the corrected logical information, and an external terminal having an influence on each pattern block classified by function from a verification pattern A step of extracting the frequency of the state transition and outputting it as pattern information, and a step of selecting a verification pattern divided by the function necessary for correction by the delay information, the peripheral information, the logical information, and the pattern information. It is characterized by extracting a verification pattern that is optimized to the minimum necessary for performing verification of correction.
【0007】請求項2記載の検証パターン抽出方法は、
請求項1記載の検証パターン抽出方法において、前記修
正の検証に必要最小限に最適化された検証パターンを抽
出するに際し、前記遅延情報と修正前の遅延情報より修
正した回路情報を抽出する工程と、前記修正した回路情
報と前記論理情報より修正した回路に関わる外部端子を
抽出する工程と、前記周辺情報と論理情報から修正した
回路の周辺回路に関わる外部端子を抽出する工程と、前
記修正した回路に関わる外部端子と前記周辺回路に関わ
る外部端子とをマージして検証に必要な外部端子の情報
を出力する工程と、前記検証パターンより機能別に区分
されたパターンブロック毎に影響のある外部端子を抽出
する工程と、前記検証パターンより前記パターンブロッ
ク毎に影響のある外部端子の状態遷移の頻度を抽出して
優先順位を付加したリストを出力する工程と、前記検証
に必要な外部端子の情報と前記リストにより前記検証パ
ターンのうち検証に必要な検証パターンを比較判定して
選別する工程とを有する。The verification pattern extraction method according to claim 2 is
2. The method for extracting a verification pattern according to claim 1, wherein when extracting a verification pattern optimized to a minimum necessary for verification of the correction, circuit information corrected is extracted from the delay information and the delay information before correction. A step of extracting external terminals related to the modified circuit from the modified circuit information and the logical information; a step of extracting external terminals related to the peripheral circuit of the modified circuit from the peripheral information and the logical information; A step of merging an external terminal related to a circuit and an external terminal related to the peripheral circuit to output information of the external terminal necessary for verification, and an external terminal that has an influence on each pattern block classified by function from the verification pattern. And extracting the frequency of the state transition of the external terminal that affects each pattern block from the verification pattern and adding the priority order. And a step of outputting the list, and a step of selecting by comparing determines a verification pattern required to verify one of the verification pattern by the information and the list of external terminals required for the verification.
【0008】請求項3記載の検証パターン抽出装置は、
遅延情報と修正した回路にレイアウト的に隣接する回路
情報を示す周辺情報と修正後の論理情報といったレイア
ウト情報を記憶する第1の記憶装置と、全ての検証パタ
ーンを記憶する第2の記憶装置と、前記レイアウト情報
より修正した回路に関わる外部端子を抽出する第1の外
部端子抽出部と、前記レイアウト情報より修正した回路
の周辺回路に関わる外部端子を抽出する第2の外部端子
抽出部と、前記第1の外部端子抽出部から抽出した外部
端子と前記第2の外部端子抽出部から抽出した外部端子
をマージする外部端子マージ部と、前記検証パターンよ
り機能別に区分されたパターンブロック毎に影響のある
外部端子を抽出する第3の外部端子抽出部と、前記検証
パターンより前記パターンブロック毎に影響のある外部
端子の状態遷移の頻度を抽出する状態遷移頻度抽出部
と、前記状態遷移頻度により各外部端子に優先順位を付
加したリストを出力するリスト出力部と、前記外部端子
マージ部にてマージされた外部端子の情報と前記リスト
出力部より出力されたリストにより検証に用いる検証パ
ターンを判定・選別する判定・選別処理装置とを有する
ことによりレイアウト修正時において修正の検証に必要
最低限の検証パターンを選択することを特徴とする。The verification pattern extraction device according to claim 3 is
A first storage device for storing layout information such as delay information, peripheral information indicating circuit information adjacent to the corrected circuit in layout, and corrected logic information; and a second storage device for storing all verification patterns. A first external terminal extracting unit that extracts external terminals related to the circuit modified from the layout information, and a second external terminal extracting unit that extracts external terminals related to peripheral circuits of the circuit modified from the layout information; An external terminal merging unit for merging the external terminal extracted from the first external terminal extraction unit and the external terminal extracted from the second external terminal extraction unit, and an influence on each pattern block classified by function from the verification pattern A third external terminal extracting unit for extracting an external terminal having a certain state, and a state transition of the external terminal having an influence on each pattern block from the verification pattern. A state transition frequency extracting unit for extracting a degree, a list output unit for outputting a list in which priority is added to each external terminal according to the state transition frequency, information on external terminals merged by the external terminal merging unit, and A feature is that a minimum verification pattern necessary for verification of layout is selected at the time of layout modification by having a judgment / selection processing device for judging / selecting a verification pattern to be used for verification based on the list output from the list output unit. To do.
【0009】以上により、本発明の検証パターン抽出レ
イアウト方法は、検証の信頼性を確保しながら検証時間
を抑制することができる。As described above, the verification pattern extraction layout method of the present invention can suppress the verification time while ensuring the reliability of verification.
【0010】[0010]
【発明の実施の形態】以下、本発明の実施の形態1にお
ける検証パターン抽出方法について図面を参照しながら
説明する。BEST MODE FOR CARRYING OUT THE INVENTION A verification pattern extracting method according to a first embodiment of the present invention will be described below with reference to the drawings.
【0011】図1は、本発明の実施の形態1における検
証パターン抽出方法を示すフローチャートである。図1
において、まず、論理情報に基づいて集積回路の自動レ
イアウト設計として配置・配線処理を行い(S10
1)、デザインルール違反がないか確認する。次に、仮
配線長検証で使用した検証パターン102を用いて実配
線長検証を行い(S103)、検証で不具合があった場
合は検証結果に基づいてレイアウト修正を行って(S1
04)レイアウトデータ105を出力する。検証に問題
がなければマスク作成(S103)の工程に移行する。
次に、レイアウトデータ105より遅延情報106や、
修正された配線に隣接する配線の信号名・マスクレイヤ
ー・配線長といった周辺情報107を抽出する。また、
レイアウト修正に用いたネットリスト108も用意す
る。ここで、検証パターン102について、確認する機
能ごとにパターンを区分してそれぞれに影響のある外部
端子と、期待値より各外部端子の状態遷移の頻度をリス
トアップしてパターン情報109として出力する。次
に、検証パターン102,パターン情報109,遅延情
報106,周辺情報107,ネットリスト108を参照
して検証パターン102を判定・選別し、修正により影
響のある機能に関する検証パターンの部分を抽出パター
ン111として出力する(S110)。最後に、抽出パ
ターン111を用いてネットリスト108に対して実配
線長検証を実施する(S112)。実配線長検証の結
果、問題がなかった場合はそのままマスク作成の工程に
進む(S113)。しかし、実配線長検証の結果タイミ
ングエラーが発生している場合は、タイミングエラーが
発生した箇所を確認・解析・対策を検討して、レイアウ
トの修正情報114を出力しレイアウトデータ105を
修正する。以下、実配線長検証において問題がなくなる
までこのフローを繰り返す。FIG. 1 is a flowchart showing a verification pattern extraction method according to the first embodiment of the present invention. Figure 1
First, a layout / wiring process is performed as an automatic layout design of an integrated circuit based on the logic information (S10).
1) Check if there are any design rule violations. Next, the actual wiring length is verified using the verification pattern 102 used in the tentative wiring length verification (S103), and if there is a problem in the verification, the layout is corrected based on the verification result (S1).
04) Output the layout data 105. If there is no problem in verification, the process proceeds to the mask creation (S103) process.
Next, from the layout data 105, the delay information 106,
The peripheral information 107 such as the signal name, mask layer, and wiring length of the wiring adjacent to the corrected wiring is extracted. Also,
The netlist 108 used for layout correction is also prepared. Here, with respect to the verification pattern 102, the patterns are classified according to the function to be confirmed, and the external terminals that have an effect on each are listed, and the frequency of state transition of each external terminal from the expected value is listed and output as pattern information 109. Next, the verification pattern 102 is determined and selected by referring to the verification pattern 102, the pattern information 109, the delay information 106, the peripheral information 107, and the netlist 108, and the verification pattern portion relating to the function affected by the correction is extracted pattern 111. (S110). Finally, actual wiring length verification is performed on the netlist 108 using the extraction pattern 111 (S112). As a result of the actual wiring length verification, if there is no problem, the process directly proceeds to the mask making process (S113). However, if a timing error has occurred as a result of the actual wiring length verification, the location where the timing error has occurred is checked, analyzed, and countermeasures are taken, and the layout correction information 114 is output to correct the layout data 105. Hereinafter, this flow is repeated until there is no problem in the actual wiring length verification.
【0012】以下本発明の実施の形態2における検証パ
ターン抽出方法について、図面を参照しながら説明す
る。図2は本発明の実施の形態2における検証パターン
抽出方法の判定・選別処理工程を示すフローチャートで
ある。A verification pattern extraction method according to the second embodiment of the present invention will be described below with reference to the drawings. FIG. 2 is a flowchart showing the determination / selection processing steps of the verification pattern extraction method according to the second embodiment of the present invention.
【0013】図2において、まず、修正後の遅延情報2
01と修正前の情報202の遅延情報とを比較して修正
した回路情報を抽出する(S203)。この時、修正後
のネットリスト204と修正前の情報202のネットリ
スト情報も比較して、修正した回路情報が一致している
ことを確認する。次に、修正された配線がどの外部端子
に接続されているかを修正配線のブロックインスタンス
名と修正配線名から集積回路のネットリスト204で接
続情報をたどり、修正に関わる外部端子を抽出する(S
205)。また、周辺情報206と集積回路のネットリ
スト204から修正箇所とレイアウト上隣接して動作に
影響がおよぼされる範囲の周辺回路を抽出してその回路
が接続される外部端子を抽出する(S207)。この
時、周辺情報206には修正された配線に隣接する配線
や交差している配線の情報が組み込まれているが、配線
レイヤー変更時のコンタクト抵抗や配線レイヤーの多層
化に伴うレイヤー間の容量なども考慮されている。次
に、修正部分とその周辺部分から抽出した外部端子の重
複を避けるため、それぞれをマージしてレイアウト情報
から修正によって影響する全ての外部端子を抽出する
(S208)。一方、検証パターン209については、
まず、各パターン毎に影響のある外部端子を一覧表とし
て抽出して(S210)、次に、その外部端子の状態遷
移の頻度を回数として抽出し(S211)、状態遷移の
頻度より検証する優先順位を明記したリスト212を出
力して各パターン毎に機能と外部端子における指標を明
確にする。最後に、レイアウト情報から抽出した外部端
子情報と検証パターンから作成した各外部端子の優先順
位を明記したリスト212を比較・判定して選別するこ
とで(S213)、修正に対応した検証パターン214
を抽出することができる。In FIG. 2, first, the delay information 2 after correction is shown.
01 is compared with the delay information of the information 202 before the correction to extract the corrected circuit information (S203). At this time, the netlist information of the corrected netlist 204 and the netlist information of the information 202 before correction are also compared to confirm that the corrected circuit information matches. Next, which external terminal the modified wiring is connected to is traced by the netlist 204 of the integrated circuit from the block instance name of the modified wiring and the modified wiring name, and the external terminal related to the modification is extracted (S).
205). Further, the peripheral information 206 and the net list 204 of the integrated circuit are extracted from the peripheral circuit in the range adjacent to the correction location in the layout and affecting the operation, and the external terminals to which the circuit is connected are extracted (S207). ). At this time, the peripheral information 206 includes the information of the adjacent wiring and the intersecting wiring to the corrected wiring, but the contact resistance at the time of changing the wiring layer and the capacitance between layers due to the multilayering of the wiring layers. Etc. are also considered. Next, in order to avoid duplication of the external terminals extracted from the modified portion and its peripheral portion, the external terminals are merged and all external terminals affected by the modification are extracted from the layout information (S208). On the other hand, regarding the verification pattern 209,
First, the external terminals that affect each pattern are extracted as a list (S210), then the frequency of state transitions of the external terminals is extracted as the number of times (S211), and priority is given to verification from the frequency of state transitions. The list 212 in which the order is specified is output to clarify the function and the index in the external terminal for each pattern. Finally, by comparing and determining the external terminal information extracted from the layout information and the list 212 specifying the priority of each external terminal created from the verification pattern and selecting (S213), the verification pattern 214 corresponding to the correction.
Can be extracted.
【0014】以下本発明の実施の形態3における検証パ
ターン抽出装置について、図面を参照しながら説明す
る。図3は本発明の実施の形態3における検証パターン
抽出装置を示す構成図である。A verification pattern extraction device according to the third embodiment of the present invention will be described below with reference to the drawings. FIG. 3 is a configuration diagram showing a verification pattern extraction device according to the third embodiment of the present invention.
【0015】図3において、301はレイアウト情報記
憶装置、302は検証パターン記憶装置、303は判定
・選別処理手段である。ここで、判定・選別処理手段3
03は、修正に関わる外部端子抽出部304,周辺回路
に関わる外部端子抽出部305,外部端子マージ部30
6,検証パターン外部端子抽出部307,状態遷移頻度
抽出部308,リスト出力部309,判定選別処理装置
310より構成される。In FIG. 3, reference numeral 301 is a layout information storage device, 302 is a verification pattern storage device, and 303 is a judgment / selection processing means. Here, the determination / selection processing means 3
Reference numeral 03 denotes an external terminal extracting unit 304 related to correction, an external terminal extracting unit 305 related to peripheral circuits, and an external terminal merging unit 30.
6, a verification pattern external terminal extraction unit 307, a state transition frequency extraction unit 308, a list output unit 309, and a judgment selection processing device 310.
【0016】上記のように構成された検証パターン抽出
装置について、以下にその動作を説明する。まず、論理
情報に基づいて集積回路のレイアウト修正を行い、その
修正に対応した遅延情報と周辺情報を抽出してレイアウ
ト情報記憶装置301に格納し、修正前の遅延情報と比
較して修正した回路情報を抽出する。次に、修正に関わ
る外部端子抽出部304にてレイアウト記憶装置301
に格納したネットリストと遅延情報を比較し、周辺回路
に関わる外部端子抽出部305と周辺情報を比較してそ
れぞれ対応した外部端子を抽出してマージする。The operation of the verification pattern extraction device configured as described above will be described below. First, the layout of the integrated circuit is modified based on the logic information, the delay information and peripheral information corresponding to the modification are extracted and stored in the layout information storage device 301, and the circuit is modified by comparing it with the delay information before modification. Extract information. Next, the layout storage device 301 is used by the external terminal extraction unit 304 related to the correction.
Then, the netlist stored in (1) is compared with the delay information, and the external terminal extracting unit 305 related to the peripheral circuit is compared with the peripheral information to extract and merge the corresponding external terminals.
【0017】一方、検証パターン記憶装置302から全
てのパターンを取り出して、検証パターン外部端子抽出
部307により各パターン毎に影響のある外部端子を抽
出する。次に、状態遷移頻度抽出部308により、信号
の状態遷移の頻度を回数として認識させ、リスト出力部
309により優先順位をつけてリスト形式で出力する。
最後に、これらを判定・選別処理処理装置310にて判
定・選別して、修正に対する検証に必要となる検証パタ
ーンを出力する。On the other hand, all the patterns are taken out from the verification pattern storage device 302, and the verification pattern external terminal extraction unit 307 extracts the external terminals that have an influence on each pattern. Next, the state transition frequency extraction unit 308 recognizes the frequency of the state transition of the signal as the number of times, and the list output unit 309 assigns the priority order and outputs the list.
Finally, the determination / selection processing device 310 determines / selects these, and outputs a verification pattern required for verification of the correction.
【0018】以上のように修正に対する検証に必要とな
る検証パターンを選別して検証を行うことにより、検証
の信頼性を確保しながら検証時間を抑制することができ
る。As described above, by selecting and verifying the verification patterns required for the verification for the correction, the verification time can be suppressed while ensuring the reliability of the verification.
【0019】[0019]
【発明の効果】以上のように本発明の検証パターン抽出
方法とその装置は、修正により影響を受ける外部端子を
抽出し、修正に対する検証に必要となる検証パターンを
選別して検証を行うことにより、検証の信頼性を確保し
ながら検証時間を抑制することができる。As described above, the verification pattern extraction method and apparatus of the present invention extract external terminals affected by a modification, select a verification pattern required for verification for the modification, and perform verification. The verification time can be suppressed while ensuring the reliability of verification.
【図1】本発明の実施の形態1における検証パターン抽
出方法を示すフローチャートFIG. 1 is a flowchart showing a verification pattern extraction method according to a first embodiment of the present invention.
【図2】本発明の実施の形態2における検証パターン抽
出方法の判定・選別処理工程を示すフローチャートFIG. 2 is a flowchart showing determination / selection processing steps of a verification pattern extraction method according to the second embodiment of the present invention.
【図3】本発明の実施の形態3における検証パターン抽
出装置を示す構成図FIG. 3 is a configuration diagram showing a verification pattern extraction device according to a third embodiment of the present invention.
【図4】従来のレイアウト設計からマスク作成までの工
程を示すフローチャートFIG. 4 is a flowchart showing steps from conventional layout design to mask creation.
102 検証パターン 105 レイアウトデータ 106 遅延情報 107 周辺情報 108 ネットリスト 109 パターン情報 111 抽出パターン 114 修正情報 201 遅延情報 202 修正前の情報 204 ネットリスト 206 周辺情報 209 検証パターン 212 リスト 214 検証パターン 301 レイアウト情報記憶装置 302 検証パターン記憶装置 303 判定・選別処理手段 304 修正に関わる外部端子抽出部 305 周辺回路に関わる外部端子抽出部 306 外部端子マージ部 307 検証パターン外部端子抽出部 308 状態遷移頻度抽出部 309 リスト出力部 310 判定・選別処理装置 402 レイアウトデータ 403 遅延情報 404 ネットリスト 406 検証パターン 408 修正情報 102 verification pattern 105 layout data 106 Delay information 107 Surrounding information 108 Netlist 109 pattern information 111 extraction pattern 114 Correction information 201 Delay information 202 Information before modification 204 Netlist 206 Surrounding information 209 Verification pattern 212 List 214 Verification pattern 301 Layout information storage device 302 verification pattern storage device 303 Judgment / selection processing means 304 External terminal extraction unit related to correction 305 External terminal extraction section related to peripheral circuits 306 External terminal merge section 307 Verification pattern external terminal extraction unit 308 State transition frequency extraction unit 309 List output part 310 Judgment / selection processing device 402 Layout data 403 delay information 404 Netlist 406 Verification pattern 408 Correction information
Claims (3)
導体集積回路を設計するに際し、 修正したレイアウトデータから遅延情報と修正した回路
にレイアウト的に隣接する回路情報を示す周辺情報と修
正後の論理情報を抽出する工程と、 検証パターンから機能別に区分されたパターンブロック
毎に影響のある外部端子とその状態遷移の頻度を抽出し
てパターン情報として出力する工程と、 前記遅延情報と前記周辺情報と前記論理情報と前記パタ
ーン情報により修正に必要な機能別に区分された検証パ
ターンを選別する工程とを有し、修正の検証を行うこと
に対して必要最小限に最適化された検証パターンを抽出
することを特徴とする検証パターン抽出方法。1. When designing a semiconductor integrated circuit by repeating layout and actual wiring length verification, peripheral information indicating delay information from modified layout data and circuit information adjacent to the modified circuit in terms of layout and modified logic. A step of extracting information, a step of extracting an external terminal that has an influence on each pattern block classified by function from a verification pattern and a frequency of its state transition and outputting as pattern information, the delay information and the peripheral information A step of selecting a verification pattern classified according to a function required for correction by the logical information and the pattern information, and extracting a verification pattern optimized to a minimum necessary for verifying the correction. A verification pattern extraction method characterized by the above.
た検証パターンを抽出するに際し、 前記遅延情報と修正前の遅延情報より修正した回路情報
を抽出する工程と、 前記修正した回路情報と前記論理情報より修正した回路
に関わる外部端子を抽出する工程と、 前記周辺情報と論理情報から修正した回路の周辺回路に
関わる外部端子を抽出する工程と、 前記修正した回路に関わる外部端子と前記周辺回路に関
わる外部端子とをマージして検証に必要な外部端子の情
報を出力する工程と、 前記検証パターンより機能別に区分されたパターンブロ
ック毎に影響のある外部端子を抽出する工程と、 前記検証パターンより前記パターンブロック毎に影響の
ある外部端子の状態遷移の頻度を抽出して優先順位を付
加したリストを出力する工程と、 前記検証に必要な外部端子の情報と前記リストにより前
記検証パターンのうち検証に必要な検証パターンを比較
判定して選別する工程とを有する請求項1記載の検証パ
ターン抽出方法。2. When extracting a verification pattern optimized to the minimum necessary for the verification of the modification, a step of extracting modified circuit information from the delay information and the delay information before modification, and the modified circuit information. And a step of extracting an external terminal related to the modified circuit from the logic information, a step of extracting an external terminal related to the peripheral circuit of the modified circuit from the peripheral information and the logic information, and an external terminal related to the modified circuit. A step of merging external terminals related to the peripheral circuit and outputting information of the external terminals necessary for verification; a step of extracting an external terminal having an influence on each pattern block classified by function from the verification pattern; Extracting a frequency of state transitions of the external terminals having an influence on each pattern block from the verification pattern and outputting a list with priority added, 2. The method for extracting a verification pattern according to claim 1, further comprising the step of comparing and determining information of external terminals necessary for verification and a verification pattern necessary for verification among the verification patterns based on the list.
隣接する回路情報を示す周辺情報と修正後の論理情報と
いったレイアウト情報を記憶する第1の記憶装置と、 全ての検証パターンを記憶する第2の記憶装置と、 前記レイアウト情報より修正した回路に関わる外部端子
を抽出する第1の外部端子抽出部と、 前記レイアウト情報より修正した回路の周辺回路に関わ
る外部端子を抽出する第2の外部端子抽出部と、 前記第1の外部端子抽出部から抽出した外部端子と前記
第2の外部端子抽出部から抽出した外部端子をマージす
る外部端子マージ部と、 前記検証パターンより機能別に区分されたパターンブロ
ック毎に影響のある外部端子を抽出する第3の外部端子
抽出部と、 前記検証パターンより前記パターンブロック毎に影響の
ある外部端子の状態遷移の頻度を抽出する状態遷移頻度
抽出部と、 前記状態遷移頻度により各外部端子に優先順位を付加し
たリストを出力するリスト出力部と、 前記外部端子マージ部にてマージされた外部端子の情報
と前記リスト出力部より出力されたリストにより検証に
用いる検証パターンを判定・選別する判定・選別処理装
置とを有することによりレイアウト修正時において修正
の検証に必要最低限の検証パターンを選択することを特
徴とする検証パターン抽出装置。3. A first storage device for storing layout information such as delay information, peripheral information indicating circuit information adjacent in layout to the corrected circuit, and logical information after correction, and a first storage device for storing all verification patterns. No. 2 storage device, a first external terminal extraction unit for extracting external terminals related to the circuit modified from the layout information, and a second external terminal for extracting external terminals related to peripheral circuits of the circuit modified from the layout information. A terminal extracting unit, an external terminal merging unit that merges the external terminal extracted from the first external terminal extracting unit and the external terminal extracted from the second external terminal extracting unit, and is classified according to functions based on the verification pattern. A third external terminal extraction unit that extracts an external terminal that affects each pattern block, and an external that affects each pattern block based on the verification pattern. A state transition frequency extraction unit that extracts the frequency of child state transitions, a list output unit that outputs a list in which priority is added to each external terminal according to the state transition frequency, and an external unit merged by the external terminal merge unit Selects the minimum verification pattern required for verification of correction at the time of layout correction by having a judgment / selection processing device for judging / selecting the verification pattern used for verification based on the terminal information and the list output from the list output section. A verification pattern extraction device characterized by:
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2001268143A JP2003076742A (en) | 2001-09-05 | 2001-09-05 | Apparatus and method for extraction of verification pattern |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2001268143A JP2003076742A (en) | 2001-09-05 | 2001-09-05 | Apparatus and method for extraction of verification pattern |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2003076742A true JP2003076742A (en) | 2003-03-14 |
Family
ID=19094171
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2001268143A Pending JP2003076742A (en) | 2001-09-05 | 2001-09-05 | Apparatus and method for extraction of verification pattern |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP2003076742A (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008083781A (en) * | 2006-09-26 | 2008-04-10 | Fujitsu Ltd | Verification support program, recording medium for recording this program, verification support device, and verification support method |
JP2008269082A (en) * | 2007-04-17 | 2008-11-06 | Fujitsu Ltd | Verification support program, recording medium with the program recorded thereon, verification support device, and verification support method |
-
2001
- 2001-09-05 JP JP2001268143A patent/JP2003076742A/en active Pending
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008083781A (en) * | 2006-09-26 | 2008-04-10 | Fujitsu Ltd | Verification support program, recording medium for recording this program, verification support device, and verification support method |
JP4707191B2 (en) * | 2006-09-26 | 2011-06-22 | 富士通株式会社 | Verification support program, recording medium storing the program, verification support apparatus, and verification support method |
JP2008269082A (en) * | 2007-04-17 | 2008-11-06 | Fujitsu Ltd | Verification support program, recording medium with the program recorded thereon, verification support device, and verification support method |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6543041B1 (en) | Method and apparatus for reducing signal integrity and reliability problems in ICS through netlist changes during placement | |
US7325218B2 (en) | Wiring method, program, and apparatus | |
CN108959693B (en) | Method of designing an integrated circuit and method of manufacturing an integrated circuit | |
CN111624475B (en) | Method and system for testing large-scale integrated circuit | |
US7406671B2 (en) | Method for performing design rule check of integrated circuit | |
CN115713060A (en) | Time sequence violation repairing method and device, server and readable storage medium | |
US7185296B2 (en) | Method of extraction of wire capacitances in LSI device having diagonal wires and extraction program for same | |
JP2000277617A (en) | Asic design method and equipment thereof | |
JP2003076742A (en) | Apparatus and method for extraction of verification pattern | |
JP2021128117A (en) | Fault diagnosis device and fault diagnosis method | |
US7043708B2 (en) | Intelligent crosstalk delay estimator for integrated circuit design flow | |
JP5447547B2 (en) | Macro delay analysis device, macro boundary path delay analysis method, macro boundary path delay analysis program | |
JP2005083895A (en) | Method for testing semiconductor device | |
JPWO2006025412A1 (en) | Logic verification method, logic module data, device data, and logic verification apparatus | |
JP3465887B2 (en) | Test method for semiconductor integrated circuit | |
JPWO2004046975A1 (en) | Electronic circuit design timing improvement method, program and apparatus | |
CN112749526A (en) | Power rail design method, apparatus and non-transitory computer readable medium thereof | |
US7131088B2 (en) | Reliability based characterization using bisection | |
CN109558684B (en) | DRC processing method for deleting Net metal connection line | |
JP2002259487A (en) | Method and device for simulating multiple power supply circuit | |
JP2006004228A (en) | Slack value setting method, slack value setting apparatus, slack value setting program, and computer readable recording medium recording same program | |
JP3077617B2 (en) | Delay simulator | |
JP3171236B2 (en) | Input terminal competition pattern detection system | |
JP4072884B2 (en) | Circuit simulation apparatus, circuit simulation method, and storage medium storing the procedure | |
JP2004272496A (en) | Layout device for semiconductor integrated circuit |