JP2005277909A - 論理回路設計システム、論理回路、論理回路設計方法およびそのプログラム - Google Patents
論理回路設計システム、論理回路、論理回路設計方法およびそのプログラム Download PDFInfo
- Publication number
- JP2005277909A JP2005277909A JP2004089750A JP2004089750A JP2005277909A JP 2005277909 A JP2005277909 A JP 2005277909A JP 2004089750 A JP2004089750 A JP 2004089750A JP 2004089750 A JP2004089750 A JP 2004089750A JP 2005277909 A JP2005277909 A JP 2005277909A
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- latch
- logic circuit
- data
- logic
- 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/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
-
- H—ELECTRICITY
- H03—ELECTRONIC CIRCUITRY
- H03K—PULSE TECHNIQUE
- H03K3/00—Circuits for generating electric pulses; Monostable, bistable or multistable circuits
- H03K3/02—Generators characterised by the type of circuit or by the means used for producing pulses
- H03K3/027—Generators characterised by the type of circuit or by the means used for producing pulses by the use of logic circuits, with internal or external positive feedback
- H03K3/037—Bistable circuits
-
- H—ELECTRICITY
- H03—ELECTRONIC CIRCUITRY
- H03K—PULSE TECHNIQUE
- H03K17/00—Electronic switching or gating, i.e. not by contact-making and –breaking
- H03K17/51—Electronic switching or gating, i.e. not by contact-making and –breaking characterised by the components used
- H03K17/56—Electronic switching or gating, i.e. not by contact-making and –breaking characterised by the components used by the use, as active elements, of semiconductor devices
- H03K17/687—Electronic switching or gating, i.e. not by contact-making and –breaking characterised by the components used by the use, as active elements, of semiconductor devices the devices being field-effect transistors
- H03K17/693—Switching arrangements with several input- or output-terminals, e.g. multiplexers, distributors
-
- H—ELECTRICITY
- H03—ELECTRONIC CIRCUITRY
- H03K—PULSE TECHNIQUE
- H03K3/00—Circuits for generating electric pulses; Monostable, bistable or multistable circuits
- H03K3/01—Details
- H03K3/012—Modifications of generator to improve response time or to decrease power consumption
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)
- Logic Circuits (AREA)
- Semiconductor Integrated Circuits (AREA)
Abstract
【解決手段】基本論理回路に付加してスルー遅延が高速なラッチ回路にするラッチ化回路を用意しておき、スキュー・ジッタなどのクロックエッジのずれを最大限吸収できるラッチ回路位置を求め、求めたポイントに位置する基本論理回路にこのラッチ化回路を付加してラッチ回路を構成する手段とを提供することにより、スキュー・ジッタに最大限影響されないラッチ回路を設計できる。
【選択図】 図2
Description
前記データ処理装置は、前記データ入力装置からの指示に応答して,前記第1のネットリストと各種の基本論理回路に対応するラッチ化回路ライブラリとを入力データとするとともに、入力された前記第1のネットリストから順序回路のフリップフロップおよびラッチ回路を削除し、削除した順序回路が負論理であれば信号反転手段を挿入し、正論理であればそのままの論理を挿入して第2のネットリストを出力する処理ステップと、前記第2のネットリストの内部を検索し、ラッチ化回路を付加すべき基本論理回路を検索し、ラッチ化の対象となる基本論理回路をラッチ回路付加リストとして出力する処理ステップと、前記ラッチ回路付加リストに従い前記ラッチ化回路ライブラリを参照して、前記第2のネットリスト内部の基本論理回路に対して対応するラッチ化回路を付加した第3のネットリストを出力する処理ステップとを、順次実行し,実行結果を前記表示装置および前記印字装置に出力することにある。
102 NANDゲート
110,111 クロック用インバータ
114 フィードバック用インバータ
112,113,115,116 トランスミッションゲート
210,211,212,214 ネットリスト
213 ラッチ付加リスト
215 ラッチ化回路ライブラリ
611 入力手段
612 データ処理装置
613 印字装置
614 表示装置
615 記憶装置
616 記憶媒体
617 CPU
618 FF/ラッチ回路削除手段
619 回路分割手段
620 ラッチ回路挿入手段
621,622,625 ネットリスト
623 ラッチ回路付加リスト
624 ライブラリ
S10 ネットリストからFF、ラッチ回路を削除する処理手順
S11 遅延により回路を分割する処理手順
S12 ラッチ回路を付加する処理手順
Claims (19)
- 論理演算用の基本論理回路と、前記基本論理回路の入出力間に付加されて前記基本論理回路とともにラッチ回路を構成するラッチ化回路とを備えることを特徴とする論理回路。
- フリップフロップ群および基本論理回路群を有する順序回路内に、前記基本論理回路群のうちの予め定める基本論理回路をラッチ回路として機能させるラッチ化回路を有することを特徴とする論理回路。
- 前記ラッチ化回路を含んで構成した前記ラッチ回路が、前記順序回路内における伝送信号の遅延時間を短縮する遅延時間短縮機能を備える請求項1記載の論理回路。
- 前記ラッチ回路は、前記予め定める基本論理回路を構成要素に含む請求項1または2記載の論理回路。
- 入力したクロック信号から互いに極性の異なる第1の制御クロック信号および第2の制御クロック信号を生成する手段と、第1の入力端からの入力信号を前記第1の制御クロック信号で選択的に第1の出力端に伝達する第1の信号伝達手段と、第2の入力端からの入力信号を前記第1の制御クロック信号で選択的に第2の出力端に伝達する第2の信号伝達手段と、第3の入力端からの入力信号を極性反転して出力する極性反転手段と、前記極性反転手段の出力を前記第2の制御クロック信号で選択的に前記第1の出力端に与える第3の信号伝達手段と、前記極性反転手段の出力を前記第2の制御クロック信号で選択的に前記第2の出力端に与える第4の信号伝達手段とを有するラッチ化回路を備えることを特徴とする論理回路。
- 前記ラッチ化回路が論理演算用の基本論理回路を有し、前記ラッチ化回路の前記第3の出力端を前記基本論理回路の第1の信号入力端に接続し、前記ラッチ化回路の前記第2の出力端を前記基本論理回路の第2の信号入力端に接続し、前記基本論理回路の出力端を前記第3の入力端に接続して構成したラッチ回路を備えることを特徴とする論理回路。
- 記憶媒体のプログラムに基づき中央処理装置(CPU)の制御下で動作するラッチ化回路付加手段が、設計対象回路のネットリストからフリップフロップおよびラッチ回路を削除し、削除後のネットリストからラッチ化すべき基本論理回路を抽出してラッチ化回路を付加することを特徴とする論理回路設計方法。
- 前記基本論理回路の抽出は、前記ラッチ化回路付加手段が遅延検証を行ってラッチ化回路を付加すべき遅延位置にある基本論理回路を検索した結果に基づき実行する請求項7記載の論理回路設計方法。
- 前記ラッチ化回路を付加する処理の外部入力データとして、少なくとも前記設計対象回路のネットリストと各種の基本論理回路に対応するラッチ化回路のライブラリとをそれぞれ用いる請求項7記載の論理回路設計方法。
- データ入力装置と、記憶媒体のプログラムに基づき中央処理装置(CPU)の制御下で動作するとともに設計対象回路の第1のネットリストからフリップフロップおよびラッチ回路を削除し削除後の第2のネットリストからラッチ化すべき基本論理回路を抽出してラッチ化回路を付加するラッチ化回路付加手段を有するデータ処理装置と、前記データ処理装置で引用する処理データおよび処理結果のデータを記憶する記憶装置と、データの表示装置と、データの印字装置とを備え、
前記データ処理装置は、前記データ入力装置からの指示に応答して,前記第1のネットリストと各種の基本論理回路に対応するラッチ化回路ライブラリとを入力データとするとともに、入力された前記第1のネットリストから順序回路のフリップフロップおよびラッチ回路を削除し、削除した順序回路が負論理であれば信号反転手段を挿入し、正論理であればそのままの論理を挿入して第2のネットリストを出力する処理ステップと、前記第2のネットリストの内部を検索し、ラッチ化回路を付加すべき基本論理回路を検索し、ラッチ化の対象となる基本論理回路をラッチ付加リストとして出力する処理ステップと、前記ラッチ付加リストに従い前記ラッチ化回路ライブラリを参照して、前記第2のネットリスト内部の基本論理回路に対して対応するラッチ化回路を付加した第3のネットリストを出力する処理ステップとを、順次実行し,実行結果を前記表示装置および前記印字装置に出力することを特徴とする論理回路設計方法。 - 前記データ処理装置は、前記ラッチ化回路を付加すべき遅延位置にある基本論理回路を求める際に、前記ラッチ回路がスルー状態となるクロック信号の立ち上がりエッジおよび立ち下がりエッジにおいてクロック信号とデータ信号とが干渉を起こす不確定領域をそれぞれ求め、求めた前記不確定領域を、クロック信号の第1の論理レベル期間から差し引いた残りの領域をラッチ回路配置の範囲とし,その中間点をラッチ回路配置の最適点として抽出する請求項8記載の論理回路設計方法。
- 前記ラッチ化回路を付加すべき遅延位置にある基本論理回路を求める際に、前記データ処理装置が、前記ラッチ回路配置の範囲から、予め外部から指定する領域範囲をラッチ化回路を付加した後のスルー遅延領域として除き、残りの領域を立ち上がりエッジ側の遅延マージンおよび立ち下がりエッジ側の遅延マージンとして求める請求項8記載の論理回路設計方法。
- 前記ラッチ化回路を付加すべき遅延位置にある基本論理回路を求める際に、前記データ処理装置は、前記立ち上がりエッジ側の遅延マージンおよび前記立ち下がりエッジ側の遅延マージンとなる前記残りの領域が最大となるポイントを探索し、その地点に存在する基本論理回路を抽出する請求項8記載の論理回路設計方法。
- 前記予め外部から指定する領域範囲の値として、前記ラッチ化回路を付加した後の遅延特性における最大スルー遅延値を、前記ラッチ化回路ライブラリ内に予め記述しておく請求項12記載の論理回路設計方法。
- データ入力装置と、記憶媒体のプログラムに基づき中央処理装置(CPU)の制御下で動作するとともに設計対象回路のネットリストからフリップフロップおよびラッチ回路を削除し削除後のネットリストからラッチ化すべき論理回路を抽出してラッチ化回路を付加するラッチ化回路付加手段を有するデータ処理装置と、前記データ処理装置で引用する処理データおよび処理結果のデータを記憶する記憶装置と、データの表示装置と、データの印字装置とを備えることを特徴とする論理回路設計システム。
- 前記ラッチ化回路付加手段は、ラッチ化回路付加処理の外部入力データとして、少なくとも前記設計対象回路のネットリストと各種の論理回路に対応するラッチ化回路のライブラリとをそれぞれ備える請求項15記載の論理回路設計システム。
- 前記ラッチ化回路のライブラリは、前記ラッチ化回路を付加した後の遅延特性における最大スルー遅延値を格納する請求項16記載の論理回路設計システム。
- 前記ラッチ化回路付加手段は、各種の論理回路に対応するラッチ化回路のライブラリを備え、前記設計対象回路内のフリップフロップおよびラッチ回路を前記第1のネットリストから削除するとともに削除した回路に対応する出力を所定の論理値に置き換えて第2のネットリストとして出力するフリップフロップ/ラッチ回路削除手段と、前記第2のネットリスト内部を検索しラッチ化の対象となる基本論理回路を検出してラッチ回路付加リストとして出力する回路分割手段と、前記ラッチ回路付加リストに従い前記ラッチ化回路ライブラリを参照して対応するラッチ化回路を前記ラッチ化の対象となる基本論理回路に付加し、付加した結果を第3のネットリストとして出力するラッチ回路挿入手段とを含み、前記記憶装置は、第1、第2および第3のネットリストと、前記ラッチ回路付加リストと、前記ライブラリとを含む請求項15記載の論理回路設計システム。
- データ入力装置と、記憶媒体のプログラムに基づき中央処理装置(CPU)の制御下で動作するとともに設計対象回路の第1のネットリストからフリップフロップおよびラッチ回路を削除し削除後の第2のネットリストからラッチ化すべき基本論理回路を抽出してラッチ化回路を付加するラッチ化回路付加手段を有するデータ処理装置と、前記データ処理装置で引用する処理データおよび処理結果のデータを記憶する記憶装置と、データの表示装置と、データの印字装置とを備え、
前記データ入力装置からの指示に応答して,前記第1のネットリストと各種の基本論理回路に対応するラッチ化回路ライブラリとを入力データとするとともに、入力された前記第1のネットリストから順序回路のフリップフロップおよびラッチ回路を削除し、削除した順序回路が負論理であれば信号反転手段を挿入し、正論理であればそのままの論理を挿入して第2のネットリストを出力する処理ステップと、前記第2のネットリストの内部を検索し、ラッチ化回路を付加すべき基本論理回路を検索し、ラッチ化の対象となる基本論理回路をラッチ回路付加リストとして出力する処理ステップと、前記ラッチ回路付加リストに従い前記ラッチ化回路ライブラリを参照して、前記第2のネットリスト内部の基本論理回路に対して対応するラッチ化回路を付加した第3のネットリストを出力する処理ステップとを順次実行し,実行結果を前記表示装置および前記印字装置に出力する処理を、前記中央処理装置が前記データ処理装置に順次実行させるためのプログラム。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004089750A JP4419633B2 (ja) | 2004-03-25 | 2004-03-25 | 論理回路設計システム、論理回路設計方法およびそのプログラム |
US11/086,587 US7236006B2 (en) | 2004-03-25 | 2005-03-23 | Logic circuit, logic circuit design method, logic circuit design system, and logic circuit design program |
US11/754,410 US8065645B2 (en) | 2004-03-25 | 2007-05-29 | Logic circuit, logic circuit design method, logic circuit design system, and logic circuit design program |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004089750A JP4419633B2 (ja) | 2004-03-25 | 2004-03-25 | 論理回路設計システム、論理回路設計方法およびそのプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2005277909A true JP2005277909A (ja) | 2005-10-06 |
JP4419633B2 JP4419633B2 (ja) | 2010-02-24 |
Family
ID=34989085
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004089750A Expired - Fee Related JP4419633B2 (ja) | 2004-03-25 | 2004-03-25 | 論理回路設計システム、論理回路設計方法およびそのプログラム |
Country Status (2)
Country | Link |
---|---|
US (2) | US7236006B2 (ja) |
JP (1) | JP4419633B2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8438518B2 (en) | 2009-03-03 | 2013-05-07 | Nec Corporation | Apparatus for designing semiconductor integrated circuit, method of designing semiconductor integrated circuit, and program for designing semiconductor integrated circuit |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4852464B2 (ja) * | 2007-04-11 | 2012-01-11 | 富士通セミコンダクター株式会社 | 論理等価検証装置、論理等価検証方法、論理等価検証プログラムおよび記録媒体 |
US7979838B2 (en) * | 2008-02-15 | 2011-07-12 | International Business Machines Corporation | Method of automating creation of a clock control distribution network in an integrated circuit floorplan |
US8572536B2 (en) * | 2011-09-27 | 2013-10-29 | International Business Machines Corporation | Spare latch distribution |
JP2014021573A (ja) * | 2012-07-13 | 2014-02-03 | International Business Maschines Corporation | 半導体集積回路の論理回路設計に用いるネットリストを最適化する方法、該方法を用いて論理回路の設計を支援する装置及び該装置で実行することが可能なコンピュータプログラム |
CN111027276A (zh) * | 2018-10-09 | 2020-04-17 | 刘保 | 基于多相电平敏感锁存器的集成电路优化系统和方法 |
Family Cites Families (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4271538A (en) * | 1980-03-24 | 1981-06-09 | Norton Company | Safety spectacles |
JPH05256044A (ja) | 1992-03-12 | 1993-10-05 | Sumitomo Heavy Ind Ltd | 機械式駐車場 |
CA2283176A1 (en) * | 1997-07-18 | 1999-01-28 | Sola International Holdings Ltd. | Lens with surface correction |
US6105177A (en) * | 1997-12-26 | 2000-08-22 | Paulson Manufacturing Corp. | Protective goggles |
JP3617392B2 (ja) | 1999-11-25 | 2005-02-02 | 日本電気株式会社 | 多段パイプラインラッチ回路及びその製造方法 |
US20020166160A1 (en) * | 2001-05-09 | 2002-11-14 | Lane Henry Welling | Optically correct and clear eyeshields |
JP2002202347A (ja) | 2000-12-28 | 2002-07-19 | Nec Corp | スキャンフリップフロップ回路 |
JP2003234643A (ja) * | 2002-02-07 | 2003-08-22 | Mitsubishi Electric Corp | 半導体集積回路装置の設計方法および半導体集積回路装置 |
US6813753B2 (en) * | 2002-04-16 | 2004-11-02 | Micron Technology, Inc. | Method of determining library parameters using timing surface planarity |
JP3695428B2 (ja) | 2002-07-17 | 2005-09-14 | 日本電気株式会社 | 論理回路の遅延最適化システムおよびその最適化方法ならびに制御プログラム |
US6828838B1 (en) * | 2003-05-30 | 2004-12-07 | Intel Corporation | Vectored flip-flops and latches with embedded output-merge logic and shared clock drivers |
US7103857B2 (en) * | 2003-12-09 | 2006-09-05 | International Business Machines Corporation | Method and latch circuit for implementing enhanced performance with reduced quiescent power dissipation using mixed threshold CMOS devices |
-
2004
- 2004-03-25 JP JP2004089750A patent/JP4419633B2/ja not_active Expired - Fee Related
-
2005
- 2005-03-23 US US11/086,587 patent/US7236006B2/en not_active Expired - Fee Related
-
2007
- 2007-05-29 US US11/754,410 patent/US8065645B2/en not_active Expired - Fee Related
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8438518B2 (en) | 2009-03-03 | 2013-05-07 | Nec Corporation | Apparatus for designing semiconductor integrated circuit, method of designing semiconductor integrated circuit, and program for designing semiconductor integrated circuit |
Also Published As
Publication number | Publication date |
---|---|
US8065645B2 (en) | 2011-11-22 |
US20050212578A1 (en) | 2005-09-29 |
US20070234242A1 (en) | 2007-10-04 |
JP4419633B2 (ja) | 2010-02-24 |
US7236006B2 (en) | 2007-06-26 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7594200B2 (en) | Method for finding multi-cycle clock gating | |
US8291364B2 (en) | Automated digital circuit design tool that reduces or eliminates adverse timing constraints do to an inherent clock signal skew, and applications thereof | |
US20140165022A1 (en) | Relative timing architecture | |
US20100325452A1 (en) | Automatic clock-gating insertion and propagation technique | |
US7484187B2 (en) | Clock-gating through data independent logic | |
US9953120B2 (en) | Relative timing characterization | |
Iizuka et al. | A tool set for the design of asynchronous circuits with bundled-data implementation | |
US20150341032A1 (en) | Locally asynchronous logic circuit and method therefor | |
US8522187B2 (en) | Method and data processing system to optimize performance of an electric circuit design, data processing program and computer program product | |
JP4419633B2 (ja) | 論理回路設計システム、論理回路設計方法およびそのプログラム | |
US8776003B2 (en) | System and method for employing side transition times from signoff-quality timing analysis information to reduce leakage power in an electronic circuit and an electronic design automation tool incorporating the same | |
JP2008065457A (ja) | 半導体集積回路の設計方法及び設計システム | |
US6107852A (en) | Method and device for the reduction of latch insertion delay | |
US7028273B2 (en) | Delay optimization designing system and delay optimization designing method for a logic circuit and control program | |
Semba et al. | Comparison of RTL conversion and GL conversion from synchronous circuits to asynchronous circuits | |
Wang et al. | TonyChopper: A desynchronization package | |
Shin et al. | Aggressive voltage scaling through fast correction of multiple errors with seamless pipeline operation | |
US20220327269A1 (en) | Computing device and method for detecting clock domain crossing violation in design of memory device | |
US8745558B1 (en) | Deployment of transmission gate logic cells in application specific integrated circuits | |
Wang et al. | A new approach for gate-level delay-insensitive asynchronous logic | |
US6927615B2 (en) | Low skew, power efficient local clock signal generation system | |
Heck et al. | Hardening C-elements against metastability | |
JP5942417B2 (ja) | シミュレーション装置、シミュレーション方法及びシミュレーションプログラム | |
Lin et al. | Optimal time borrowing analysis and timing budgeting optimization for latch-based designs | |
US8245178B2 (en) | Method for multi-cycle clock gating |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20061012 |
|
RD01 | Notification of change of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7421 Effective date: 20070119 |
|
RD01 | Notification of change of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7421 Effective date: 20080612 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20090121 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090310 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090508 |
|
RD01 | Notification of change of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7421 Effective date: 20090508 |
|
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: 20091110 |
|
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: 20091123 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20121211 Year of fee payment: 3 |
|
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: 20121211 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131211 Year of fee payment: 4 |
|
LAPS | Cancellation because of no payment of annual fees |