JP4901702B2 - 回路設計方法 - Google Patents
回路設計方法 Download PDFInfo
- Publication number
- JP4901702B2 JP4901702B2 JP2007305752A JP2007305752A JP4901702B2 JP 4901702 B2 JP4901702 B2 JP 4901702B2 JP 2007305752 A JP2007305752 A JP 2007305752A JP 2007305752 A JP2007305752 A JP 2007305752A JP 4901702 B2 JP4901702 B2 JP 4901702B2
- Authority
- JP
- Japan
- Prior art keywords
- clock
- signal
- operation mode
- control circuit
- unit
- 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 OR CALCULATING; 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 OR CALCULATING; 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/396—Clock trees
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)
Description
(ステップS501)セルライブラリが入力される。
(ステップS502)ネットリストが入力される。
(ステップS503)クロック信号が生成されるポイントにクロック(又は定数)及びそのクロックの名称が設定される。また、動作モード選択信号にまだ設定されていない動作モードに対応する値が設定される。
(ステップS504)クロック信号及び動作モード選択信号が伝播される。
(ステップS505)各リーフへ伝播したクロック信号が抽出される。
(ステップS506)動作モード選択信号にすべての動作モードについての値が設定されたか否かが判定される。設定された場合はステップS507へ進み、設定されていない場合はステップS503へ戻る。
(ステップS507)伝播クロック表が作成される。
(ステップS508)クロック選択論理が同じリーフがグループ化される。
(ステップS509)クロック選択論理表が作成される。
(ステップS701)クロック選択論理表が入力される。
(ステップS702)クロック選択論理表を参照して反転クロックの伝播の有無を検出し、ある場合はインバータをマッピングする。図4に示すクロック選択論理表からフリップフロップFF6からなるグループに反転クロックが伝播していることが分かるので、インバータを1つマッピングする。
(ステップS703)各グループに対応し、動作モード設定信号を選択信号とするマルチプレクサをマッピングする。図8に示すように、フリップフロップFF1〜3のグループにはマルチプレクサMUX1、フリップフロップFF4、5のグループにはマルチプレクサMUX2、フリップフロップFF6にはマルチプレクサMUX3をマッピングする。インバータinv1はステップS702でマッピングされたインバータである。マルチプレクサMUX1〜3の選択信号入力端子には選択信号SELとして動作モード設定信号が与えられるよう接続される。
(ステップS704)各マルチプレクサに選択・出力を行うクロック信号が与えられるように接続を行う。ゲーティングなどにより0又は1の定数を伝播する場合は、その定数を入力させる。
(ステップS1001)クロック制御回路最適化前のネットリスト及びセルライブラリが入力される。
(ステップS1002)回路内に点在するクロック制御回路を1つにまとめてネットリストから切り出す。
(ステップS1003)クロック制御回路の論理抽出を行い、クロック選択論理表を作成する。論理抽出は上記第1の実施形態(図5に示されるフローチャート)と同様の方法にて行う。
(ステップS1004)クロック選択論理表を用いて改変クロック制御回路を作成する。クロック制御回路の作成は上記第2の実施形態(図7に示されるフローチャート)と同様の方法にて行う。
(ステップS1005)ステップS1002で切り出されたクロック制御回路をステップS1004で作成された改変クロック制御回路に置き換える。
(ステップS1006)改変クロック制御回路を含む回路全体のネットリストを作成して出力する。
11 データ入力部
12 クロック・動作モード設定部
13 クロック伝播実行部
14 伝播クロック抽出部
15 伝播クロック記憶部
16 リーフグループ化部
17 クロック表作成部
21 ネットリスト
22 セルライブラリ
31 伝播クロック表
32 クロック選択論理表
Claims (1)
- 設定部、実行部、抽出部、グループ化部、及び第1乃至第3作成部を備える回路設計装置を用いて、クロック制御回路及び前記クロック制御回路を介してクロック信号が伝播するリーフを有する半導体集積回路を設計する方法であって、
前記設定部が、ネットリスト及びセルライブラリを用いて、クロック信号が生成されるクロック信号生成ポイント及び動作モードを設定する動作モード設定信号が与えられる動作モード設定ポイントを検出し、
前記設定部が、前記クロック信号生成ポイントにクロック信号及びその名称を設定し、
前記設定部が、前記動作モード設定ポイントに所望の動作モードに応じた動作モード設定信号を設定し、
前記実行部が、前記クロック信号及び前記動作モード設定信号の伝播を行い、
前記抽出部が、前記リーフに伝播している信号を抽出し、
前記リーフに伝播している信号の抽出後に、前記グループ化部が、すべての前記動作モードにおいて伝播している信号が同じリーフをグループ化し、
前記第1作成部が、各グループに伝播している信号の名称又は信号値を前記動作モード別に示すクロック選択論理表を作成し、
前記第2作成部が、前記クロック選択論理表を用いて、前記グループの各々に対応するマルチプレクサをマッピングし、前記マルチプレクサの選択信号入力端子に前記動作モード設定信号が与えられるように接続を行い、前記マルチプレクサに、対応するグループへ供給されるクロック信号又は信号値が与えられるように接続を行い、前記クロック制御回路と論理が等価な改変クロック制御回路を生成し、
前記第3作成部が、前記クロック制御回路を前記改変クロック制御回路に置き換え、前記改変クロック制御回路を有する前記半導体集積回路のネットリストを作成することを特徴とする回路設計方法。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2007305752A JP4901702B2 (ja) | 2007-11-27 | 2007-11-27 | 回路設計方法 |
| US12/255,363 US7962875B2 (en) | 2007-11-27 | 2008-10-21 | Method, apparatus and program for designing circuits |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2007305752A JP4901702B2 (ja) | 2007-11-27 | 2007-11-27 | 回路設計方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2009129325A JP2009129325A (ja) | 2009-06-11 |
| JP4901702B2 true JP4901702B2 (ja) | 2012-03-21 |
Family
ID=40670826
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2007305752A Expired - Fee Related JP4901702B2 (ja) | 2007-11-27 | 2007-11-27 | 回路設計方法 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US7962875B2 (ja) |
| JP (1) | JP4901702B2 (ja) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105553688A (zh) * | 2015-10-29 | 2016-05-04 | 小米科技有限责任公司 | 设置设备工作状态的方法、装置及系统 |
| US11042181B2 (en) * | 2018-11-01 | 2021-06-22 | Siemens Industry Software Inc. | Local clock injection and independent capture for circuit test of multiple cores in clock mesh architecture |
Family Cites Families (23)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5452239A (en) * | 1993-01-29 | 1995-09-19 | Quickturn Design Systems, Inc. | Method of removing gated clocks from the clock nets of a netlist for timing sensitive implementation of the netlist in a hardware emulation system |
| US6785873B1 (en) * | 1997-05-02 | 2004-08-31 | Axis Systems, Inc. | Emulation system with multiple asynchronous clocks |
| US6321366B1 (en) * | 1997-05-02 | 2001-11-20 | Axis Systems, Inc. | Timing-insensitive glitch-free logic system and method |
| JP3178371B2 (ja) * | 1997-05-06 | 2001-06-18 | 日本電気株式会社 | 半導体集積回路の設計方法 |
| JPH11149496A (ja) * | 1997-11-19 | 1999-06-02 | Toshiba Corp | ゲーテッドクロック設計支援装置、ゲーテッドクロック設計支援方法、及びゲーテッドクロック設計支援プログラムを格納したコンピュータ読み取り可能な記録媒体 |
| US20060117274A1 (en) * | 1998-08-31 | 2006-06-01 | Tseng Ping-Sheng | Behavior processor system and method |
| US20020152060A1 (en) * | 1998-08-31 | 2002-10-17 | Tseng Ping-Sheng | Inter-chip communication system |
| KR100374328B1 (ko) * | 2000-06-03 | 2003-03-03 | 박현숙 | 칩 설계 검증 및 테스트 장치 및 방법 |
| US6615392B1 (en) * | 2000-07-27 | 2003-09-02 | Logicvision, Inc. | Hierarchical design and test method and system, program product embodying the method and integrated circuit produced thereby |
| US7257524B2 (en) * | 2001-09-19 | 2007-08-14 | Quickturn Design Systems, Inc. | Simulation and timing control for hardware accelerated simulation |
| JP4118578B2 (ja) * | 2002-03-14 | 2008-07-16 | 富士通株式会社 | 半導体集積回路の設計方法および設計プログラム |
| JP4145642B2 (ja) * | 2002-12-02 | 2008-09-03 | 株式会社ルネサステクノロジ | 論理シミュレーション装置 |
| CN1267739C (zh) * | 2002-12-30 | 2006-08-02 | 清华大学 | 基于扫描森林结构的扫描测试方法 |
| US7299433B2 (en) * | 2003-06-09 | 2007-11-20 | Intel Corporation | Timing analysis apparatus, systems, and methods |
| JP2005093563A (ja) * | 2003-09-12 | 2005-04-07 | Matsushita Electric Ind Co Ltd | 半導体集積回路およびその設計方法 |
| JP2005196265A (ja) * | 2003-12-26 | 2005-07-21 | Matsushita Electric Ind Co Ltd | 遅延ライブラリ作成方法および遅延ライブラリ作成装置 |
| KR100536293B1 (ko) * | 2004-02-17 | 2005-12-12 | 박현주 | 칩 설계 검증 장치 및 방법 |
| JP4271067B2 (ja) * | 2004-03-29 | 2009-06-03 | 富士通マイクロエレクトロニクス株式会社 | 非同期回路検証方法および非同期回路検証プログラム |
| US7478349B2 (en) * | 2004-08-13 | 2009-01-13 | National Instruments Corporation | Automatically synchronizing timed circuits on I/O Devices |
| JP4587754B2 (ja) | 2004-09-17 | 2010-11-24 | 富士通セミコンダクター株式会社 | クロック合成方法、半導体装置及びプログラム |
| US7616036B1 (en) * | 2005-09-12 | 2009-11-10 | Virage Logic Corporation | Programmable strobe and clock generator |
| US8214660B2 (en) * | 2006-07-26 | 2012-07-03 | International Business Machines Corporation | Structure for an apparatus for monitoring and controlling heat generation in a multi-core processor |
| US7770139B2 (en) * | 2007-10-31 | 2010-08-03 | International Business Machines Corporation | Design structure for a flexible multimode logic element for use in a configurable mixed-logic signal distribution path |
-
2007
- 2007-11-27 JP JP2007305752A patent/JP4901702B2/ja not_active Expired - Fee Related
-
2008
- 2008-10-21 US US12/255,363 patent/US7962875B2/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JP2009129325A (ja) | 2009-06-11 |
| US7962875B2 (en) | 2011-06-14 |
| US20090138839A1 (en) | 2009-05-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP5410414B2 (ja) | 回路エミュレーションの入力及び遅延入力のマルチプレクシング | |
| US8196076B2 (en) | Optimal flow in designing a circuit operable in multiple timing modes | |
| JP5432127B2 (ja) | 自動回路設計及びシミュレーションに使用するための技術 | |
| JP5432126B2 (ja) | 自動回路設計及びシミュレーションに使用するための技術 | |
| JP5405451B2 (ja) | 自動回路設計及びシミュレーションに使用するための技術 | |
| CN102831273B (zh) | 包含双边沿触发器的数字集成电路设计方法 | |
| CN107784185B (zh) | 一种门级网表中伪路径的提取方法、装置及终端设备 | |
| US11023646B2 (en) | Hierarchical clock tree construction based on constraints | |
| US9449127B1 (en) | System for verifying timing constraints of IC design | |
| US7207024B2 (en) | Automatic insertion of clocked elements into an electronic design to improve system performance | |
| US10437946B1 (en) | Using implemented core sources for simulation | |
| CN115204104A (zh) | 计算装置、其操作方法和计算机程序产品 | |
| JP4901702B2 (ja) | 回路設計方法 | |
| JP5444985B2 (ja) | 情報処理装置 | |
| Geralla et al. | Optimization of physically-aware synthesis for digital implementation flow | |
| US20090234620A1 (en) | Verification support apparatus, verification support method, and computer product | |
| JP2008299464A (ja) | 消費電力計算方法、消費電力計算プログラムおよび消費電力計算装置 | |
| JP4886559B2 (ja) | 半導体設計支援装置、半導体設計支援方法および半導体設計支援プログラム | |
| JP4216087B2 (ja) | 論理回路最適化方法、論理回路最適化装置、及び、論理回路合成装置 | |
| JP2007004563A (ja) | ライブラリ作成装置、ライブラリ作成プログラムおよびライブラリ作成方法 | |
| Han et al. | Clocked and asynchronous FIFO characterization and comparison | |
| JP5262678B2 (ja) | 動作合成システム、動作合成方法、及び動作合成用プログラム | |
| Sharmaa | Implementation of an RTL synthesizable asynchronous FIFO for conveying data by avoiding actual data movement via FIFO | |
| JP2012003684A (ja) | 回路設計装置、回路設計プログラム及び回路設計方法 | |
| JP2012043170A (ja) | 半導体集積回路の消費電力見積もり方法及び半導体集積回路の消費電力見積もり装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20100219 |
|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20110816 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110826 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20111017 |
|
| 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: 20111202 |
|
| 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: 20111227 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150113 Year of fee payment: 3 |
|
| LAPS | Cancellation because of no payment of annual fees |