JP2007524891A - カットベース手法を用いたリタイミング回路 - Google Patents
カットベース手法を用いたリタイミング回路 Download PDFInfo
- Publication number
- JP2007524891A JP2007524891A JP2006507445A JP2006507445A JP2007524891A JP 2007524891 A JP2007524891 A JP 2007524891A JP 2006507445 A JP2006507445 A JP 2006507445A JP 2006507445 A JP2006507445 A JP 2006507445A JP 2007524891 A JP2007524891 A JP 2007524891A
- Authority
- JP
- Japan
- Prior art keywords
- cut
- retimeable
- retiming
- path
- retimed
- 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
- 238000000034 method Methods 0.000 title claims abstract description 332
- 238000013461 design Methods 0.000 claims abstract description 71
- 238000004458 analytical method Methods 0.000 claims abstract description 20
- 230000006872 improvement Effects 0.000 claims description 22
- 238000011156 evaluation Methods 0.000 claims description 17
- 230000002040 relaxant effect Effects 0.000 claims description 7
- 230000001902 propagating effect Effects 0.000 claims description 2
- 239000000470 constituent Substances 0.000 claims 1
- 230000008569 process Effects 0.000 description 46
- 238000010586 diagram Methods 0.000 description 29
- 230000006870 function Effects 0.000 description 26
- 230000015572 biosynthetic process Effects 0.000 description 14
- 238000003786 synthesis reaction Methods 0.000 description 14
- 230000001934 delay Effects 0.000 description 8
- 238000000926 separation method Methods 0.000 description 6
- 238000003491 array Methods 0.000 description 4
- 230000008901 benefit Effects 0.000 description 4
- 238000006243 chemical reaction Methods 0.000 description 4
- 230000001360 synchronised effect Effects 0.000 description 4
- 238000005192 partition Methods 0.000 description 3
- 230000008859 change Effects 0.000 description 2
- 238000012790 confirmation Methods 0.000 description 2
- 230000007704 transition Effects 0.000 description 2
- 238000013459 approach Methods 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 230000003111 delayed effect Effects 0.000 description 1
- 238000002474 experimental method Methods 0.000 description 1
- 238000007429 general method Methods 0.000 description 1
- 230000000644 propagated effect Effects 0.000 description 1
- 230000008707 rearrangement Effects 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
- 238000000844 transformation Methods 0.000 description 1
- 238000011144 upstream manufacturing Methods 0.000 description 1
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/3308—Design verification, e.g. functional simulation or model checking using simulation
- G06F30/3312—Timing analysis
-
- 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/34—Circuit design for reconfigurable circuits, e.g. field programmable gate arrays [FPGA] or programmable logic devices [PLD]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/34—Circuit design for reconfigurable circuits, e.g. field programmable gate arrays [FPGA] or programmable logic devices [PLD]
- G06F30/347—Physical level, e.g. placement or routing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/392—Floor-planning or layout, e.g. partitioning or placement
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/12—Timing analysis or timing optimisation
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)
- Architecture (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
Description
本出願は、2003年3月19日に出願された米国仮出願第60/456306号の恩典を主張し、また2003年11月21日に出願された米国仮出願第60/524300号の恩典を主張する。両出願を参照により本明細書に組み込む。
本出願は、例えばフィールド・プログラマブル・ゲート・アレイなどの集積回路のリタイミングに関する。
Claims (48)
- EDA(コンピュータによる電子回路の設計自動化)環境において集積回路をリタイミングするための方法であって、
前記集積回路内の1つまたは複数のパスについてタイミング解析を実行して、前記パスに沿って伝播する信号の遅延時間を取得するステップと、
前記取得した遅延時間に基づいてタイミング制約を満たさない遅延時間を有するパスを選択するステップであって、前記選択したパスは、始点順序素子で始まり、終点順序素子で終り、前記選択したパスは、2つまたはより多くの論理インスタンスをさらに含む、ステップと、
前記タイミング制約を満たすように前記始点順序素子または前記終点順序素子の一方を再配置できる前記選択したパス沿いのリタイミング・ロケーションを決定するステップであって、前記リタイミング・ロケーションは、前記始点順序素子または前記終点順序素子の前記一方からの少なくとも2つの論理インスタンスである、ステップと、
前記集積回路の設計データベースを更新して、前記始点順序素子または前記終点順序素子の前記一方を前記リタイミング・ロケーションに再配置するステップと、
を含む方法。 - 請求項1に記載の方法であって、前記タイミング解析を実行するステップは、前記取得した遅延時間と前記タイミング制約を用いてスラック値を決定するステップをさらに含み、前記パスを選択するステップは、前記スラック値を評価するステップをさらに含む、方法。
- 請求項1に記載の方法であって、前記リタイミング・ロケーションを決定するステップは、回路機能を維持するため、1つまたは複数の追加の順序素子が、前記リタイミング・ロケーションあるいは1つまたは複数の追加のリタイミング・ロケーションに再配置する必要があるかどうか判定するステップを含む、方法。
- 請求項3に記載の方法であって、前記リタイミング・ロケーションおよび前記1つまたは複数の追加のリタイミング・ロケーションは、リタイミング可能カットを含む、方法。
- 請求項1に記載の方法であって、前記リタイミング・ロケーションを決定するステップは、
論理インスタンスの1つまたは複数の出力ピンから少なくとも1つのフォワード・トレースを実行するステップであって、前記論理インスタンスを越えて前記始点順序素子または前記終点順序素子の前記一方を再配置することができる、ステップと、
論理インスタンスの1つまたは複数の入力ピンから少なくとも1つのバックワード・トレースを実行するステップであって、前記論理インスタンスを越えて前記始点順序素子または前記終点順序素子の前記一方を再配置することができる、ステップと、
を含む、方法。 - 請求項1に記載の方法であって、
前記始点順序素子または前記終点順序素子の前記一方のリタイミング後の初期状態を決定するステップを、
さらに含む方法。 - 請求項1に記載の方法であって、
前記始点順序素子または前記終点順序素子の前記一方の構成上の制約を緩和するステップを、
さらに含む方法。 - 請求項7に記載の方法であって、前記構成上の制約を緩和するステップは、前記始点順序素子または前記終点順序素子の前記一方から1つまたは複数の制御信号を分離するステップを含む、方法。
- 請求項1に記載の方法であって、前記リタイミング・ロケーションを決定するステップは、
前記選択したパス内の複数の可能なリタイミング・ロケーションに関連するスラック値を比較するステップと、
前記スラック値に基づいて前記複数の可能なリタイミング・ロケーションから前記リタイミング・ロケーションを選択するステップと、
を含む、方法。 - 請求項9に記載の方法であって、前記選択したリタイミング・ロケーションは、前記選択したパスのスラック値に最も優れた改善をもたらす、方法。
- 請求項1に記載の方法であって、前記集積回路は、フィールド・プログラマブル・ゲート・アレイである、方法。
- 請求項1に記載の方法によってリタイミングされる集積回路。
- 請求項1に記載の方法をコンピュータシステムに実行させるコンピュータ実行可能命令を保存するコンピュータ可読媒体。
- 請求項1に記載の方法によってリタイミングされた集積回路の設計情報を含む設計データベースを保存するコンピュータ可読媒体。
- EDA(コンピュータによる電子回路の設計自動化)環境において集積回路をリタイミングするための方法であって、
タイミング制約を満たさない遅延時間を有する前記集積回路内のフェイリング信号パスを特定するステップであって、前記フェイリング信号パスは、始点順序素子で始まり、論理コーンの1つまたは複数の論理インスタンスを通過して延び、終点順序素子で終る、ステップと、
前記フェイリング信号パスの前記遅延時間を改善するために前記始点順序素子または前記終点順序素子の一方を再配置できる前記フェイリング信号パス沿いのロケーションを選択するステップであって、前記選択したロケーションは、前記論理インスタンスのうちの関連する1つの論理インスタンスの入力に結合される、ステップと、
前記選択したロケーションから、前記関連する論理インスタンスの出力パスと入力パスをサーチして、回路機能を維持するために再配置する1つまたは複数の追加の順序素子を特定するステップと、
を含む方法。 - 請求項15に記載の方法であって、前記出力パスと入力パスをサーチするステップは、回路機能を維持するために前記1つまたは複数の追加の順序素子を再配置する前記集積回路内の1つまたは複数の追加のロケーションを特定するステップを含む、方法。
- 請求項16に記載の方法であって、前記選択したロケーションおよび前記1つまたは複数の特定した追加のロケーションは、リタイミング可能カットを含む、方法。
- 請求項15に記載の方法であって、前記選択したロケーションは、バックワード・リタイミング可能カットの一部であり、前記出力パスと入力パスをサーチするステップは、前記関連する論理インスタンスが1つまたは複数の順序素子を駆動することを確認するステップを含む、方法。
- 請求項15に記載の方法であって、前記選択したロケーションは、フォワード・リタイミング可能カットの一部であり、前記出力パスと入力パスをサーチするステップは、前記関連する論理インスタンスが、1つまたは複数の順序素子によって、または1つまたは複数の定常入力/出力ピンによって、駆動されることを確認するステップを含む、方法。
- 請求項15に記載の方法であって、前記選択したロケーションは、前記始点順序素子または前記終点順序素子の前記一方を再配置する複数の可能なロケーションの1つであり、前記選択したロケーションは、前記フェイリング信号パスのスラック時間に最も優れた改善をもたらす、方法。
- 請求項15に記載の方法であって、
再配置できる前記始点順序素子または前記終点順序素子の前記一方のリタイミング後の初期状態、あるいは1つまたは複数の前記特定した追加の順序素子のリタイミング後の初期状態を決定するステップを、
さらに含む方法。 - 請求項15に記載の方法であって、
再配置できる前記始点順序素子または前記終点順序素子の前記一方の構成上の制約、あるいは1つまたは複数の前記特定した追加の順序素子の構成上の制約を緩和するステップを、
さらに含む方法。 - 請求項15に記載の方法であって、前記集積回路が、フィールド・プログラマブル・ゲート・アレイである、方法。
- 請求項15に記載の方法によってリタイミングされる集積回路。
- 請求項15に記載の方法をコンピュータシステムに実行させるコンピュータ実行可能命令を保存するコンピュータ可読媒体。
- 請求項15に記載の方法によってリタイミングされた集積回路の設計情報を含む設計データベースを保存するコンピュータ可読媒体。
- 集積回路内でリタイミング可能カットを特定するための方法であって、
リタイミングする信号パスを選択するステップであって、前記信号パスは、始点順序素子で始まり、1つまたは複数の論理インスタンスを通過して延び、終点順序素子で終る、ステップと、
前記信号パス沿いにリタイミング可能カットを発見するステップであって、
前記信号パス内の選択した論理インスタンスの1つまたは複数の出力ピンからフォワード・トレースを実行するステップと、
前記信号パス内の選択した論理インスタンスの1つまたは複数の入力ピンからバックワード・トレースを実行するステップと、
を含むステップと、
前記リタイミング可能カットに関連する遅延時間を決定するために前記リタイミング可能カットを用いてタイミング評価を実行するステップと、
を含む方法。 - 請求項27に記載の方法であって、
前記遅延時間が関連するタイミング制約に違反していない場合、前記リタイミング可能カットをセーブするステップを、
さらに含む方法。 - 請求項27に記載の方法であって、前記リタイミング可能カットは、第1のリタイミング可能カットであり、該方法は、
リタイミングする前記信号パス沿いに第2のリタイミング可能カットを発見するステップと、
前記第2のリタイミング可能カットを用いてタイミング評価を実行して、前記第2のリタイミング可能カットに関連する遅延時間を決定するステップと、
前記第1のリタイミング可能カットに関連する前記遅延時間と前記第2のリタイミング可能カットに関連する前記遅延時間を比較して、最善のリタイミング可能カットを決定するステップと、
をさらに含む方法。 - 請求項27に記載の方法であって、前記最善のリタイミング可能カットは、リタイミングする前記信号パスのスラック値に全体として最も優れた改善をもたらす、方法。
- 請求項27に記載の方法であって、前記リタイミング可能カットは、フォワード・リタイミング可能カットである、方法。
- 請求項27に記載の方法であって、前記リタイミング可能カットは、バックワード・リタイミング可能カットである、方法。
- 請求項27に記載の方法であって、
前記リタイミング可能カットに含まれる少なくとも1つの順序素子のリタイミング後の初期状態を決定するステップを、
さらに含む方法。 - 請求項27に記載の方法であって、
前記リタイミング可能カットに含まれる少なくとも1つの順序素子の1つまたは複数の制御信号を分離するステップを、
さらに含む方法。 - 請求項27に記載の方法であって、前記集積回路が、フィールド・プログラマブル・ゲート・アレイである、方法。
- 請求項27に記載の方法によってリタイミングされる集積回路。
- 請求項27に記載の方法をコンピュータシステムに実行させるコンピュータ実行可能命令を保存するコンピュータ可読媒体。
- 請求項27に記載の方法によってリタイミングされた集積回路の設計情報を含む設計データベースを保存するコンピュータ可読媒体。
- EDA(コンピュータによる電子回路の設計自動化)環境において集積回路をリタイミングするための方法であって、
前記集積回路内の1つまたは複数のパスについてタイミング解析を実行して、スラック値を取得するステップと、
前記取得したスラック値に基づいて前記パスの1つを選択するステップと、
前記選択したパス沿いのリタイミング可能カットを決定するステップであって、前記リタイミング可能カットは、前記集積回路内の1つまたは複数の論理インスタンスの一組の入力ピンを含み、前記選択されたパスのスラック値を改善するため、前記入力ピンに1つまたは複数のリタイミングした順序素子をそれぞれ結合することができ、前記リタイミング可能カットは、前記選択したパス沿いの2つまたはより多くの可能なカットから自動的に選択される、ステップと、
を含む方法。 - 請求項39に記載の方法であって、前記一組の入力ピンは、前記リタイミングした順序素子の少なくとも1つから少なくとも論理インスタンス2つ離して配置された論理インスタンスに関連付けられる、方法。
- 請求項39に記載の方法であって、
前記リタイミング後の順序素子の少なくとも1つの初期状態を決定するステップを、
さらに含む方法。 - 請求項39に記載の方法であって、
前記リタイミング後の順序素子の少なくとも1つの構成上の制約を緩和するステップを、
さらに含む方法。 - 請求項39に記載の方法であって、
前記リタイミング可能カット内に入力ピンを有する論理インスタンスからフォワード・トレースおよびバックワード・トレースを実行するステップを、
さらに含む方法。 - 請求項39に記載の方法であって、前記リタイミング可能カットは、バックワード・リタイミング可能カットである、方法。
- 請求項39に記載の方法であって、前記リタイミング可能カットは、フォワード・リタイミング可能カットである、方法。
- 請求項39に記載の方法によってリタイミングされる集積回路。
- 請求項39に記載の方法をコンピュータシステムに実行させるコンピュータ実行可能命令を保存するコンピュータ可読媒体。
- 請求項39に記載の方法によってリタイミングされた集積回路の設計情報を含む設計データベースを保存するコンピュータ可読媒体。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US45630603P | 2003-03-19 | 2003-03-19 | |
US52430003P | 2003-11-21 | 2003-11-21 | |
PCT/US2004/008690 WO2004084277A2 (en) | 2003-03-19 | 2004-03-18 | Retiming circuits using a cut-based approach |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007524891A true JP2007524891A (ja) | 2007-08-30 |
JP4473264B2 JP4473264B2 (ja) | 2010-06-02 |
Family
ID=33032718
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006507445A Expired - Lifetime JP4473264B2 (ja) | 2003-03-19 | 2004-03-18 | カットベース手法を用いたリタイミング回路 |
Country Status (4)
Country | Link |
---|---|
US (1) | US7203919B2 (ja) |
EP (1) | EP1623448B1 (ja) |
JP (1) | JP4473264B2 (ja) |
WO (1) | WO2004084277A2 (ja) |
Families Citing this family (78)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7162704B2 (en) * | 2003-05-09 | 2007-01-09 | Synplicity, Inc. | Method and apparatus for circuit design and retiming |
US7120883B1 (en) | 2003-05-27 | 2006-10-10 | Altera Corporation | Register retiming technique |
US7392494B2 (en) * | 2003-06-09 | 2008-06-24 | Kuoching Lin | Clustering circuit paths in electronic circuit design |
US7584441B2 (en) * | 2003-09-19 | 2009-09-01 | Cadence Design Systems, Inc. | Method for generating optimized constraint systems for retimable digital designs |
US7810061B2 (en) * | 2004-09-17 | 2010-10-05 | Cadence Design Systems, Inc. | Method and system for creating a useful skew for an electronic circuit |
US7620917B2 (en) | 2004-10-04 | 2009-11-17 | Synopsys, Inc. | Methods and apparatuses for automated circuit design |
US7236009B1 (en) | 2004-12-01 | 2007-06-26 | Andre Rohe | Operational time extension |
US7428721B2 (en) * | 2004-12-01 | 2008-09-23 | Tabula, Inc. | Operational cycle assignment in a configurable IC |
US20060190754A1 (en) * | 2005-02-24 | 2006-08-24 | Atrenta, Inc. | A Method for Automatic Recognition of Handshake Data Exchange at Clock-Domain Crossing in Integrated Circuit Design |
US7523426B2 (en) * | 2005-03-29 | 2009-04-21 | Lsi Corporation | Intelligent timing analysis and constraint generation GUI |
US7677441B2 (en) * | 2005-04-01 | 2010-03-16 | Microsoft Corporation | Relaxed currency constraints |
US7337422B1 (en) * | 2005-05-10 | 2008-02-26 | Xilinx, Inc. | Programmably configurable logic-based macro |
US7492186B2 (en) | 2005-07-15 | 2009-02-17 | Tabula, Inc. | Runtime loading of configuration data in a configurable IC |
US7363606B1 (en) * | 2005-08-23 | 2008-04-22 | Sun Microsystems, Inc. | Flip-flop insertion method for global interconnect pipelining |
US7478356B1 (en) | 2005-09-30 | 2009-01-13 | Xilinx, Inc. | Timing driven logic block configuration |
US7372297B1 (en) | 2005-11-07 | 2008-05-13 | Tabula Inc. | Hybrid interconnect/logic circuits enabling efficient replication of a function in several sub-cycles to save logic and routing resources |
US7679401B1 (en) * | 2005-12-01 | 2010-03-16 | Tabula, Inc. | User registers implemented with routing circuits in a configurable IC |
US7317348B2 (en) * | 2006-01-27 | 2008-01-08 | International Business Machines Corporation | Noise reduction in digital systems |
US7571412B1 (en) * | 2006-03-15 | 2009-08-04 | Altera Corporation | Method and system for semiconductor device characterization pattern generation and analysis |
US20070225960A1 (en) * | 2006-03-27 | 2007-09-27 | Greener Robert J | Subchip boundary constraints for circuit layout |
US7584443B1 (en) * | 2007-03-07 | 2009-09-01 | Altera Corporation | Clock domain conflict analysis for timing graphs |
EP2597777A3 (en) | 2007-03-20 | 2014-08-20 | Tabula, Inc. | Configurable IC having a routing fabric with storage elements |
US20090319579A1 (en) * | 2007-05-15 | 2009-12-24 | Fedor Pikus | Electronic Design Automation Process Restart |
US7839162B2 (en) * | 2007-06-27 | 2010-11-23 | Tabula, Inc. | Configurable IC with deskewing circuits |
US7652498B2 (en) * | 2007-06-27 | 2010-01-26 | Tabula, Inc. | Integrated circuit with delay selecting input selection circuitry |
US8069425B2 (en) | 2007-06-27 | 2011-11-29 | Tabula, Inc. | Translating a user design in a configurable IC for debugging the user design |
US8412990B2 (en) * | 2007-06-27 | 2013-04-02 | Tabula, Inc. | Dynamically tracking data values in a configurable IC |
US20090070720A1 (en) * | 2007-09-11 | 2009-03-12 | International Business Machines Corporation | System to Identify Timing Differences from Logic Block Changes and Associated Methods |
US7676779B2 (en) | 2007-09-11 | 2010-03-09 | International Business Machines Corporation | Logic block timing estimation using conesize |
US8990651B2 (en) | 2007-09-19 | 2015-03-24 | Tabula, Inc. | Integrated circuit (IC) with primary and secondary networks and device containing such an IC |
US7681160B1 (en) * | 2007-09-27 | 2010-03-16 | Lattice Semiconductor Corporation | Weight based look up table collapsing for programmable logic devices |
US8381142B1 (en) * | 2007-10-09 | 2013-02-19 | Altera Corporation | Using a timing exception to postpone retiming |
US8037337B2 (en) * | 2007-11-28 | 2011-10-11 | International Business Machines Corporation | Structures including circuits for noise reduction in digital systems |
US8813001B2 (en) * | 2008-02-01 | 2014-08-19 | Northwestern University | System and method for efficient and optimal minimum area retiming |
US8863067B1 (en) | 2008-02-06 | 2014-10-14 | Tabula, Inc. | Sequential delay analysis by placement engines |
EP2104047A1 (en) * | 2008-03-19 | 2009-09-23 | Panasonic Corporation | Router-aided post-placement and routing retiming |
US8555218B2 (en) | 2008-05-24 | 2013-10-08 | Tabula, Inc. | Decision modules |
US8166435B2 (en) | 2008-06-26 | 2012-04-24 | Tabula, Inc. | Timing operations in an IC with configurable circuits |
US8525548B2 (en) * | 2008-08-04 | 2013-09-03 | Tabula, Inc. | Trigger circuits and event counters for an IC |
EP2190022B1 (en) * | 2008-11-20 | 2013-01-02 | Hitachi Ltd. | Spin-polarised charge carrier device |
US8843862B2 (en) * | 2008-12-16 | 2014-09-23 | Synopsys, Inc. | Method and apparatus for creating and changing logic representations in a logic design using arithmetic flexibility of numeric formats for data |
US8091060B1 (en) * | 2009-02-10 | 2012-01-03 | Xilinx, Inc. | Clock domain partitioning of programmable integrated circuits |
US20100218150A1 (en) * | 2009-02-26 | 2010-08-26 | International Business Machines Corporation | Logic Design Verification Techniques for Liveness Checking |
US8255848B2 (en) * | 2009-02-27 | 2012-08-28 | International Business Machines Corporation | Logic design verification techniques for liveness checking with retiming |
US8037443B1 (en) * | 2009-07-02 | 2011-10-11 | Calypto Design Systems, Inc. | System, method, and computer program product for optimizing an altered hardware design utilizing power reports |
US8549448B2 (en) | 2009-07-09 | 2013-10-01 | Synopsys, Inc. | Delay optimization during circuit design at layout level |
US8072234B2 (en) | 2009-09-21 | 2011-12-06 | Tabula, Inc. | Micro-granular delay testing of configurable ICs |
US8327302B2 (en) * | 2009-10-16 | 2012-12-04 | International Business Machines Corporation | Techniques for analysis of logic designs with transient logic |
US10275557B1 (en) * | 2010-01-08 | 2019-04-30 | Altera Corporation | Method and apparatus for performing incremental compilation using structural netlist comparison |
JP2011198028A (ja) * | 2010-03-19 | 2011-10-06 | Fujitsu Ltd | 回路設計支援装置およびプログラム |
US8912820B2 (en) | 2010-04-02 | 2014-12-16 | Tabula, Inc. | System and method for reducing reconfiguration power |
US8539413B1 (en) * | 2010-04-27 | 2013-09-17 | Applied Micro Circuits Corporation | Frequency optimization using useful skew timing |
US8418106B2 (en) | 2010-08-31 | 2013-04-09 | International Business Machines Corporation | Techniques for employing retiming and transient simplification on netlists that include memory arrays |
US8365116B2 (en) * | 2010-12-06 | 2013-01-29 | University Of Utah Research Foundation | Cycle cutting with timing path analysis |
WO2012171142A1 (en) * | 2011-06-17 | 2012-12-20 | Telefonaktiebolaget L M Ericsson (Publ) | Look-up tables for delay circuitry in field programmable gate array (fpga) chipsets |
US8984464B1 (en) | 2011-11-21 | 2015-03-17 | Tabula, Inc. | Detailed placement with search and repair |
US8789001B1 (en) | 2013-02-20 | 2014-07-22 | Tabula, Inc. | System and method for using fabric-graph flow to determine resource costs |
US10810790B1 (en) * | 2013-02-28 | 2020-10-20 | TheMathWorks, Inc. | Identification and correction of temporal ages in separate signal paths of a graphical model |
US8863059B1 (en) | 2013-06-28 | 2014-10-14 | Altera Corporation | Integrated circuit device configuration methods adapted to account for retiming |
US9436565B2 (en) | 2013-07-04 | 2016-09-06 | Altera Corporation | Non-intrusive monitoring and control of integrated circuits |
GB2523188A (en) * | 2014-02-18 | 2015-08-19 | Ibm | Method and system for pipeline depth exploration in a register transfer level design description of an electronic circuit |
US9971858B1 (en) | 2015-02-20 | 2018-05-15 | Altera Corporation | Method and apparatus for performing register retiming in the presence of false path timing analysis exceptions |
US9710591B1 (en) * | 2015-02-20 | 2017-07-18 | Altera Corporation | Method and apparatus for performing register retiming in the presence of timing analysis exceptions |
US9483597B1 (en) * | 2015-03-24 | 2016-11-01 | Xilinx, Inc. | Opportunistic candidate path selection during physical optimization of a circuit design for an IC |
US9646126B1 (en) * | 2015-03-27 | 2017-05-09 | Xilinx, Inc. | Post-routing structural netlist optimization for circuit designs |
US10152565B2 (en) | 2015-06-03 | 2018-12-11 | Altera Corporation | Methods for performing register retiming operations into synchronization regions interposed between circuits associated with different clock domains |
US9996652B2 (en) | 2015-09-04 | 2018-06-12 | Altera Corporation | Incremental register retiming of an integrated circuit design |
US9824177B1 (en) * | 2016-03-24 | 2017-11-21 | Altera Corporation | Method and apparatus for verifying structural correctness in retimed circuits |
US10162918B1 (en) | 2016-04-27 | 2018-12-25 | Altera Corporation | Integrated circuit retiming with selective modeling of flip-flop secondary signals |
US10417374B1 (en) * | 2016-05-09 | 2019-09-17 | Altera Corporation | Method and apparatus for performing register retiming by utilizing native timing-driven constraints |
US10387600B2 (en) * | 2016-09-15 | 2019-08-20 | Xilinx, Inc. | Dynamic power reduction in circuit designs and circuits |
US10394990B1 (en) * | 2016-09-27 | 2019-08-27 | Altera Corporation | Initial condition support for partial reconfiguration |
US10354038B1 (en) * | 2016-11-15 | 2019-07-16 | Intel Corporation | Methods for bounding the number of delayed reset clock cycles for retimed circuits |
US10181001B2 (en) * | 2017-02-02 | 2019-01-15 | Intel Corporation | Methods and apparatus for automatically implementing a compensating reset for retimed circuitry |
US10642951B1 (en) * | 2018-03-07 | 2020-05-05 | Xilinx, Inc. | Register pull-out for sequential circuit blocks in circuit designs |
US10678983B1 (en) * | 2018-05-23 | 2020-06-09 | Xilinx, Inc. | Local retiming optimization for circuit designs |
US10606979B1 (en) * | 2018-06-06 | 2020-03-31 | Xilinx, Inc. | Verifying equivalence of design latency |
CN116502578B (zh) * | 2023-06-29 | 2024-04-16 | 深圳国微晶锐技术有限公司 | 网表化简时序模型的构建方法及静态时序分析方法 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5553000A (en) * | 1992-11-05 | 1996-09-03 | Nec Usa, Inc. | Eliminating retiming bottlenecks to improve performance of synchronous sequential VLSI circuits |
JP2601168B2 (ja) * | 1993-03-30 | 1997-04-16 | 日本電気株式会社 | 順次回路をリタイミングする方法および再設計する方法 |
US5751593A (en) * | 1996-04-10 | 1998-05-12 | Motorola, Inc. | Accurate delay prediction based on multi-model analysis |
US6367056B1 (en) * | 1998-04-23 | 2002-04-02 | Altera Corporation | Method for incremental timing analysis |
US7000137B2 (en) * | 2002-10-07 | 2006-02-14 | Hewlett-Packard Development Company, L.P. | System for and method of clock cycle-time analysis using mode-slicing mechanism |
US7010763B2 (en) * | 2003-05-12 | 2006-03-07 | International Business Machines Corporation | Method of optimizing and analyzing selected portions of a digital integrated circuit |
-
2004
- 2004-03-18 WO PCT/US2004/008690 patent/WO2004084277A2/en active Application Filing
- 2004-03-18 EP EP04700017.9A patent/EP1623448B1/en not_active Expired - Lifetime
- 2004-03-18 JP JP2006507445A patent/JP4473264B2/ja not_active Expired - Lifetime
- 2004-03-18 US US10/504,217 patent/US7203919B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
WO2004084277A2 (en) | 2004-09-30 |
WO2004084277A3 (en) | 2006-11-16 |
EP1623448B1 (en) | 2016-12-14 |
EP1623448A2 (en) | 2006-02-08 |
JP4473264B2 (ja) | 2010-06-02 |
US7203919B2 (en) | 2007-04-10 |
EP1623448A4 (en) | 2007-04-18 |
US20050132316A1 (en) | 2005-06-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4473264B2 (ja) | カットベース手法を用いたリタイミング回路 | |
US10387603B2 (en) | Incremental register retiming of an integrated circuit design | |
US7657855B1 (en) | Efficient timing graph update for dynamic netlist changes | |
AU2016292791B2 (en) | Reciprocal quantum logic (RQL) circuit simulation system | |
US10162918B1 (en) | Integrated circuit retiming with selective modeling of flip-flop secondary signals | |
US8918748B1 (en) | M/A for performing automatic latency optimization on system designs for implementation on programmable hardware | |
EP3324317B1 (en) | Methods for verifying retimed circuits with delayed initialization | |
Hung et al. | Incremental trace-buffer insertion for FPGA debug | |
EP3101568B1 (en) | Methods for performing register retiming operations into synchronization regions interposed between circuits associated with different clock domains | |
Hutchings et al. | Rapid post-map insertion of embedded logic analyzers for Xilinx FPGAs | |
US9811621B2 (en) | Implementing integrated circuit designs using depopulation and repopulation operations | |
US8667435B1 (en) | Function symmetry-based optimization for physical synthesis of programmable integrated circuits | |
US20170328951A1 (en) | Embedded built-in self-test (bist) circuitry for digital signal processor (dsp) validation | |
US9552456B2 (en) | Methods and apparatus for probing signals from a circuit after register retiming | |
US9529947B1 (en) | Register retiming and verification of an integrated circuit design | |
US10169518B1 (en) | Methods for delaying register reset for retimed circuits | |
Hung et al. | Maximum flow algorithms for maximum observability during FPGA debug | |
US20180349544A1 (en) | Methods for performing register retiming with hybrid initial states | |
EP3336727A1 (en) | System and method for defining a programmable logic architecture | |
US10354038B1 (en) | Methods for bounding the number of delayed reset clock cycles for retimed circuits | |
US20180082720A1 (en) | Pipelined interconnect circuitry having reset values holding capabilities | |
JP2004246402A (ja) | 論理回路最適化方法、論理回路最適化装置、及び、論理回路合成装置 | |
Zeh | Incremental design reuse with partitions | |
Ling et al. | FPGA programmable logic block evaluation using quantified Boolean satisfiability | |
Ling | Field-Programmable Gate Array Logic Synthesis Using Boolean Satisfiability |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090616 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20090819 |
|
A602 | Written permission of extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A602 Effective date: 20090826 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20091112 |
|
A602 | Written permission of extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A602 Effective date: 20091119 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20091211 |
|
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: 20100222 |
|
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: 20100304 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130312 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4473264 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130312 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140312 Year of fee payment: 4 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
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 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
EXPY | Cancellation because of completion of term |