Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
JP4901702B2 - 回路設計方法 - Google Patents
[go: Go Back, main page]

JP4901702B2 - 回路設計方法 - Google Patents

回路設計方法 Download PDF

Info

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
Application number
JP2007305752A
Other languages
English (en)
Other versions
JP2009129325A (ja
Inventor
間 悠 也 本
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Toshiba Corp
Original Assignee
Toshiba Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Toshiba Corp filed Critical Toshiba Corp
Priority to JP2007305752A priority Critical patent/JP4901702B2/ja
Priority to US12/255,363 priority patent/US7962875B2/en
Publication of JP2009129325A publication Critical patent/JP2009129325A/ja
Application granted granted Critical
Publication of JP4901702B2 publication Critical patent/JP4901702B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/327Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/39Circuit design at the physical level
    • G06F30/396Clock 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

本発明は、回路設計方法に関するものである。
半導体集積回路の設計は、ブロック・IPの設計、ブロックの組み立て、テスト回路の挿入、ネットリスト(論理セルの接続情報)の生成、レイアウトなどの複数の工程からなる。レイアウト工程では、クロック情報に基づく、クロックツリー合成(CTS:Clock Tree Synthesis)に必要な情報(重複部分がないようにクロックツリーを分割するための非同期関係やフリップフロップ以外のリーフなど)の抽出などが行われている(例えば特許文献1参照)。
近年のシステムLSI(大規模集積回路)では、大規模化及び多機能化に伴うクロック系統数の増加や、ブロックや動作モード別での分業設計のために、クロック制御回路(クロック生成ポイントからフリップフロップやメモリ等のクロック供給先となるリーフまでの回路)が複雑になっている。そのため、クロック制御回路の回路構造を解析しクロック系統図の作成等を行ってからクロック制御回路の論理抽出を行うことに膨大な時間がかかり、回路設計期間が増大している。
また、各動作モードで伝播するクロックなどクロック制御回路全体の機能を把握することが困難となり、冗長な回路の削除によるチップ面積の削減やクロックレイテンシの削減等のレイアウト工程前に行うクロック制御回路の最適化が困難になっている。
特開2006−85595号公報
本発明は半導体集積回路のクロック制御回路の論理抽出を短時間に行い、クロック制御回路を最適化できる回路設計方法を提供することを目的とする。
本発明の一態様による回路設計方法は、設定部、実行部、抽出部、グループ化部、及び第1乃至第3作成部を備える回路設計装置を用いて、クロック制御回路及び前記クロック制御回路を介してクロック信号が伝播するリーフを有する半導体集積回路を設計する方法であって、前記設定部が、ネットリスト及びセルライブラリを用いて、クロック信号が生成されるクロック信号生成ポイント及び動作モードを設定する動作モード設定信号が与えられる動作モード設定ポイントを検出し、前記設定部が、前記クロック信号生成ポイントにクロック信号及びその名称を設定し、前記設定部が、前記動作モード設定ポイントに所望の動作モードに応じた動作モード設定信号を設定し、前記実行部が、前記クロック信号及び前記動作モード設定信号の伝播を行い、前記抽出部が、前記リーフに伝播している信号を抽出し、前記リーフに伝播している信号の抽出後に、前記グループ化部が、すべての前記動作モードにおいて伝播している信号が同じリーフをグループ化し、前記第1作成部が、各グループに伝播している信号の名称又は信号値を前記動作モード別に示すクロック選択論理表を作成し、前記第2作成部が、前記クロック選択論理表を用いて、前記グループの各々に対応するマルチプレクサをマッピングし、前記マルチプレクサの選択信号入力端子に前記動作モード設定信号が与えられるように接続を行い、前記マルチプレクサに、対応するグループへ供給されるクロック信号又は信号値が与えられるように接続を行い、前記クロック制御回路と論理が等価な改変クロック制御回路を生成し、前記第3作成部が、前記クロック制御回路を前記改変クロック制御回路に置き換え、前記改変クロック制御回路を有する前記半導体集積回路のネットリストを作成するものである。
本発明によれば、クロック制御回路の論理抽出を短時間に行い、クロック制御回路を最適化できる。
以下、本発明の実施の形態を図面に基づいて説明する。
(第1の実施形態)図1に本発明の第1の実施形態に係る半導体集積回路の設計装置の概略構成を示す。設計装置10はネットリスト21及びセルライブラリ22が与えられ、伝播クロック表31及びクロック選択論理表32を生成して出力する。ネットリスト21はセル及び配線の接続関係に関する設計情報を格納する。セルライブラリ22はセルに関する設計情報(論理情報)を格納する。伝播クロック表31及びクロック選択論理表32については後述する。
設計装置10はデータ入力部11、クロック・動作モード設定部12、クロック伝播実行部13、伝播クロック抽出部14、伝播クロック記憶部15、リーフグループ化部16、及びクロック表作成部17を備える。
データ入力部11はネットリスト21及びセルライブラリ22を受信する。
クロック・動作モード設定部12はネットリスト21に基づいてクロック信号が生成されるポイントを検出し、そのポイントにクロック(又は定数)及びそのクロックの名称を設定する。また、動作モード選択信号の設定ポイントを検出し、その設定ポイントに各動作モードに対応する値を設定する。
クロック伝播実行部13はクロック・動作モード設定部12により設定されたクロック信号及び動作モード選択信号の伝播を行う。
伝播クロック抽出部14はクロック信号の到達点であるフリップフロップやメモリなどのリーフへ伝播したクロック(又は定数)を抽出する。伝播クロック抽出部14は各リーフに伝播したクロックを動作モード毎に抽出し、伝播クロック記憶部15に格納する。
例えば、図2に示すように、フリップフロップFF1〜FF6に伝播するクロックを抽出する。フリップフロップFF1〜FF6はクロック制御回路Cを介してクロック信号CLK1、CLK2又は定数(ゲーティングされる場合等)が与えられる。クロック制御回路Cには動作モード選択信号SELが与えられ、動作モード選択信号SELが0の時が動作モード1、動作モード選択信号SELが1の時が動作モード2となる。
リーフグループ化部16は、伝播クロック記憶部15に格納された各リーフへの伝播クロックを用いて、同じクロック(又は定数)が伝播するリーフをグループ化する。
クロック表作成部17は伝播クロック記憶部15に格納された各リーフへの伝播クロックを用いて、各リーフに伝播するクロック(又は定数)が動作モード別に示された伝播クロック表31を作成して出力する。
図2に示す回路から抽出されたクロックによる伝播クロック表31の一例を図3に示す。反転クロックと正転(反転していない)クロックを区別するため、反転クロックにはクロックの名称に“〜”を付している。
また、クロック表作成部17は、リーフグループ化部16によるグループ化の結果を用いてクロック選択論理表32を作成して出力する。クロック選択論理表32は選択論理が同じリーフをグループ化した表である。
各リーフに伝播するクロックが図3に示すような場合の時のクロック選択論理表32を図4に示す。フリップフロップFF1〜3は動作モードがモード1及びモード2の時に同じクロックが伝播するので、同じグループにまとめられる。同様にフリップフロップFF3及びFF4が同じグループになる。
このように本実施形態による設計装置10は、クロック制御回路の回路構造の解析を行わず、リーフへ伝播するクロックを動作モード毎に検出することで、クロック制御回路の論理抽出を短時間に行うことができる。
このような設計装置10によるクロック制御回路の論理抽出処理を図5に示すフローチャートを用いて説明する。
(ステップS501)セルライブラリが入力される。
(ステップS502)ネットリストが入力される。
(ステップS503)クロック信号が生成されるポイントにクロック(又は定数)及びそのクロックの名称が設定される。また、動作モード選択信号にまだ設定されていない動作モードに対応する値が設定される。
(ステップS504)クロック信号及び動作モード選択信号が伝播される。
(ステップS505)各リーフへ伝播したクロック信号が抽出される。
(ステップS506)動作モード選択信号にすべての動作モードについての値が設定されたか否かが判定される。設定された場合はステップS507へ進み、設定されていない場合はステップS503へ戻る。
(ステップS507)伝播クロック表が作成される。
(ステップS508)クロック選択論理が同じリーフがグループ化される。
(ステップS509)クロック選択論理表が作成される。
このように、クロック制御回路の回路構造を解析せずに、各リーフ(クロック到達点)へ伝播するクロックを抽出するため、クロック制御回路の論理情報を短時間に抽出することができる。また、伝播クロック表やクロック選択論理表を用いてクロック制御回路の機能を容易に把握することができる。また、ユーザ(回路設計者)は、この伝播クロック表やクロック選択論理表を参照して、クロック制御回路を簡易な回路構成に再構成することができる。
(第2の実施形態)図6に本発明の第2の実施形態に係る半導体集積回路の設計装置の概略構成を示す。設計装置60はデータ入力部11、クロック・動作モード設定部12、クロック伝播実行部13、伝播クロック抽出部14、伝播クロック記憶部15、リーフグループ化部16、クロック表作成部17、回路図作成部61、及びネットリスト作成部62を備える。
データ入力部11、クロック・動作モード設定部12、クロック伝播実行部13、伝播クロック抽出部14、伝播クロック記憶部15、リーフグループ化部16、及びクロック表作成部17の機能は上記第1の実施形態と同様のため、説明を省略する。
回路図作成部61はクロック表作成部17から出力されるクロック選択論理表を用いてクロック制御回路の回路図を作成する。まず回路図作成部61は、クロック選択論理表を参照して、反転クロックが伝播するリーフの有無を検出する。反転クロックが伝播するリーフがある場合はインバータをマッピングする。
そして、クロック選択論理表を用いて、グループ毎にマルチプレクサをマッピングする。マルチプレクサは動作モード設定信号を選択信号とし、動作モードに応じてクロック信号(又は定数)を選択して出力する。
回路図作成部61による回路図作成処理を図7に示すフローチャートを用いて説明する。ここでは例としてクロック選択論理表に図4に示すクロック選択論理表を用いる。
(ステップS701)クロック選択論理表が入力される。
(ステップS702)クロック選択論理表を参照して反転クロックの伝播の有無を検出し、ある場合はインバータをマッピングする。図4に示すクロック選択論理表からフリップフロップFF6からなるグループに反転クロックが伝播していることが分かるので、インバータを1つマッピングする。
(ステップS703)各グループに対応し、動作モード設定信号を選択信号とするマルチプレクサをマッピングする。図8に示すように、フリップフロップFF1〜3のグループにはマルチプレクサMUX1、フリップフロップFF4、5のグループにはマルチプレクサMUX2、フリップフロップFF6にはマルチプレクサMUX3をマッピングする。インバータinv1はステップS702でマッピングされたインバータである。マルチプレクサMUX1〜3の選択信号入力端子には選択信号SELとして動作モード設定信号が与えられるよう接続される。
(ステップS704)各マルチプレクサに選択・出力を行うクロック信号が与えられるように接続を行う。ゲーティングなどにより0又は1の定数を伝播する場合は、その定数を入力させる。
例えば図9に示すように、マルチプレクサMUX1にはクロック信号CLK1、CLK2を入力させる。また、マルチプレクサMUX2には定数0及びクロック信号CLK2を入力させる。また、マルチプレクサMUX3にはインバータinv1を介したクロック信号CLK1及び定数0を入力させる。
マルチプレクサMUX1〜3に入力される選択信号SELが0のとき動作モード1、選択信号SELが1のとき動作モード2とすれば、図4に示すクロック選択論理表が表すクロック制御回路と論理が等価な改変クロック制御回路となる。
ネットリスト作成部62は回路図作成部61で作成された改変クロック制御回路をHDL(Hardware Description Language)で記述したネットリストとして出力する。ネットリストはRTL(Register Transfer Level)でもゲートレベルでもよい。
このように、本実施形態による設計装置は、クロック選択論理表を用いることでデバックし易いクロック制御回路を短時間に作成することができる。
また、上記実施形態により作成された改変クロック制御回路と、設計装置に入力されるネットリスト(図1、図6におけるネットリスト21)に定義されたクロック制御回路とを置換することで、クロック制御回路を最適化することができる。
このようなクロック制御回路の最適化を行う回路設計方法を図10に示すフローチャートを用いて説明する。
(ステップS1001)クロック制御回路最適化前のネットリスト及びセルライブラリが入力される。
(ステップS1002)回路内に点在するクロック制御回路を1つにまとめてネットリストから切り出す。
(ステップS1003)クロック制御回路の論理抽出を行い、クロック選択論理表を作成する。論理抽出は上記第1の実施形態(図5に示されるフローチャート)と同様の方法にて行う。
(ステップS1004)クロック選択論理表を用いて改変クロック制御回路を作成する。クロック制御回路の作成は上記第2の実施形態(図7に示されるフローチャート)と同様の方法にて行う。
(ステップS1005)ステップS1002で切り出されたクロック制御回路をステップS1004で作成された改変クロック制御回路に置き換える。
(ステップS1006)改変クロック制御回路を含む回路全体のネットリストを作成して出力する。
このような設計方法によりクロック制御回路に含まれる冗長な回路を削除し、最適化を行うことができる。例えば図11(a)に示すようなクロック制御回路が、図11(b)に示すように最適化される。
クロック制御回路の最適化を行うにあたり、回路構造の変更を望まない領域を最適化対象外領域としてユーザ(回路設計者)が予め指定できるようにしてもよい。
このように、クロック制御回路の回路構造を解析することなく、クロック到達点(リーフ)へ伝播するクロック信号を抽出することで、クロック制御回路全体の機能を短時間に把握できる。
また、クロック選択論理表を用いてクロック制御回路を再生成することで、冗長な回路が削除される。これにより、チップ面積の削減やクロックレイテンシの削減等のクロック制御回路の最適化を行うことができる。
上述した実施の形態はいずれも一例であって限定的なものではないと考えられるべきである。本発明の技術的範囲は特許請求の範囲によって示され、特許請求の範囲と均等の意味および範囲内でのすべての変更が含まれることが意図される。
本発明の第1の実施形態による半導体集積回路の設計装置の概略構成図である。 クロック信号が伝播するフリップフロップを示す図である。 伝播クロック表の一例を示す図である。 クロック選択論理表の一例を示す図である。 同第1の実施形態によるクロック制御回路の論理抽出方法を示すフローチャートである。 本発明の第2の実施形態による半導体集積回路の設計装置の概略構成図である。 同第2の実施形態におけるクロック制御回路の回路図作成方法を示すフローチャートである。 改変クロック制御回路の回路図作成におけるマルチプレクサのマッピングの一例を示す図である。 改変クロック制御回路の回路図作成におけるクロック信号線の接続の一例を示す図である。 クロック制御回路の最適化を行う回路設計方法を示すフローチャートである。 クロック制御回路の最適化の一例を示す図である。
符号の説明
10 設計装置
11 データ入力部
12 クロック・動作モード設定部
13 クロック伝播実行部
14 伝播クロック抽出部
15 伝播クロック記憶部
16 リーフグループ化部
17 クロック表作成部
21 ネットリスト
22 セルライブラリ
31 伝播クロック表
32 クロック選択論理表

Claims (1)

  1. 設定部、実行部、抽出部、グループ化部、及び第1乃至第3作成部を備える回路設計装置を用いて、クロック制御回路及び前記クロック制御回路を介してクロック信号が伝播するリーフを有する半導体集積回路を設計する方法であって、
    前記設定部が、ネットリスト及びセルライブラリを用いて、クロック信号が生成されるクロック信号生成ポイント及び動作モードを設定する動作モード設定信号が与えられる動作モード設定ポイントを検出し、
    前記設定部が、前記クロック信号生成ポイントにクロック信号及びその名称を設定し、
    前記設定部が、前記動作モード設定ポイントに所望の動作モードに応じた動作モード設定信号を設定し、
    前記実行部が、前記クロック信号及び前記動作モード設定信号の伝播を行い、
    前記抽出部が、前記リーフに伝播している信号を抽出し、
    前記リーフに伝播している信号の抽出後に、前記グループ化部が、すべての前記動作モードにおいて伝播している信号が同じリーフをグループ化し、
    前記第1作成部が、各グループに伝播している信号の名称又は信号値を前記動作モード別に示すクロック選択論理表を作成し、
    前記第2作成部が、前記クロック選択論理表を用いて、前記グループの各々に対応するマルチプレクサをマッピングし、前記マルチプレクサの選択信号入力端子に前記動作モード設定信号が与えられるように接続を行い、前記マルチプレクサに、対応するグループへ供給されるクロック信号又は信号値が与えられるように接続を行い、前記クロック制御回路と論理が等価な改変クロック制御回路を生成し、
    前記第3作成部が、前記クロック制御回路を前記改変クロック制御回路に置き換え、前記改変クロック制御回路を有する前記半導体集積回路のネットリストを作成することを特徴とする回路設計方法。
JP2007305752A 2007-11-27 2007-11-27 回路設計方法 Expired - Fee Related JP4901702B2 (ja)

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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

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