JPH1131158A - 処理時間見積装置 - Google Patents
処理時間見積装置Info
- Publication number
- JPH1131158A JPH1131158A JP9186770A JP18677097A JPH1131158A JP H1131158 A JPH1131158 A JP H1131158A JP 9186770 A JP9186770 A JP 9186770A JP 18677097 A JP18677097 A JP 18677097A JP H1131158 A JPH1131158 A JP H1131158A
- Authority
- JP
- Japan
- Prior art keywords
- processing time
- source
- components
- calculating
- time
- 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.)
- Withdrawn
Links
Abstract
(57)【要約】
【課題】 本発明は、ＬＳＩの設計に必要な処理時間を
見積る処理時間見積装置に関し、機能記述言語などで記
述されたソースをもとにＬＳＩを設計する際に必要な論
理合成に必要な処理時間を構成要素数をもとに過去の実
績を参照して推定し、論理合成に要する処理時間を正確
に予測し、設計スケジュールの立案を実現すると共に論
理合成に使用する環境に合致した処理時間の見積りを実
現することを目的とする。 【解決手段】 機能記述言語で記述されたソースをもと
に、論理合成する構成要素の数を算出する手段と、過去
の実際にソースより論理合成したときの処理時間とその
ときの構成要素の数に関する情報を蓄積する手段と、算
出された構成要素の数と蓄積された情報に基づいて処理
時間を算出する手段とを備えるように構成する。
見積る処理時間見積装置に関し、機能記述言語などで記
述されたソースをもとにＬＳＩを設計する際に必要な論
理合成に必要な処理時間を構成要素数をもとに過去の実
績を参照して推定し、論理合成に要する処理時間を正確
に予測し、設計スケジュールの立案を実現すると共に論
理合成に使用する環境に合致した処理時間の見積りを実
現することを目的とする。 【解決手段】 機能記述言語で記述されたソースをもと
に、論理合成する構成要素の数を算出する手段と、過去
の実際にソースより論理合成したときの処理時間とその
ときの構成要素の数に関する情報を蓄積する手段と、算
出された構成要素の数と蓄積された情報に基づいて処理
時間を算出する手段とを備えるように構成する。
Description
【０００１】
【発明の属する技術分野】本発明は、ＬＳＩの設計に必
要な処理時間を見積る処理時間見積装置に関するもので
ある。
要な処理時間を見積る処理時間見積装置に関するもので
ある。
【０００２】
【従来の技術】従来、機能記述言語で記述されたソース
をもとに、ＬＳＩを設計する場合、論理合成を長時間か
けて行っている。この際、論理合成に要する処理時間
は、実際に論理合成を実行してみないと不明のため、処
理時間の見積りができなかった。
をもとに、ＬＳＩを設計する場合、論理合成を長時間か
けて行っている。この際、論理合成に要する処理時間
は、実際に論理合成を実行してみないと不明のため、処
理時間の見積りができなかった。
【０００３】
【発明が解決しようとする課題】このため、機能記述言
語で記述されたソースをもとにＬＳＩを設計するための
論理合成を行う処理時間が不明で処理時間の見積りがで
きなく、設計スケジュールを立てられないという問題が
あった。
語で記述されたソースをもとにＬＳＩを設計するための
論理合成を行う処理時間が不明で処理時間の見積りがで
きなく、設計スケジュールを立てられないという問題が
あった。
【０００４】本発明は、これらの問題を解決するため、
機能記述言語などで記述されたソースをもとにＬＳＩを
設計する際に必要な論理合成に必要な処理時間を構成要
素数をもとに過去の実績を参照して推定し、論理合成に
要する処理時間を正確に予測し、設計スケジュールの立
案を実現すると共に論理合成に使用する環境に合致した
処理時間の見積りを実現することを目的としている。
機能記述言語などで記述されたソースをもとにＬＳＩを
設計する際に必要な論理合成に必要な処理時間を構成要
素数をもとに過去の実績を参照して推定し、論理合成に
要する処理時間を正確に予測し、設計スケジュールの立
案を実現すると共に論理合成に使用する環境に合致した
処理時間の見積りを実現することを目的としている。
【０００５】
【課題を解決するための手段】図１を参照して課題を解
決するための手段を説明する。図１において、機能記述
言語で記述したソース１は、論理合成しようとするＬＳ
Ｉの機能を言語で記述したソースである。
決するための手段を説明する。図１において、機能記述
言語で記述したソース１は、論理合成しようとするＬＳ
Ｉの機能を言語で記述したソースである。
【０００６】選択手段３は、機能記述言語で記述したソ
ース１中の論理式あるいは当該論理式を合成した後の論
理式のいずれかを選択し、処理装置１１に通知するもの
である。
ース１中の論理式あるいは当該論理式を合成した後の論
理式のいずれかを選択し、処理装置１１に通知するもの
である。
【０００７】履歴手段６は、論理合成したときの処理時
間と構成要素の数などの履歴を履歴ＤＢ１５に蓄積する
ものである。構成要素算出手段１２は、ソース中から構
成要素の数をそれぞれ算出するものである。
間と構成要素の数などの履歴を履歴ＤＢ１５に蓄積する
ものである。構成要素算出手段１２は、ソース中から構
成要素の数をそれぞれ算出するものである。
【０００８】処理時間算出手段１３は、ソース中の構成
要素の数をもとに処理時間を算出するものである。推定
処理時間出力手段１４は、処理時間算出手段１３によっ
て算出された処理時間を表示装置１６上に表示するもの
である。
要素の数をもとに処理時間を算出するものである。推定
処理時間出力手段１４は、処理時間算出手段１３によっ
て算出された処理時間を表示装置１６上に表示するもの
である。
【０００９】履歴ＤＢ１５は、論理合成したのときの処
理時間とそのときの構成要素の数を蓄積したものであ
る。次に、動作を説明する。
理時間とそのときの構成要素の数を蓄積したものであ
る。次に、動作を説明する。
【００１０】構成要素算出手段１２が機能記述言語で記
述されたソースあるいは当該ソースを合成した後のソー
スから論理合成する構成要素の数をそれぞれ算出し、履
歴手段６が過去の実際に論理合成したときの処理時間と
そのときの構成要素の数をそれぞれ履歴として蓄積して
おき、処理時間算出手段１３が算出された構成要素のそ
れぞれの数をもとに履歴を検索して最も類似するものの
処理時間を見つけ、この処理時間をソースの論理合成に
要する処理時間として見積もるようにしている。
述されたソースあるいは当該ソースを合成した後のソー
スから論理合成する構成要素の数をそれぞれ算出し、履
歴手段６が過去の実際に論理合成したときの処理時間と
そのときの構成要素の数をそれぞれ履歴として蓄積して
おき、処理時間算出手段１３が算出された構成要素のそ
れぞれの数をもとに履歴を検索して最も類似するものの
処理時間を見つけ、この処理時間をソースの論理合成に
要する処理時間として見積もるようにしている。
【００１１】また、構成要素算出手段１２が機能記述言
語で記述されたソースあるいは当該ソースを合成した後
のソースをもとに論理合成する構成要素の数をそれぞれ
算出し、履歴手段６が過去の実際に論理合成したときの
処理時間とそのときの構成要素の数をそれぞれ蓄積し、
処理時間算出手段１３が履歴をもとに各構成要素にそれ
ぞれ重みを乗算してその総和を処理時間としたときの当
該重みをそぞれ算出し、算出された構成要素のそれぞれ
の数に算出した重みをそれぞれ乗算してその総和を処理
時間として算出し、この処理時間をソースの論理合成に
要する処理時間として見積もるようにしている。
語で記述されたソースあるいは当該ソースを合成した後
のソースをもとに論理合成する構成要素の数をそれぞれ
算出し、履歴手段６が過去の実際に論理合成したときの
処理時間とそのときの構成要素の数をそれぞれ蓄積し、
処理時間算出手段１３が履歴をもとに各構成要素にそれ
ぞれ重みを乗算してその総和を処理時間としたときの当
該重みをそぞれ算出し、算出された構成要素のそれぞれ
の数に算出した重みをそれぞれ乗算してその総和を処理
時間として算出し、この処理時間をソースの論理合成に
要する処理時間として見積もるようにしている。
【００１２】これらの際に、構成要素として、リテラル
数、状態数、ＡＮＤ数、ＯＲ数、ＩＮＶ数、ＥＯＲ数の
うちの複数の必要なものとするようにしている。また、
構成要素を構成するＥＯＲ数、ＡＮＤ数、ＯＲ数、ＩＮ
Ｖ数、状態数、リテラル数の優先順位で、履歴を検索し
て最も類似するものの処理時間を見つけるようにしてい
る。
数、状態数、ＡＮＤ数、ＯＲ数、ＩＮＶ数、ＥＯＲ数の
うちの複数の必要なものとするようにしている。また、
構成要素を構成するＥＯＲ数、ＡＮＤ数、ＯＲ数、ＩＮ
Ｖ数、状態数、リテラル数の優先順位で、履歴を検索し
て最も類似するものの処理時間を見つけるようにしてい
る。
【００１３】従って、機能記述言語などで記述されたソ
ースをもとにＬＳＩを設計する際に論理合成に必要な処
理時間を構成要素数をもとに過去の実績を参照して論理
合成に必要な処理時間を推定することにより、論理合成
に要する処理時間を正確に見積もることができ、その結
果、設計スケジュールの立案が可能になると共に論理合
成に使用する環境に合致した処理時間の正確な見積りが
可能になる。
ースをもとにＬＳＩを設計する際に論理合成に必要な処
理時間を構成要素数をもとに過去の実績を参照して論理
合成に必要な処理時間を推定することにより、論理合成
に要する処理時間を正確に見積もることができ、その結
果、設計スケジュールの立案が可能になると共に論理合
成に使用する環境に合致した処理時間の正確な見積りが
可能になる。
【００１４】
【発明の実施の形態】次に、図１から図８を用いて本発
明の実施の形態および動作を順次詳細に説明する。
明の実施の形態および動作を順次詳細に説明する。
【００１５】図１は、本発明のシステム構成図を示す。
図１において、機能記述言語で記述したソース１は、論
理合成しようとするＬＳＩの機能を汎用的な機能記述言
語（ＶＨＤＬなど）で記述したソースである。
図１において、機能記述言語で記述したソース１は、論
理合成しようとするＬＳＩの機能を汎用的な機能記述言
語（ＶＨＤＬなど）で記述したソースである。
【００１６】ＣＡＤ２は、機能記述言語で記述したソー
ス１をもとに、論理合成してネットリストを出力するも
のであって、ここでは、選択手段３、翻訳手段４、合成
手段５、および履歴手段６などから構成されるものであ
る。
ス１をもとに、論理合成してネットリストを出力するも
のであって、ここでは、選択手段３、翻訳手段４、合成
手段５、および履歴手段６などから構成されるものであ
る。
【００１７】選択手段３は、機能記述言語で記述したソ
ース１中の論理式あるいは当該論理式を合成した後の論
理式のいずれかを選択し、処理装置１１に通知するもの
である。通常、ＬＳＩの実装面積を優先あるいは遅延時
間を優先するかのいずれかを指定し、実装面積を優先す
ると指定された場合には面積が小さくなるように複数の
論理式を合成してそれよりも少ない論理式にした後に処
理装置１１に通知し、一方、遅延時間を優先すると指定
された場合には遅延時間が小さくなるように複数の論理
式を合成することなくそのまま処理装置１１に通知する
ようにしている。例えば Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ の２つの論理式がソースであったとき、 ・面積優先の場合には、 Ｙ：＝Ｃ∧（Ａ∧Ｂ） を通知し、 ・遅延時間優先の場合には、 Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ のソースを通知する。
ース１中の論理式あるいは当該論理式を合成した後の論
理式のいずれかを選択し、処理装置１１に通知するもの
である。通常、ＬＳＩの実装面積を優先あるいは遅延時
間を優先するかのいずれかを指定し、実装面積を優先す
ると指定された場合には面積が小さくなるように複数の
論理式を合成してそれよりも少ない論理式にした後に処
理装置１１に通知し、一方、遅延時間を優先すると指定
された場合には遅延時間が小さくなるように複数の論理
式を合成することなくそのまま処理装置１１に通知する
ようにしている。例えば Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ の２つの論理式がソースであったとき、 ・面積優先の場合には、 Ｙ：＝Ｃ∧（Ａ∧Ｂ） を通知し、 ・遅延時間優先の場合には、 Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ のソースを通知する。
【００１８】翻訳手段４は、機能記述言語のソースをＣ
ＡＤシステム用の言語のソースに翻訳するものである。
尚、翻訳時に後述する構成要素算出手段１２に代わっ
て、ソースの構成要素（リテラル数、状態数、ＡＮＤ
数、ＯＲ数など）を算出するようにしてもよい。この場
合には、後述する構成要素算出手段１２が不要で当該翻
訳手段４内に構成要素算出手段１２が含まれることとな
る。
ＡＤシステム用の言語のソースに翻訳するものである。
尚、翻訳時に後述する構成要素算出手段１２に代わっ
て、ソースの構成要素（リテラル数、状態数、ＡＮＤ
数、ＯＲ数など）を算出するようにしてもよい。この場
合には、後述する構成要素算出手段１２が不要で当該翻
訳手段４内に構成要素算出手段１２が含まれることとな
る。
【００１９】合成手段５は、論理合成を行うものであ
る。履歴手段６は、合成手段５によって論理合成したと
きの処理時間とそのときの構成要素の数を履歴として履
歴ＤＢ１５に蓄積するものである。
る。履歴手段６は、合成手段５によって論理合成したと
きの処理時間とそのときの構成要素の数を履歴として履
歴ＤＢ１５に蓄積するものである。
【００２０】処理装置１１は、ＣＡＤ２から論理技術言
語で記述されたソースをもとに、論理合成する際の処理
時間を見積もるものであって、ここでは、構成要素算出
手段１２、処理時間算出手段１３、推定処理時間出力手
段１４などから構成されるものである。
語で記述されたソースをもとに、論理合成する際の処理
時間を見積もるものであって、ここでは、構成要素算出
手段１２、処理時間算出手段１３、推定処理時間出力手
段１４などから構成されるものである。
【００２１】構成要素算出手段１２は、機能記述言語で
記述したソース中の構成要素毎の数を算出するものであ
る。処理時間算出手段１３は、構成要素算出手段１２に
よって算出した構成要素毎の数をもとに、履歴ＤＢ１５
を参照して論理合成に必要な処理時間を見積もるもので
ある。
記述したソース中の構成要素毎の数を算出するものであ
る。処理時間算出手段１３は、構成要素算出手段１２に
よって算出した構成要素毎の数をもとに、履歴ＤＢ１５
を参照して論理合成に必要な処理時間を見積もるもので
ある。
【００２２】推定処理時間出力手段１４は、処理時間算
出手段１３によって算出された処理時間を表示装置１６
上に表示するものである。履歴ＤＢ１５は、論理合成し
たときの処理時間とそのときの構成要素の数を履歴とし
て蓄積したものである。
出手段１３によって算出された処理時間を表示装置１６
上に表示するものである。履歴ＤＢ１５は、論理合成し
たときの処理時間とそのときの構成要素の数を履歴とし
て蓄積したものである。
【００２３】表示装置１６は、処理時間などを表示する
ものである。次に、図２ないし図８を参照し、図１の構
成の動作を順次詳細に説明する。図２は、本発明の説明
図（その１）を示す。
ものである。次に、図２ないし図８を参照し、図１の構
成の動作を順次詳細に説明する。図２は、本発明の説明
図（その１）を示す。
【００２４】図２において、Ｓ１は、機能記述言語で記
述したソースの例を示す。ここでは、図示の下記のソー
スを、論理合成してネットリストを出力しようとする。 Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ Ｓ２は、前合成を行う。これは、Ｓ１のソースを前合成
を行い、Ｓ３に示す下記のように前合成する。
述したソースの例を示す。ここでは、図示の下記のソー
スを、論理合成してネットリストを出力しようとする。 Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ Ｓ２は、前合成を行う。これは、Ｓ１のソースを前合成
を行い、Ｓ３に示す下記のように前合成する。
【００２５】Ｙ：＝Ｃ∧（Ａ∧Ｂ） Ｓ４は、選択手段がＳ５の面積優先か遅延時間優先かの
指定をもとに、下記のいずれかを選択する。
指定をもとに、下記のいずれかを選択する。
【００２６】・面積優先が指定された場合、面積を小さ
くする前合成後のソース Ｙ：＝Ｃ∧（Ａ∧Ｂ） を、Ｓ６に示すように選択する。
くする前合成後のソース Ｙ：＝Ｃ∧（Ａ∧Ｂ） を、Ｓ６に示すように選択する。
【００２７】・遅延時間優先が指定された場合、遅延時
間を小さくする前合成しないソース Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ を、Ｓ７に示すように選択する。
間を小さくする前合成しないソース Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ を、Ｓ７に示すように選択する。
【００２８】Ｓ６あるいはＳ７で選択されたソース中に
含まれる構成要素である、リテラル数、状態数、ＡＮＤ
数、ＯＲ数などの数をそれぞれ算出する。Ｓ８は、処理
時間を予測する。これは、Ｓ６あるいはＳ７で算出した
ソース中に含まれる構成要素の数をもとに、過去の実際
に論理合成した処理時間とそのときの構成要素の数を参
照し、論理合成するときの処理時間を予測（推定）する
（図４、図５を用いて予測の方法を詳細する）。
含まれる構成要素である、リテラル数、状態数、ＡＮＤ
数、ＯＲ数などの数をそれぞれ算出する。Ｓ８は、処理
時間を予測する。これは、Ｓ６あるいはＳ７で算出した
ソース中に含まれる構成要素の数をもとに、過去の実際
に論理合成した処理時間とそのときの構成要素の数を参
照し、論理合成するときの処理時間を予測（推定）する
（図４、図５を用いて予測の方法を詳細する）。
【００２９】以上によって、機能既述言語で記述したソ
ースあるいは当該ソースを前合成したソースについて構
成要素の数を算出し、当該構成要素の数をもとに履歴Ｄ
Ｂ１５を参照して、論理合成するときの処理時間を予測
することが可能となる。以下処理時間の予測について詳
細に説明する。
ースあるいは当該ソースを前合成したソースについて構
成要素の数を算出し、当該構成要素の数をもとに履歴Ｄ
Ｂ１５を参照して、論理合成するときの処理時間を予測
することが可能となる。以下処理時間の予測について詳
細に説明する。
【００３０】図３は、本発明の説明図（その２）を示
す。これは、ソースを前合成し、前合成後のソースつい
て構成要素の数を算出したものである。図３において、
Ｓ１１は、ソースの記述例を示す。ここでは、モジュー
ル ｍｏｄｕｌｅ ＡＡ（Ａ．Ｂ．Ｃ．Ｙ） Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ ｅｎｄｍｏｏｄｕｌｅ 中のＸ：＝、Ｙ：＝は図示のように出力ピンを表し、
Ａ、Ｃは入力ピンを表し、、∧はＡＮＤという構成要素
を表す。
す。これは、ソースを前合成し、前合成後のソースつい
て構成要素の数を算出したものである。図３において、
Ｓ１１は、ソースの記述例を示す。ここでは、モジュー
ル ｍｏｄｕｌｅ ＡＡ（Ａ．Ｂ．Ｃ．Ｙ） Ｘ：＝Ａ∧Ｂ Ｙ：＝Ｃ∧Ｘ ｅｎｄｍｏｏｄｕｌｅ 中のＸ：＝、Ｙ：＝は図示のように出力ピンを表し、
Ａ、Ｃは入力ピンを表し、、∧はＡＮＤという構成要素
を表す。
【００３１】Ｓ１２は、前合成した例を示す。ここで
は、Ｓ１１のモジュール中の２つの論理式を１つの下記
の論理式の前合成している。 Ｙ：＝Ｃ∧（Ａ∧Ｂ） Ｓ１３は、Ｓ１２で前合成した後の論理式（ソース）お
よびそれと等価の論理式（図示の合成の欄に記載したこ
こでは４つの等価の論理式）について、構成要素 ・リテラル数（変数の文字の数）： ・ＡＮＤ数（論理式のＡＮＤの数）： ・ＯＲ数（論理式のＯＲの数）： ・ＩＮＶ数（論理式のインバートの数）： をそれぞれ図示のように算出する。
は、Ｓ１１のモジュール中の２つの論理式を１つの下記
の論理式の前合成している。 Ｙ：＝Ｃ∧（Ａ∧Ｂ） Ｓ１３は、Ｓ１２で前合成した後の論理式（ソース）お
よびそれと等価の論理式（図示の合成の欄に記載したこ
こでは４つの等価の論理式）について、構成要素 ・リテラル数（変数の文字の数）： ・ＡＮＤ数（論理式のＡＮＤの数）： ・ＯＲ数（論理式のＯＲの数）： ・ＩＮＶ数（論理式のインバートの数）： をそれぞれ図示のように算出する。
【００３２】以上によって、ソース中に含まれる論理式
について前合成した論理式および等価の論理式について
それぞれ構成要素数を算出できたこととなる。図４は、
本発明の説明図（その３）を示す。これは、図３で求め
たソースの構成要素数をもとに、履歴ＤＢ１５を参照し
て優先順位に従って最も類似するものの処理時間を見つ
けるものである。
について前合成した論理式および等価の論理式について
それぞれ構成要素数を算出できたこととなる。図４は、
本発明の説明図（その３）を示す。これは、図３で求め
たソースの構成要素数をもとに、履歴ＤＢ１５を参照し
て優先順位に従って最も類似するものの処理時間を見つ
けるものである。
【００３３】図４の（ａ）は、履歴ＤＢ１５の例を示
す。ここでは、過去の実際に論理合成を実行したときの
処理時間とそのときの構成要素の数を図示のように蓄積
したものである。
す。ここでは、過去の実際に論理合成を実行したときの
処理時間とそのときの構成要素の数を図示のように蓄積
したものである。
【００３４】図４の（ｂ）は、図４の（ａ）の構成要素
が処理時間に与える性質を示す。図示のように、 ・リテラル数がふえれば、処理時間はふえる。
が処理時間に与える性質を示す。図示のように、 ・リテラル数がふえれば、処理時間はふえる。
【００３５】・ＡＮＤ数、ＯＲ数は数に処理時間が比例
する。 ・ＥＯＲ数は、数の２乗に比例する。 以上のように構成要素のそれぞれが処理時間に与える性
質を持つため、図３で算出したソースの構成要素の数を
もとに、図４の（ａ）の履歴ＤＢ１５中から最も類似す
るものを見つけるときの優先順位として、構成要素の数
が処理時間に与える影響が大きいものから優先的に類似
するものを見つけるようにする。このときの優先順位と
して例えばは図４の（ｃ）に記載したようにする。
する。 ・ＥＯＲ数は、数の２乗に比例する。 以上のように構成要素のそれぞれが処理時間に与える性
質を持つため、図３で算出したソースの構成要素の数を
もとに、図４の（ａ）の履歴ＤＢ１５中から最も類似す
るものを見つけるときの優先順位として、構成要素の数
が処理時間に与える影響が大きいものから優先的に類似
するものを見つけるようにする。このときの優先順位と
して例えばは図４の（ｃ）に記載したようにする。
【００３６】図４の（ｃ）は、優先順位の例を示す。こ
こでは、 ＥＯＲ＞ＡＮＤ＞ＯＲ＞状態＞リテラル の順に、履歴ＤＢ１５との類似度を順次検索し、最も一
致するエントリ（一致するときはそのエントリ、一致し
ないときはその前後のエントリの処理時間を内分あるい
は外分する）を見つけ、その処理時間を論理式を論理合
成するときに必要な処理時間と予測する（見積もる）。
こでは、 ＥＯＲ＞ＡＮＤ＞ＯＲ＞状態＞リテラル の順に、履歴ＤＢ１５との類似度を順次検索し、最も一
致するエントリ（一致するときはそのエントリ、一致し
ないときはその前後のエントリの処理時間を内分あるい
は外分する）を見つけ、その処理時間を論理式を論理合
成するときに必要な処理時間と予測する（見積もる）。
【００３７】以上によって、ソース中の論理式あるいは
論理式を前合成した後の論理式（等価の論理式を含む）
について構成要素数を算出し、この算出した構成要素数
をもとに履歴ＤＢ１５について優先順位（ＥＯＲ＞ＡＮ
Ｄ＞ＯＲ＞状態＞リテラル）をもとに最も類似するもの
（一致するものがないときは前後のものの内分あるいは
外分）を見つけて処理時間を予測することにより、論理
合成に要する処理時間を過去の履歴をもとに正確に予測
することが可能となった。
論理式を前合成した後の論理式（等価の論理式を含む）
について構成要素数を算出し、この算出した構成要素数
をもとに履歴ＤＢ１５について優先順位（ＥＯＲ＞ＡＮ
Ｄ＞ＯＲ＞状態＞リテラル）をもとに最も類似するもの
（一致するものがないときは前後のものの内分あるいは
外分）を見つけて処理時間を予測することにより、論理
合成に要する処理時間を過去の履歴をもとに正確に予測
することが可能となった。
【００３８】図５は、本発明の説明図（その４）を示
す。これは、図４と異なる他の論理合成に要する処理時
間を予測する例であって、処理時間Ｔを図示の下記の式
で表すように各構成要素に重みを乗算した総和で求め、
これら重みを過去のデータ（実際に論理合成したときの
処理時間と各構成要素数）から算出しておき、当該重み
に論理合成しようとする構成要素数をそれぞれ乗算して
その総和を求めて処理時間Ｔとしたものである。
す。これは、図４と異なる他の論理合成に要する処理時
間を予測する例であって、処理時間Ｔを図示の下記の式
で表すように各構成要素に重みを乗算した総和で求め、
これら重みを過去のデータ（実際に論理合成したときの
処理時間と各構成要素数）から算出しておき、当該重み
に論理合成しようとする構成要素数をそれぞれ乗算して
その総和を求めて処理時間Ｔとしたものである。
【００３９】図５の（ａ）は、処理時間Ｔを求める式を
表す。 Ｔ＝αＥ1＋βＥ2＋γＥ3＋εＥ4＋・・・ ここで、Ｔは処理時間、αはリテラルの重み、β状態の
重み、γはＡＮＤの重み、εはＯＲの重みをそれぞれ表
す。
表す。 Ｔ＝αＥ1＋βＥ2＋γＥ3＋εＥ4＋・・・ ここで、Ｔは処理時間、αはリテラルの重み、β状態の
重み、γはＡＮＤの重み、εはＯＲの重みをそれぞれ表
す。
【００４０】図５の（ｂ）は、今回の値を入力して、処
理時間を算出する。これは、図５の（ａ）の式に、今回
の値（例えば記述した図３のＳ１３の各論理式毎の構成
要素の数）を代入し、処理時間Ｔを求める。
理時間を算出する。これは、図５の（ａ）の式に、今回
の値（例えば記述した図３のＳ１３の各論理式毎の構成
要素の数）を代入し、処理時間Ｔを求める。
【００４１】以上によって、過去の実際の論理合成した
ときの処理時間とそのときの構成要素数をもとに図５の
（ａ）の式の各重みを求めておき、今回の論理合成しよ
うとする構成要素数をこの式に代入して処理時間Ｔを求
めて予測することが可能となる。
ときの処理時間とそのときの構成要素数をもとに図５の
（ａ）の式の各重みを求めておき、今回の論理合成しよ
うとする構成要素数をこの式に代入して処理時間Ｔを求
めて予測することが可能となる。
【００４２】図６は、本発明のモジュール説明図を示
す。モジュールは、図示の下記のように ｍｏｄｕｌｅ Ｍ（Ａ，Ｂ，Ｃ） ・・・ ｅｎｄｍｏｄｕｌｅ で囲まれた範囲の記述である。図示の例では、２つのモ
ジュールの記述が記載されている。これら論理合成しよ
うとするモジュール毎あるいは複数のモジュール毎に既
述した構成要素数を求め、図４あるいは図５によって処
理時間を予測することが可能となる。
す。モジュールは、図示の下記のように ｍｏｄｕｌｅ Ｍ（Ａ，Ｂ，Ｃ） ・・・ ｅｎｄｍｏｄｕｌｅ で囲まれた範囲の記述である。図示の例では、２つのモ
ジュールの記述が記載されている。これら論理合成しよ
うとするモジュール毎あるいは複数のモジュール毎に既
述した構成要素数を求め、図４あるいは図５によって処
理時間を予測することが可能となる。
【００４３】図７は、本発明のモジュール毎の状態遷移
図を示す。図７の（ａ）は、Ｓ１、Ｓ２、Ｓ３という状
態の遷移を模式的に表したものであって、図示のように
値（ｘ１、ｘ２、ｘ３）のときに矢印の方向に状態（Ｓ
１、Ｓ２、Ｓ３）が遷移するものである。
図を示す。図７の（ａ）は、Ｓ１、Ｓ２、Ｓ３という状
態の遷移を模式的に表したものであって、図示のように
値（ｘ１、ｘ２、ｘ３）のときに矢印の方向に状態（Ｓ
１、Ｓ２、Ｓ３）が遷移するものである。
【００４４】図７の（ｂ）は、図７の（ａ）の模式的に
表したように状態（Ｓ１、Ｓ２、Ｓ３）が遷移するとき
の論理記述例を示す。例えば （０００） Ｓ１：ｉｆ ｘ１ ｔｈｅｎ Ｓ２ は、「もしＳ１の状態で値がｘ１となったならば、状態
ｓ２に遷移する」を表す。他の論理記述例を同様であ
る。
表したように状態（Ｓ１、Ｓ２、Ｓ３）が遷移するとき
の論理記述例を示す。例えば （０００） Ｓ１：ｉｆ ｘ１ ｔｈｅｎ Ｓ２ は、「もしＳ１の状態で値がｘ１となったならば、状態
ｓ２に遷移する」を表す。他の論理記述例を同様であ
る。
【００４５】図８は、本発明の構成要素の説明図を示
す。これは、既述した構成要素（ＡＮＤ、ＯＲ、ＩＮＶ
など）の詳細情報を示し、ここでは、図示のように、例
えばＡＮＤは、ベーシックセル数が２、消費電力が０．
５Ｗ、遅延時間が５ｍｓという基本的な情報を持つもの
である。これら各構成要素の情報をもとに例えば既述し
た図２のＳ５の遅延時間優先が選択された場合には遅延
時間を小さくする論理式（例えばＡＮＤ数を少ない論理
式）が優先的に選択されることとなる。
す。これは、既述した構成要素（ＡＮＤ、ＯＲ、ＩＮＶ
など）の詳細情報を示し、ここでは、図示のように、例
えばＡＮＤは、ベーシックセル数が２、消費電力が０．
５Ｗ、遅延時間が５ｍｓという基本的な情報を持つもの
である。これら各構成要素の情報をもとに例えば既述し
た図２のＳ５の遅延時間優先が選択された場合には遅延
時間を小さくする論理式（例えばＡＮＤ数を少ない論理
式）が優先的に選択されることとなる。
【００４６】
【発明の効果】以上説明したように、本発明によれば、
機能記述言語などで記述されたソースをもとにＬＳＩを
設計する際に必要な論理合成に必要な処理時間を構成要
素数をもとに過去の実績を参照して処理時間を推定する
構成を採用しているため、論理合成に要する処理時間を
正確に見積もることができ、その結果、設計スケジュー
ルの立案が可能になると共に論理合成に使用する環境に
合致した処理時間の正確な見積りが可能になった。
機能記述言語などで記述されたソースをもとにＬＳＩを
設計する際に必要な論理合成に必要な処理時間を構成要
素数をもとに過去の実績を参照して処理時間を推定する
構成を採用しているため、論理合成に要する処理時間を
正確に見積もることができ、その結果、設計スケジュー
ルの立案が可能になると共に論理合成に使用する環境に
合致した処理時間の正確な見積りが可能になった。
【図１】本発明のシステム構成図である。
【図２】本発明の説明図（その１）である。
【図３】本発明の説明図（その２）である。
【図４】本発明の説明図（その３）である。
【図５】本発明の説明図（その４）である。
【図６】本発明のモジュール説明図である。
【図７】本発明のモジュール毎の状態遷移図である。
【図８】本発明の構成要素の説明図である。
１：機能記述言語で記述されたソース ２：ＣＡＤ ３：選択手段 ４：翻訳手段 ５：合成手段 ６：履歴手段 １１：処理装置 １２：構成要素算出手段 １３：処理時間算出手段 １４：推定処理時間出力手段 １５：履歴ＤＢ １６：表示装置
Claims (5)
- 【請求項１】機能記述言語で記述されたソースをもと
に、論理合成する構成要素の数を算出する手段と、 過去の実際にソースより論理合成したときの処理時間と
そのときの構成要素の数に関する情報を蓄積する手段
と、 上記算出された構成要素の数と、上記蓄積された情報に
基づいて処理時間を算出する手段とを備えたことを特徴
とする処理時間見積装置。 - 【請求項２】機能記述言語で記述されたソース、論理合
成する複数種類の構成要素のそれぞれの数を算出する手
段と、 過去の実際にソースより論理合成したときの処理時間と
そのときの複数種類の構成要素のそれぞれの数に関する
情報をもとに各構成要素のそれぞれ重みを算出する手段
と、 上記算出された各構成要素のそれぞれの数と、上記算出
した重みとに基づいて処理時間を算出する手段とを備え
たことを特徴とする処理時間見積装置。 - 【請求項３】上記構成要素として、リテラル数、状態
数、ＡＮＤ数、ＯＲ数、ＩＮＶ数、ＥＯＲ数のうちの複
数の必要なものとしたことを特徴とする請求項１あるい
は請求項２記載の処理時間見積装置。 - 【請求項４】コンピュータを動作させて、 機能記述言語で記述されたソースをもとに、論理合成す
る構成要素の数を算出する手段と、 過去の実際にソースより論理合成したときの処理時間と
そのときの構成要素の数に関する情報を蓄積する手段
と、 上記算出された構成要素の数と、上記蓄積された情報に
基づいて処理時間を算出する手段とを機能させるプログ
ラムを格納した記録媒体。 - 【請求項５】コンピュータを動作させて、 機能記述言語で記述されたソース、論理合成する複数種
類の構成要素のそれぞれの数を算出する手段と、 過去の実際にソースより論理合成したときの処理時間と
そのときの複数種類の構成要素のそれぞれの数に関する
情報をもとに各構成要素のそれぞれ重みを算出する手段
と、 上記算出された各構成要素のそれぞれの数と、上記算出
した重みとに基づいて処理時間を算出する手段とを機能
させるプログラムを格納した記録媒体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9186770A JPH1131158A (ja) | 1997-07-11 | 1997-07-11 | 処理時間見積装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9186770A JPH1131158A (ja) | 1997-07-11 | 1997-07-11 | 処理時間見積装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1131158A true JPH1131158A (ja) | 1999-02-02 |
Family
ID=16194334
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP9186770A Withdrawn JPH1131158A (ja) | 1997-07-11 | 1997-07-11 | 処理時間見積装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH1131158A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6572284B2 (en) * | 2001-09-12 | 2003-06-03 | Hewlett-Packard Development Company, L.P. | Queue management for photo minilabs |
| JP2006003951A (ja) * | 2004-06-15 | 2006-01-05 | Daikin Ind Ltd | 情報処理装置、および、情報処理方法、プログラム、並びに、情報処理システム |
-
1997
- 1997-07-11 JP JP9186770A patent/JPH1131158A/ja not_active Withdrawn
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6572284B2 (en) * | 2001-09-12 | 2003-06-03 | Hewlett-Packard Development Company, L.P. | Queue management for photo minilabs |
| JP2006003951A (ja) * | 2004-06-15 | 2006-01-05 | Daikin Ind Ltd | 情報処理装置、および、情報処理方法、プログラム、並びに、情報処理システム |
| JP4645880B2 (ja) * | 2004-06-15 | 2011-03-09 | ダイキン工業株式会社 | 情報処理装置、および、情報処理方法、プログラム、並びに、情報処理システム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7096438B2 (en) | Method of using clock cycle-time in determining loop schedules during circuit design | |
| EP1192559B1 (en) | Updating placement during technology mapping | |
| Lou et al. | Dynamic-ofa: Runtime dnn architecture switching for performance scaling on heterogeneous embedded platforms | |
| US8635576B2 (en) | Method for determining wire lengths between nodes using a rectilinear steiner minimum tree (RSMT) with existing pre-routes algorithm | |
| Youssef et al. | Bounds on net delays for VLSI circuits | |
| Torbey et al. | High-level synthesis of digital circuits using genetic algorithms | |
| JP7065794B2 (ja) | グラフベースの類似度検索を用いたｆｐｇａ実装のインクリメンタル方式による生成 | |
| WO2000073925A2 (en) | Using budgeted required time during technology mapping | |
| US6601226B1 (en) | Tightloop method of timing driven placement | |
| Soyata et al. | Integration of clock skew and register delays into a retiming algorithm | |
| US20220405455A1 (en) | Methods and systems for congestion prediction in logic synthesis using graph neural networks | |
| JPH1131158A (ja) | 処理時間見積装置 | |
| US20200089729A1 (en) | Optimization problem arithmetic method and optimization problem arithmetic apparatus | |
| Ajami et al. | Post-layout timing-driven cell placement using an accurate net length model with movable steiner points | |
| JPH05324728A (ja) | 情報検索装置 | |
| Chakraborty et al. | Approximate algorithms for time separation of events | |
| Song et al. | Extended dynamic partial-overlapping batch means estimators for steady-state simulations | |
| JPH11213004A (ja) | データ処理装置及びその方法、及びそのプログラムを記憶した記憶媒体 | |
| JPH05266085A (ja) | 動的概念辞書を用いた類似検索方法及びその装置 | |
| JP2902006B2 (ja) | 情報提示装置 | |
| Moreno et al. | Register estimation in unscheduled dataflow graphs | |
| JP2000048002A (ja) | 鋼材の相変態図推定装置、鋼材の相変態図予測方法及び記録媒体 | |
| US7240315B1 (en) | Automated local clock placement for FPGA designs | |
| Van Der Byl et al. | A many processing element framework for the discrete fourier transform | |
| Shirazi et al. | Quantitative analysis of FPGA-based database searching |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 20041005 |