JPH0981613A

JPH0981613A - 設計支援装置及び設計支援方法

Info

Publication number: JPH0981613A
Application number: JP7235767A
Authority: JP
Inventors: Hiroko Kotani; 浩子小谷
Original assignee: Toshiba Corp
Current assignee: Toshiba Corp
Priority date: 1995-09-13
Filing date: 1995-09-13
Publication date: 1997-03-28

Abstract

(57)【要約】【課題】検証率の低い回路モジュールにおいても、信
頼性の高いライブラリを提供することである。【解決手段】ライブラリモジュールを使用して設計さ
れたＬＳＩが検証された際に、前記ライブラリモジュー
ルの検証情報を抽出する検証情報アクセス部３５と、使
用されたライブラリモジュールについての前記ライブラ
リモジュール情報保存部に格納された検証情報と、前記
検証情報アクセス部３５により抽出された検証情報との
差分を抽出する差分抽出部と３３、抽出された差分を用
いて検証率を算出し、検証率及び前記ライブラリモジュ
ール情報保存部に保存されたライブラリモジュールの検
証情報の登録若しくは更新を行うライブラリ情報登録管
理部３９とを有するライブラリ情報管理部を備えてあ
る。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、設計支援装置及び
設計支援方法に関し、特に、ＬＳＩのＣＡＤシステムに
おける設計データの再利用が円滑に行われるような設計
支援装置及び設計支援方法に関する。

【０００２】

【従来の技術】従来、広く使用されてきた各種のＬＳＩ
の設計支援装置では、ＬＳＩの大規模化、高集積化に伴
い、設計データの入力の容易化、検証速度の高速化等の
ために、ライブラリを用いることが多い。このライブラ
リは、加算、減算等の非常に汎用的に使われる機能を予
め設計ライブラリとして登録し、この登録された設計ラ
イブラリをＬＳＩの設計時に利用することで、設計デー
タの入力の容易化、検証速度の高速化を図っている。

【０００３】ここで、従来は、ＮＡＮＤゲートや、ＮＯ
Ｒゲートといった論理プリミティブ等、非常に規模が小
さいものが多かったが、ライブラリの充実度は設計や設
計期間を左右する大きな要因の１つであるため、近年で
は２５６ビットの加算器等の大規模な回路もライブラリ
として登録されるようになっている。以上のように、従
来からＬＳＩの設計支援装置では、設計ライブラリを充
実させることで、設計データの入力の容易化、検証速度
の高速化により、設計者の負担を軽減している。

【０００４】

【発明が解決しようとする課題】しかしながら、ライブ
ラリの充実度は、設計支援装置に、予め用意されている
ライブラリの数と、設計者自らの手によって作成された
ライブラリの数に左右される。通常、設計支援装置側で
予め用意されているものは、非常に汎用性に富ませる
為、様々な種類のＩＣを設計する時に、どのような設計
に対しても共通で使われそうな種類のものしか用意され
ていない場合が多い。従って、ライブラリの数はそれ程
豊富でない場合が多い。また、同様の理由から、ライブ
ラリの個々のデータは、回路規模が大きいものはあまり
用意されておらず、最近生産されているＩＣの規模を考
えると、回路規模が小さいライブラリでは、設計データ
の作成の負荷を十分軽減させているとはいい難い。以上
のような事情から設計者が自らライブラリを作成する必
要がある。

【０００５】ここで、設計の負担を軽減するような大規
模なセルは、作成するのに非常に手間がかかる。更に、
必要に応じてでの作成では、ライブラリの充実化は望め
ない。従って、設計データの入力がなかなか軽減しない
という問題がある。

【０００６】ライブラリを富ませる方法としては、最も
簡単な方法の１つに、既に、検証済みである設計データ
を分割して、ライブラリのデータとして、登録する方法
がある。しかし、このように、分割された設計データ
は、設計者が意図した機能が、十分保証されているとは
いい難い。特に、階層化されている部分を切り出すので
はなく、その近傍の回路も含めて切り出される場合、階
層化されている部分は既に十分検証されていても、一緒
に切り出された近傍の回路は十分に検証されているとは
いい難いのである。従って、検証率が１００％でなけれ
ば登録が出来ないとなると、ライブラリ登録の手間がか
かり、かえってライブラリの充実化が困難となる。ここ
に、検証率とは、任意の設計データの検証の度合いを示
すものであり、それは、故障検出率や、その検証によっ
て、活性化されるパスの割合であったり、機能の検証率
であったり、その検証で、設計者が求めた結果と、実際
の検証から得られる結果の割合を示すものである。

【０００７】以上のように、通常設計者は必要なテスト
データのみ検証を行う場合が多いため、検証率が１００
％のライブラリのデータのみを登録するようにすれば、
ライブラリの充実が図れない。一方、低い検証率のもの
についても登録するようにすれば、ライブラリは充実す
るが、設計者が意図した機能が十分に保証されていると
は限らないため、信頼性の低いライブラリとなってしま
う。

【０００８】本発明は、以上のような従来の問題点を鑑
みて成されたものであり、その目的とするところは、検
証率の低いライブラリモジュールにおいても、モジュー
ルの機能の信頼性を明示することで、信頼性の高いライ
ブラリを提供する設計支援装置及び設計支援方法を提供
することにある。

【０００９】

【課題を解決するための手段】上記目的を達成するた
め、本発明の第１の特徴は、少なくとも設計ライブラリ
に登録された各ライブラリモジュールの検証の度合を示
す検証率を含むライブラリモジュールの検証情報が保存
されるライブラリモジュール情報保存部を有する設計支
援装置であって、前記ライブラリモジュールを使用して
設計されたＬＳＩが検証された際に、前記ライブラリモ
ジュールの検証情報を抽出する検証情報アクセス部と、
前記使用されたライブラリモジュールについての前記ラ
イブラリモジュール情報保存部に格納された検証情報
と、前記検証情報アクセス部により抽出された検証情報
との差分を抽出する差分抽出部と、前記抽出された差分
を用いて検証率を算出し、検証率及び前記ライブラリモ
ジュール情報保存部に保存されたライブラリモジュール
の検証情報の登録若しくは更新を行うライブラリ情報登
録管理部と、を有するライブラリ情報管理部を備えるこ
とである。

【００１０】また、本発明の第２の特徴は、少なくとも
設計ライブラリに登録された各ライブラリモジュールの
検証の度合を示す検証率を含むライブラリモジュールの
検証情報が保存されるライブラリモジュール情報保存部
を用いて設計の支援を行う方法であって、前記ライブラ
リモジュールを用いて設計されたＬＳＩが検証された際
に、使用された各ライブラリモジュールに対する検証情
報と、この検証情報に対応する前記ライブラリモジュー
ル情報保存部に格納された過去のライブラリモジュール
の検証情報との差分情報を抽出し、前記差分情報より新
たな検証率を算出して検証率を高めることで設計に用い
るライブラリ情報の性能を向上させることである。

【００１１】上記の発明の構成によれば、設計者は、ラ
イブラリに登録されている設計データを、設計の目安と
なる検証率を確認しながら、設計を行うことが可能であ
る。また、検証率を更新していくことにより、より正し
い機能が保証されていくので、ライブラリを使用しなが
ら、ライブラリの質の向上していくことが出来る。従っ
て、設計資産の再利用を円滑に行うことが可能となるの
である。

【００１２】また、設計ライブラリのモジュールとして
登録する場合に、例えば、分割された回路のテストベク
トル、期待値、及び、検証率を同時に登録することによ
り、設計ライブラリのモジュールの機能の信頼性を明示
する。登録された設計ライブラリデータは、任意の設計
で使用され、検証される度に、その設計ライブラリデー
タの検証情報を、過去の検証と比較する。もし、過去の
検証にて、検証されていない部分がある。すなわち、検
証情報の差分がある場合には、その差分の情報と、その
差分情報を生じる原因となったテストデータ、期待値を
保存されている過去のデータに加え、それらを更新する
ことにより、設計者が、そのライブラリデータの検証
に、それほど、注力しなくても、検証率を向上が可能と
なるのである。

【００１３】

【発明の実施の形態】以下、本発明に係る設計支援装置
及び設計支援方法の実施形態を図面を参照しながら説明
する。

【００１４】第１の実施の形態本実施形態における設計
支援装置のハードウェア構成を図１に示す。まず、同図
に示した設計支援装置の構成要素について説明する。入
力部１は、設計者が選択した処理コマンドなどを入力す
る。コマンド解体部３は、入力部１に入力されたデータ
を解析し、入力された処理コマンドに適当な適当な処理
系に指示された動作を行うよう伝達する。中央制御部５
は、コマンド解体部３の出力により各部の情報の伝達等
を行うための制御を行う。

【００１５】設計データ入力部７は、設計データの入力
処理を行い、設計データを設計データ保存部９に保存す
る。設計データ保存部９は、設計データ入力部７によっ
て、入力された設計データを保存する。

【００１６】検証部１１は、設計データ入力部７によっ
て入力された設計データの検証を行い、この検証結果を
検証結果保存部１３に保存する。検証結果保存部１３
は、検証部１１によって、検証された設計データの検証
結果を保存する。テストデータ生成部１５は、設計デー
タを検証部で検証するために必要なテストデータの生成
を行い、生成テストデータ保存部１７に保存する。生成
テストデータ保存部１７は、テストデータ生成部１５に
よって、生成されたテストデータを保存する。

【００１７】設計ライブラリ制御部１９は、ライブラリ
管理のための諸作業を行う各部分の制御を行う。設計ラ
イブラリデータ管理部２１は、設計ライブラリデータの
登録、削除等、ライブラリデータ保存部２３の管理作業
を行う。設計ライブラリデータ保存部２３は、設計ライ
ブラリデータの保存を行う。

【００１８】設計ライブラリ情報管理部２７は、設計ラ
イブラリデータのドキュメントや、検証率など、設計ラ
イブラリデータに関する情報の管理を行う。ライブラリ
データアクセス部２９は、テスト情報保存部３１に含ま
れている情報にアクセスする。検証情報アクセス部３５
は、ライブラリモジュールを使用して設計されたＬＳＩ
が検証された際に、前記ライブラリモジュールの検証情
報を抽出する。テスト情報保存部３１は、検証情報アク
セス部３５で抽出された各設計ライブラリデータの検証
率の値、検証によって活性化されたパス情報、設計ライ
ブラリデータの検証結果、及び各設計ライブラリデータ
のテストデータ、例えば、入力パターンやその入力パタ
ーンに対する期待値等を保存する。

【００１９】差分抽出部３３は、ライブラリのデータが
ある設計データに使用され、検証された場合、その設計
ライブラリデータの検証結果において、その検証結果と
過去の検証結果との差分を抽出する。ライブラリ情報登
録管理部３７は、差分抽出部３３によって抽出された差
分を用いて検証率を算出し、検証率及びライブラリモジ
ュール情報保存部３１に保存されたライブラリモジュー
ルの検証情報の登録若しくは更新を行う。ドキュメント
管理部４３は、ライブラリに登録されている回路モジュ
ールの名称や回路特性等の情報を記録するドキュメント
の管理を行う。ドキュメント保存部４５は、各設計ライ
ブラリデータのドキュメントを保存する。

【００２０】設計ツール群４７は、論理合成ツールやモ
デリングツール等のＬＳＩ設計に用いられるツール群を
示し、これらツール群からも必要に応じて情報が入力さ
れる。

【００２１】次に、図２を用いて本実施形態における処
理手順を示す。検証部１１は、ライブラリデータ保存部
２３に登録されている設計ライブラリデータが、現在検
証中の設計データの中で使用されている場合、設計ライ
ブラリ情報管理部２７に使用されている設計ライブラリ
データを伝達する（ステップＳ２０１）。

【００２２】設計ライブラリデータが使用されているこ
とを確認した設計ライブラリ情報管理部２７は、使用さ
れた設計ライブラリデータの検証率の確認を行う（ステ
ップＳ２０２）。

【００２３】次に、検証率が１００％、もしくは、すで
に十分検証されているならば、特になにも処理を行わな
くてよいが、もし検証率が１００％に満たない場合や十
分検証がなされていない場合には、３５は検証情報アク
セス部３５は検証に用いられたテストデータ、及び検証
結果を抽出し、その検証作業による設計ライブラリデー
タの検証情報のチェックを行う（ステップＳ２０３〜Ｓ
２０５）。

【００２４】次に、差分抽出部３３は、過去の検証情報
を抽出し、ステップＳ２０５で求めた検証情報との比較
を行う（ステップＳ２０６〜Ｓ２０７）。

【００２５】もし、今回行われた検証作業によって、そ
の設計ライブラリデータが過去に成されなかった検証が
行われたのであれば、差分抽出部３３は、過去に検証さ
れていなかった部分のテストデータと、そのテストデー
タによって得られる検証結果を抽出する（ステップＳ２
０８〜Ｓ２０９）。なお、過去に検証されたが今回の検
証と異なる検証結果のものについても抽出するようにし
て、再び検証を行うようにしてもよい。

【００２６】ライブラリ情報登録管理部３７は、ステッ
プＳ２０９により差分抽出部３３から抽出されたテスト
データを設計ライブラリデータに保存されている過去の
テストデータに追加更新し、ライブラリモジュール情報
保存部３１に保存する（ステップＳ２１０）。また、ラ
イブラリ情報登録管理部３７は、差分抽出部３３にて抽
出された検証結果の差分を過去の検証結果に追加更新を
行い、ライブラリモジュール情報保存部３１に保存し
（ステップＳ２１１）、ライブラリモジュール情報保存
部３１に保存されているその設計ライブラリデータの検
証率の値を更新し、ライブラリモジュール情報保存部３
１に改めて保存する（ステップＳ２１２）。

【００２７】なお、図２のフローチャートには示さなか
ったが、この設計ライブラリデータに係る回路モジュー
ルの名称や回路特性等の情報を記録するドキュメントを
作成してドキュメント保存部４５にこの更新情報を追加
してもよい。

【００２８】次に、本実施形態における設計支援装置の
処理フローの具体例を図面を参照しながら詳細に説明す
る。図３は、設計ライブラリデータ保存部に登録されて
いる設計ライブラリデータの例で、２入力のキャリー付
きの４ビット加算器を表すＶＨＤＬの記述である。この
例では、検証率は、すべての入力パターンの組み合わせ
の個数に対する機能検証を行った入力テストデータの組
み合わせの個数の割合と定義したと仮定する。従って、
検証率は、（（機能検証を行った入力テストデータの組み合わせの
個数）÷（すべての入力パターンの組み合わせの個
数））×１００という式で求められた値となる。例えば、２入力のキャ
リー付きの４ビット加算器の場合、考え得る入力テスト
パターンの組み合わせの個数は、４ビットの入力が２
つ、１ビットのキャリーが１つあるので、２⁴×２⁴×
２＝２⁹＝５１２通りの入力の組み合わせがあると考え
られる。次に、図３は、５１２通り考え得るテストデー
タのうち、２つの４ビットの入力が、（１）（００００，００００），（２）（００００，０００１），（３）（０００１，００００），（４）（１１１１，１１１１）の４通りで、これらの４通りの入力を、キャリー入力が
ある場合とキャリー入力がない場合との両方のケース、
すなわち、８通りの組み合わせでの検証が行われたと仮
定する。そのテストデータの例を図４に示し、そのとき
の検証情報の例を、図５に示す。この検証情報は、入力
データ（Ａ，Ｂ，Ｃｉ）に対する期待値（Ｓ，Ｃｏ）を
示し、さらに検証の結果が期待値と等しいか否かを示す
“結果”の欄及び検証を行ったか否かを示す“済”の欄
を設けてある。なお、この検証の欄には結果と検証を行
ったか否かを３種類の記号等を用いて１つの欄で表示す
るようにしてもよい。なお、この検証情報はライブラリ
モジュール情報保存部３１に保存されているものとす
る。

【００２９】現在、設計者が図３に示されている設計ラ
イブラリデータが含まれるような設計データを作成し、
その検証作業が終了し、十分、満足のいく検証結果が得
られたとする。

【００３０】図６は、設計ライブラリデータのキャリー
付き２入力加算器を示したものであり、この２入力加算
器の回路構成については図１０に示した。２入力加算器
の回路構成は、加算器を２つ接続するようにしてキャリ
ー付き８入力の加算器を構成している。また、現在、図
６は、図７の検証情報で示される３２通りの組み合わせ
分だけの検証が行われたものとする。

【００３１】ここで、図６のように記述された回路にお
いて、信号Ａに対する入力となるのは、入力信号Ｌ１，
Ｌ２、入力信号Ｂの入力となるのは、信号Ｍ１，Ｍ２、
入力信号Ｃｉの入力となるのは、ＣＲＹ（０），ＣＲＹ
（１）であり、それらの値が入力されたとき、出力信号
Ｓの値は、信号Ｓ１，Ｓ２、出力信号Ｃｏの値は、ＣＲ
Ｙ（０），ＣＲＹ（１）である。従って、図３の動作を
確認する為には、信号（Ｌ１，Ｍ１，ＣＲＹ（０），Ｓ
１，ＣＲＹ（１））と、信号（Ｌ２，Ｍ２，ＣＲＹ
（１），ＣＲＹ（２），Ｒ）の組の動作を確認すればよ
い。

【００３２】次に、設計情報ライブラリ２７は、図６の
ように作成された回路に図３の設計ライブラリデータが
使用されれていることを確認した後、図３の回路の検証
率を検証情報（図５）により確認すると、１．５６％
と、十分検証なされていないことがわかる（ステップＳ
２０１〜Ｓ２０３）。

【００３３】従って、検証情報アクセス部３５は、図６
の検証情報である図７を抽出し、ライブラリデータアク
セス部２９は、図４の設計ライブラリデータの動作を確
認するために、信号（Ｌ１，Ｍ１，ＣＲＹ（０），Ｓ
１，ＣＲＹ（１））と、信号（Ｌ２，Ｍ２，ＣＲＹ
（１），ＣＲＹ（２），Ｒ）の組の動作、及び、検証率
の確認を行う（ステップＳ２０４〜Ｓ２０５）。

【００３４】次に、差分抽出部３３は、図７の過去の検
証情報である図３の検証率とを比較するために図３を抽
出する（ステップＳ２０６）。図５で示される図３の回
路の検証情報と、図７の信号（Ｌ１，Ｍ１，ＣＲＹ
（１），Ｓ１，ＣＲＹ（２））と、信号（Ｌ２，Ｍ３，
ＣＲＹ（１），ＣＲＹ（２），Ｓ２，Ｒ）の組の動作の
動作を比較すると、図６の検証では、（００００，００
００，０），（００００，０００１，０），（０００
１，００００，０），（００００，０００１，１），
（０００１，００００，１）の６通りのパターンでは、
過去のテストデータ図２において、検証済みであるが、（１）（００１０，００００，０），（15）（００１０，００００，１），（２）（００１１，００００，０），（16）（００１１，００００，１），（３）（０１００，００００，０），（17）（０１００，００００，１），（４）（０１０１，００００，０），（18）（０１０１，００００，１），（５）（０１１０，００００，０），（19）（０１１０，００００，１），（６）（０１１１，００００，０），（20）（０１１１，００００，１），（７）（１０００，００００，０），（21）（１０００，００００，１），（８）（１００１，００００，０），（22）（１００１，００００，１），（９）（１０１０，００００，０），（23）（１０１０，００００，１），（10）（１０１１，００００，０），（24）（１０１１，００００，１），（11）（１１００，００００，０），（25）（１１００，００００，１），（12）（１１０１，００００，０），（26）（１１０１，００００，１），（13）（１１１０，００００，０），（27）（１１１０，００００，１），（14）（１１１１，００００，０），（28）（１１１１，００００，１）の２８通りのパターンでは、図２の検証では検証が行わ
れていなかったことが確認できる（ステップＳ２０７〜
Ｓ２０８）。つまり、図７のような検証情報が得られた
検証では、図２の検証と比較して、（１）〜（28）の組
み合わせての検証情報の差分があるということが分か
る。具体的に、図７の図３の情報の差分を示すと、図１
１になる。

【００３５】検証率の定義により、設計データは、より
多くのテストデータによって検証されたものの方が検証
率が高いといえる。従って、図３の設計ライブラリデー
タの検証率をより高い検証率とする為に、図７の検証情
報から図３の検証情報の差分を抽出し、検証結果に加え
た方が検証率を高めることが出来る。

【００３６】もし、設計ライブラリデータのテストデー
タ、及び、検証情報が存在しない場合は得られた情報を
失われることなく定められた体裁に従って登録すればよ
いし、差分が存在しなければ、その後、なんら処理を行
う必要はない。このようにして差分抽出部３３は、図７
の情報から、図３の情報の差分を抽出する。すなわち、
ステップＳ２０９による操作で、差分抽出部３３は、図
１１で示された検証情報を、図７より抽出する（ステッ
プＳ２０９）。

【００３７】次に、ライブラリ情報登録管理部３７は、
ステップＳ２０９で得られた差分情報に値するテストデ
ータを作成し、テストデータに追加する（ステップＳ２
１０）。すなわちＬ１の列で示されている差分の値を
Ａ，Ｍ１で示されているの差分の値をＢ，差分のＣＲＹ
（０）で示されている値をＣｉに代入するような、組み
合わせでの検証を行う部分を追加し、例えば、図８のよ
うなテストデータを作成する（ステップＳ２１０）。図
８は追加されたテストデータにあたる。

【００３８】また、ライブラリ情報登録管理部３７は、
図３で示される検証情報に、図１１で表されている情報
を、ライブラリモジュール情報保存部３１に保存されて
いる図３に追加する（ステップＳ２１１）。ステップＳ
２１１の操作によって、例えば、図５の検証情報は、図
９のように更新される。また、ライブラリ情報登録管理
部３７は検証率を更新する（ステップＳ２１２）、ここ
では、図９で示されている７．０３％がこれにあたる。

【００３９】ここで、示された数値、すなわち検証率を
確認すれば、設計者は、どの程度使用しようとする設計
ライブラリデータがどの程度テストされているかという
ことが明確に理解できる。つまり、検証率は設計をする
上で設計ライブラリデータを利用するの１つの目安にな
る。

【００４０】第２の実施の形態上記の実施形態においては、設計に用いられた設計ライ
ブラリデータが、既に登録済みの場合の説明を行った。
本実施形態ではライブラリデータ保存部２３に未登録な
設計データを登録する場合についての説明を行う。本実
施形態における処理フローを図１２に示す。

【００４１】まず、設計者から設計ライブラリへの登録
の要求を受けた設計ライブラリ制御部１９は設計ライブ
ラリデータ管理部２１に、ライブラリデータ保存部２３
に登録の要求を受けた設計データを登録させる（ステッ
プＳ１２０１）。

【００４２】次に、その設計データの検証結果が存在し
ないならば、設計ライブラリ情報管理部２７は、ライブ
ラリ情報登録管理部３７に検証率を０として設計ライブ
ラリとしての登録作業を終了する（ステップＳ１２０
２，Ｓ１２０６）。また、ステップＳ１２０１で登録し
た設計データの検証情報が存在するならば、検証情報ア
クセス部３５は、その検証情報を抽出する（ステップＳ
１２０２，Ｓ１２０３）。

【００４３】更に、ライブラリ情報登録管理部３７は、
ステップＳ１２０３によって抽出した検証情報より検証
率の計算を行う（ステップＳ１２０４，Ｓ１２０５）。

【００４４】そして、ドキュメント管理部４３は、ドキ
ュメント作成を設計者に促し、設計ライブラリへの登録
作業を終了する（ステップＳ１２０６）。

【００４５】例えば、図３がまだ設計ライブラリとし
て、本設計支援装置に登録されておらず、設計者が図３
を設計ライブラリとしての登録を望んだと仮定する。す
ると、設計ライブラリ制御部１９は、設計ライブラリデ
ータ管理部２１に設計ライブラリデータ保存部２３に、
図３を登録させる（ステップＳ１２０１）。

【００４６】ここで、もし、図３の検証情報が存在しな
いならば、設計ライブラリ情報管理部２７は、ライブラ
リ情報登録管理部３７に図３の検証率を０としてライブ
ラリモジュール情報保存部３１に登録させ、図３の設計
ライブラリとしての登録作業を終了する（ステップＳ１
２０２，Ｓ１２０６）。また、図３の検証情報が存在す
るならば、検証情報アクセス部３５は、検証情報を抽出
する（ステップＳ１２０２，Ｓ１２０３）。

【００４７】更に、ライブラリ情報登録管理部３７は、
検証情報アクセス部３５を用いてステップＳ１２０３に
よって抽出した検証情報より検証率の計算を行う（ステ
ップＳ１２０４，Ｓ１２０５）。検証率は、図５では
１．５６％と示された数字である。

【００４８】そして、ドキュメント管理部４３は、ドキ
ュメント作成を設計者に促し、設計ライブラリへの登録
作業を終了する（ステップＳ１２０６）。

【００４９】以上、２つの実施形態にて説明してきたよ
うに、検証率は、使用しようとする設計ライブラリデー
タがどの程度検証されているかということを明示するこ
とから、設計作業の１つの目安として役立つ。検証率
は、その値が高ければ高いほど設計ライブラリデータの
信頼性が高いことを示すものである。つまり、より多く
のテストデータで、検証されている方が、その機能の信
頼性は高い。しかし、一度の検証によって、すべての検
証を行うことは、非常に手間と時間がかかる。従って、
本実施形態では、ライブラリデータ保存部２３に登録さ
れている設計ライブラリデータが使用された任意の設計
データが検証された際、その検証における設計ライブラ
リデータの検証情報のチェックを行い、過去の検証情報
と比較する。

【００５０】もし、過去の検証で成されなかった検証が
成された場合、過去の検証で成されなかった検証部分の
情報を抽出し、該当する設計ライブラリデータの検証結
果保存部、及び、ステップステップ保存部に保存されて
いる核データの値に追加、更に、検証率の値を更新す
る。

【００５１】従って、検証されるごとに設計ライブラリ
データの動作の精度が増すことから、より正しい機能が
保証される。故に、設計者は、使用する設計ライブラリ
の検証率が確認出来、登録されている設計データの検証
率を確認出来ることになる。すなわち、設計者が、ライ
ブラリに登録されている設計データを検証率を参照しな
がら利用出来る為、設計資産の再利用を円滑に行うこと
が可能となる。例えば、短い時間で設計しなければなら
ない場合は、検証率が高い設計ライブラリデータのみ用
いれば、非常に安心して設計ライブラリデータを用いる
ことが出来るだけでなく、設計ライブラリデータの機能
が保証されているため、デバッグ箇所の目処がつけ易く
なり、設計データの検証作業、及び、修正作業が容易に
出来るようになる。

【００５２】また、設計ライブラリデータが用いられる
度に、検証率を向上することが可能であることから、使
用しながら設計ライブラリの質の向上を進めていくこと
が出来る。

【００５３】

【発明の効果】以上説明してきたように、本発明に係る
設計支援装置及びその方法によれば、豊富なライブラリ
を柔軟に利用することが可能となり、設計期間の短縮に
多いに通じる。

【００５４】更に、検証率は、単純に、設計ライブラリ
のみに、用いるだけでなく、現在設計中の設計データ等
にも同様な方法で用いれば、設計の目安がたてやすくな
るため、設計期間の短縮に通じる等、幅広い応用方法が
考えられる。

【図面の簡単な説明】

【図１】本発明に係る設計支援装置のハードウェア構成
を示したブロック図である。

【図２】本発明に係る設計支援装置の処理手順のフロー
チャートの例を示した図である。

【図３】ライブラリデータ保存部２３に保存されている
設計ライブラリデータの例を示した図である。

【図４】図３のテストデータの例を示した図である。

【図５】図４によって、図３を検証したときの検証情報
の例を示した図である。

【図６】図３の設計ライブラリデータを用いた設計デー
タの例を示した図である。

【図７】図６の検証情報の例を示した図である。

【図８】更新された図４のテストデータの例を示した図
である。

【図９】更新された図５の検証情報の例を示した図であ
る。

【図１０】図６の設計データによって記述された回路構
成を示した図である。

【図１１】図７の検証情報のうち、図３の差分情報を示
した図である。

【図１２】設計ライブラリ保存部への登録処理のフロー
チャートの例を示した図である。

【符号の説明】

１入力部３コマンド解析部５中央制御部７設計データ入力部９設計データ保存部１１検証部１３検証結果保存保存部１５テストデータ生成部１７生成テストデータ保存部１９設計ライブラリ制御部２１設計ライブラリデータ管理部２３設計ライブラリデータ保存部２７設計ライブラリ情報管理部２９ライブラリデータアクセス部３１ライブラリモジュール情報保存部３３差分抽出部３５検証情報アクセス部３７ライブラリ情報登録管理部４３ドキュメント管理部４５ドキュメント保存部４７設計ツール群

Claims

【特許請求の範囲】

【請求項１】少なくとも設計ライブラリに登録された
各ライブラリモジュールの検証の度合を示す検証率を含
むライブラリモジュールの検証情報が保存されるライブ
ラリモジュール情報保存部を有する設計支援装置であっ
て、前記ライブラリモジュールを使用して設計されたＬＳＩ
が検証された際に、前記ライブラリモジュールの検証情
報を抽出する検証情報アクセス部と、前記使用されたライブラリモジュールについての前記ラ
イブラリモジュール情報保存部に格納された検証情報
と、前記検証情報アクセス部により抽出された検証情報
との差分を抽出する差分抽出部と、前記抽出された差分を用いて検証率を算出し、検証率及
び前記ライブラリモジュール情報保存部に保存されたラ
イブラリモジュールの検証情報の登録若しくは更新を行
うライブラリ情報登録管理部と、を有するライブラリ情報管理部を備えることを特徴とす
る設計支援装置。
【請求項２】少なくとも設計ライブラリに登録された
各ライブラリモジュールの検証の度合を示す検証率を含
むライブラリモジュールの検証情報が保存されるライブ
ラリモジュール情報保存部を用いて設計の支援を行う方
法であって、前記ライブラリモジュールを用いて設計されたＬＳＩが
検証された際に、使用された各ライブラリモジュールに
対する検証情報と、この検証情報に対応する前記ライブ
ラリモジュール情報保存部に格納された過去のライブラ
リモジュールの検証情報との差分情報を抽出し、前記差分情報より新たな検証率を算出して検証率を高め
ることで設計に用いるライブラリ情報の性能を向上させ
ることを特徴とする設計支援方法。