発明の名称 アサーション記述自動生成方法および装置 発行国 日本国特許庁（ＪＰ） 公報種別 公開特許公報（Ａ） 公開番号 特開２００７−１１４６７（Ｐ２００７−１１４６７Ａ） 公開日 平成１９年１月１８日（２００７．１．１８） 出願番号 特願２００５−１８８２６７（Ｐ２００５−１８８２６７） 出願日 平成１７年６月２８日（２００５．６．２８） 代理人 【識別番号】１００１１５１０７ 【弁理士】 【氏名又は名称】高松 猛 発明者 細井 大佐 要約 課題 アサーションベース検証において、検証者によるアサーション記述言語仕様の修得を不要にし、人為的なミスを軽減してテスト精度の向上を図る。 解決手段 デザイン仕様書等の設計資料１０１を入力し、デザイン仕様書等の設計資料１０１から入出力記述子および論理条件データを取得し、入出力記述子に論理条件を付加して入出力論理条件ファイルを生成する手段１１０と、別途入力されるアサーション記述言語仕様指定によりアサーション記述言語仕様を選択する手段１１１と、選択された言語仕様に基づき前記入出力論理条件ファイルをアサーション記述に変換する変換部１１３と、変換されたアサーション記述をテキスト形式のファイル１０２として出力する手段１１４とを備えたアサーション記述自動生成装置１００を用い、アサーション記述を人手でよらず自動生成できるようにする。 特許請求の範囲 【請求項１】 デザイン仕様書等の設計資料から入出力記述子および論理条件データを取得し、前記入出力記述子に論理条件を付加して入出力論理条件ファイルを生成し、別途与えられるアサーション記述言語仕様指定に基づき前記入出力論理条件ファイルをアサーション記述に変換し、テキスト形式のアサーション記述ファイルを生成するアサーション記述自動生成方法。 【請求項２】 前記入出力論理条件ファイルからアサーション記述への変換に際しては、各種アサーション記述言語仕様を格納するアサーション言語仕様データベースから前記アサーション記述言語仕様指定に応じたアサーション記述言語仕様を検索し、前記入出力論理条件ファイルをアサーション記述へ変換するために使用する変換スクリプトを生成する請求項２記載のアサーション記述自動生成方法。 【請求項３】 デザイン仕様書等の設計資料から入出力記述子および論理条件データを取得し、前記入出力記述子に論理条件を付加して入出力論理条件ファイルを生成する手段と、別途入力されるアサーション記述言語仕様指定によりアサーション記述言語仕様を選択する手段と、前記選択された言語仕様に基づき前記入出力論理条件ファイルをアサーション記述に変換する変換部と、前記変換されたアサーション記述をテキスト形式のファイルとして出力する手段と、を備えるアサーション記述自動生成装置。 【請求項４】 前記アサーション記述言語仕様を選択する手段は、各種アサーション記述言語仕様を格納するアサーション言語仕様データベースを備え、前記アサーション記述言語仕様指定に応じたアサーション記述言語仕様を前記アサーション言語仕様データベースから検索し、前記変換部がアサーション記述変換に使用する変換スクリプトファイルを生成する請求項３記載のアサーション記述自動生成装置。 【請求項５】 請求項１または２記載のアサーション記述自動生成方法を実行するコンピュータプログラム。 【請求項６】 請求項５記載のコンピュータプログラムを記録した記録媒体。 発明の詳細な説明 【技術分野】 【０００１】 本発明は設計のアサーションベース検証に関し、特にアサーションベース検証におけるアサーション記述を自動生成する方法および装置に関するものである。 【背景技術】 【０００２】 ソフトウェアやハードウェアの設計において、その設計記述が仕様に合っているかどうかをモニタリングするための手法として、アサーションベース検証が近年ますます注目を集めるようになってきている。 【０００３】 アサーションベース検証においては、従来のインプリメンテーションを記述するための言語とは異なる、仕様記述に適したアサーション記述言語を用いてアサーションと呼ばれる仕様記述を行う。アサーションは設計の意図や前提などを記述することができる設計に埋め込まれた仕様であると言える。 【０００４】 アサーションの記述においては、設計対象の特性や機能およびアサーション記述言語仕様を十分理解した上で記述を行う必要がある。図９は従来のアサーション記述方法を示す図である。検証者がデザイン仕様書および設計資料９００から機能仕様を十分理解し、アサーション記述言語仕様９０１に合わせて動作条件を詳細に明示したアサーション記述ファイル９０２を作成している。 【発明の開示】 【発明が解決しようとする課題】 【０００５】 しかしながら、アサーション記述においては、検証者がアサーション記述言語仕様を十分理解した上で、設計対象の特性や機能を十分理解して動作を明確に記述し、動作が生じる条件を詳細に示す必要がある。また、回路規模によっては多くのアサーションを埋め込む必要がある。そのため、アサーション記述ファイル作成に費やす工数が膨大になっている。 【０００６】 本発明は、アサーションベース検証において、アサーション記述を人手でよらず自動生成できるようにすることで、検証者によるアサーション記述言語仕様の修得を不要にし、人為的なミスを軽減し、テスト精度の向上を図ることを目的とする。 【課題を解決するための手段】 【０００７】 本発明は、デザイン仕様書等の設計資料から入出力記述子および論理条件データを取得し、前記入出力記述子に論理条件を付加して入出力論理条件ファイルを生成し、別途与えられるアサーション記述言語仕様指定に基づき前記入出力論理条件ファイルをアサーション記述に変換し、テキスト形式のアサーション記述ファイルを生成するものである。 【０００８】 上記構成によれば、アサーション記述言語仕様指定に応じてデザイン仕様書等の設計資料からアサーション記述ファイルが自動生成されるため、検証者がアサーション言語仕様を修得することが不要となり、アサーション記述ファイル作成工数が大幅に削減でき、また人為的な記述ミスが軽減されるため、テスト精度も向上するとともに記述ミスによる後戻り作業を撲滅することができる。 【０００９】 本発明において、前記入出力論理条件ファイルからアサーション記述への変換に際しては、各種アサーション記述言語仕様を格納するアサーション言語仕様データベースから前記アサーション記述言語仕様指定に応じたアサーション記述言語仕様を検索し、前記入出力論理条件ファイルをアサーション記述へ変換するために使用する変換スクリプトを生成する。 【００１０】 上記構成によれば、各種アサーション記述言語仕様を格納するアサーション言語仕様データベースを備え、アサーション記述言語仕様指定に応じた変換スクリプトが生成されるため、アサーション言語仕様を修得していない検証者でも、ＰＳＬ、ＯＶＡ、ＳＶＡ、またＪａｖａ言語などの各種アサーション記述言語仕様に誤り無く対処することができる。 【００１１】 本発明のアサーション記述自動生成装置は、デザイン仕様書等の設計資料から入出力記述子および論理条件データを取得し、前記入出力記述子に論理条件を付加して入出力論理条件ファイルを生成する手段と、別途入力されるアサーション記述言語仕様指定によりアサーション記述言語仕様を選択する手段と、前記選択された言語仕様に基づき前記入出力論理条件ファイルをアサーション記述に変換する変換部と、前記変換されたアサーション記述をテキスト形式のファイルとして出力する手段とを備える。 【００１２】 上記構成によれば、アサーション記述言語仕様指定に応じてデザイン仕様書等の設計資料からアサーション記述ファイルが自動生成されるため、検証者がアサーション言語仕様を修得することが不要となり、アサーション記述ファイル作成工数が大幅に削減でき、また人為的な記述ミスが軽減されるため、テスト精度も向上するとともに記述ミスによる後戻り作業を撲滅することができる。 【００１３】 本発明において、前記アサーション記述言語仕様を選択する手段は、各種アサーション記述言語仕様を格納するアサーション言語仕様データベースを備え、前記アサーション記述言語仕様指定に応じたアサーション記述言語仕様を前記アサーション言語仕様データベースから検索し、前記変換部がアサーション記述変換に使用する変換スクリプトファイルを生成する。 【００１４】 上記構成によれば、各種アサーション記述言語仕様を格納するアサーション言語仕様データベースを備え、アサーション記述言語仕様指定に応じた変換スクリプトが生成されるため、アサーション言語仕様を修得していない検証者でも、ＰＳＬ、ＯＶＡ、ＳＶＡ、またＪａｖａ言語などの各種アサーション記述言語仕様に誤り無く対処することができる。 【発明の効果】 【００１５】 本発明によれば、デザイン仕様書等の設計資料からアサーション記述ファイルが自動生成されるため、検証者がアサーション言語仕様を修得することが不要となり、アサーション記述ファイル作成工数が大幅に削減でき、また人為的な記述ミスが軽減されるため、テスト精度も向上するとともに記述ミスによる後戻り作業の撲滅を図ることができる。 【発明を実施するための最良の形態】 【００１６】 （実施の形態１） 図１は本発明の実施の形態１に係るアサーション記述自動生成装置の構成を示す図である。図１において、１００はアサーション記述自動生成装置、１０１はデザイン仕様書および設計資料、１０２はアサーション記述ファイル、１０３は外部入力である。さらに、アサーション記述自動生成装置１００において、１１０は入力制御部、１１１は言語仕様選択部、１１２はデータ保存部、１１３は変換部、１１４は出力制御部である。 【００１７】 以上のように構成されたアサーション記述自動生成装置１００の動作を説明する。入力制御部１１０はデザイン仕様書および設計資料１０１から入出力記述子と論理条件データを取得し、データ保存部１１２に保存する。 【００１８】 また、外部入力１０３からアサーション記述言語仕様を指定し、入力制御部１１０により受け付ける。その指定されたアサーション記述言語仕様を入力制御部１１０は言語仕様選択部１１１に通知する。 【００１９】 変換部１１３は、データ保存部１１２で保存されたデータと言語仕様選択部１１１で選択された言語仕様を入力情報として、所望のアサーション記述を生成し出力制御部１１４に転送する。出力制御部１１４は転送されたアサーション記述データをテキスト形式のアサーション記述ファイルとして出力する。 【００２０】 次に入力制御部１１０について説明する。図２は入力制御部１１０の構成を示す図であり、２００、２０１はそれぞれデザイン仕様書および設計資料１０１から取得される入出力記述子ファイルと論理条件データファイルである。 【００２１】 図２において、入出力記述子取得部２１０は入出力表ファイル２００を入力として入出力記述子を全て取得し、入出力記述子ファイル２１１を生成する。論理条件付加部２１２は論理条件データファイル２０１および入出力記述子ファイル２１１を入力として論理条件を取得し、これを該当する入出力記述子に付加し、入出力論理条件ファイル２１３を生成してデータ保存部１１２へ転送する。 【００２２】 図３は入出力表ファイルと論理条件データファイルの具体的な記述例を示す図である。また、図４は上記処理過程で生成される入出力記述子ファイル２１１および入出力論理条件ファイル２１３の具体的な記述例を示す図である。 【００２３】 また図２において、言語仕様種別取得部２１４は外部入力１０３から指定されたアサーション記述言語仕様により言語仕様種別を取得し、言語仕様選択部１１１へ通知する。 【００２４】 次に言語仕様選択部１１１について説明する。図５は言語仕様選択部１１１の構成を示す図であり、５００は変換スクリプト生成部、５０１はアサーション記述言語仕様データベース、５０２は変換スクリプトファイルである。アサーション記述言語仕様データベース５０１には、ＰＳＬ、ＯＶＡ、ＳＶＡ、またＪａｖａ言語などの仕様が収容されている。 【００２５】 変換スクリプト生成部５００は、入力制御部１１０から通知された言語仕様種別により、アサーション記述言語仕様データベース５０１において言語仕様を検索し、アサーション記述変換に使用するユーティリティとして、アサーション記述言語仕様データベース５０１から抽出した言語仕様から変換スクリプトファイル５０２を生成して変換部１１３へ転送する。 【００２６】 次にデータ保存部１１２について説明する。図６はデータ保存部１１２の構成を示す図であり、６１０はデータ管理部、６１１は格納部である。データ管理部６１０は入力制御部１１０より転送された入出力論理条件ファイル２１３を格納部６１１に一時保存する。 【００２７】 その後、アサーション記述変換実行時に一時保存したファイルを再度データ管理部６１０を介して読み出し、アサーション記述変換に使用する入出力論理条件ファイル２１３ａを変換部へ転送する。なお、入出力論理条件ファイル２１３ａは通常は入出力論理条件ファイル２１３と同一である。 【００２８】 次に変換部１１３および出力制御部１１４について説明する。図７は変換部１１３および出力制御部１１４の構成を示す図であり、７１０は変換実行部、７１１はアサーション記述テーブルファイル、７１２はアサーション記述ファイル生成部である。 【００２９】 変換実行部７１０は言語仕様選択部１１１より転送された変換スクリプトファイル５０２を用いて、データ保存部１１２より転送された入出力論理条件ファイル２１３ａを所望のアサーション記述に自動変換し、アサーション記述テーブルファイル７１１を生成し、出力制御部１１４へ転送する。アサーション記述ファイル生成部７１２は転送されたアサーション記述テーブルファイル７１１からテキスト形式のアサーション記述ファイル１０２を生成する。 【００３０】 このように、本実施の形態のアサーション記述自動生成装置によれば、デザイン仕様書および設計資料から指定した言語仕様によるアサーション記述ファイルが人手を伴わず自動生成できるため、アサーション記述ファイル作成工数が大幅に削減でき、また人為的な記述ミスが軽減されるためシナリオミスによる手戻り工数がなくなる。 【００３１】 （実施の形態２） 図８は本発明の実施の形態２に係るアサーション記述自動生成方法を実行するコンピュータプログラムのフロー図である。本実施の形態のアサーション記述自動生成方法は、実施の形態１と同様に、入出力表ファイルおよび論理条件データファイルを入力し、アサーション記述言語仕様を指定し、入出力論理条件ファイルを所望のアサーション記述に自動変換し、アサーション記述ファイルを自動生成するものである。 【００３２】 図８において、まずステップ８００で入出力表ファイルおよび論理条件データファイルを入力し、これからステップ８０１で入出力記述子および論理条件を取得し、入出力論理条件ファイルを生成し、ステップ８０２で一時保存する。 【００３３】 次に、ステップ８０３でアサーション記述言語仕様指定を確認し、ステップ８０４でアサーション言語仕様データベースを検索して所望の言語仕様を抽出し、アサーション記述変換に使用するユーティリティとして変換スクリプトファイルを生成する。 【００３４】 これにより、一時保存した入出力論理条件ファイルをステップ８０５で取り出し、この入出力論理条件ファイルと変換スクリプトファイルを用いてステップ８０６でアサーション記述テーブルファイルを生成し、これからステップ８０７でテキスト形式のアサーション記述ファイルを生成する。 【００３５】 このように、本実施の形態のアサーション記述自動方法によれば、デザイン仕様書および設計資料から指定した言語仕様によるアサーション記述ファイルがコンピュータプログラムで自動生成されるため、アサーション記述ファイル作成工数が大幅に削減でき、効率よく正確なアサーション検証が可能となる。 【図面の簡単な説明】 【００３６】 【図１】本発明の実施の形態１に係るアサーション記述自動生成装置の構成を示す図。 【図２】本発明の実施の形態１に係るアサーション記述自動生成装置の入力制御部の構成を示す図。 【図３】入出力表ファイルと論理条件データファイルの具体的な記述例を示す図。 【図４】入出力記述子ファイルと入出力論理条件ファイルの具体的な記述例を示す図。 【図５】本発明の実施の形態１に係るアサーション記述自動生成装置の言語仕様選択部の構成を示す図。 【図６】本発明の実施の形態１に係るアサーション記述自動生成装置のデータ保存部の構成を示す図。 【図７】本発明の実施の形態１に係るアサーション記述自動生成装置の変換部および出力制御部の構成を示す図。 【図８】本発明の実施の形態２に係るアサーション記述自動生成方法を実行するコンピュータプログラムのフロー図。 【図９】従来のアサーション記述方法を示す図。 【符号の説明】 【００３７】 １００ アサーション記述自動生成装置 １０１ デザイン仕様書および設計資料 １０２ アサーション記述ファイル １０３ 外部入力 １１０ 入力制御部 １１１ 言語仕様選択部 １１２ データ保存部 １１３ 変換部 １１４ 出力制御部 ２００ 入出力表ファイル ２０１ 論理条件データファイル ２１０ 入出力記述子取得部 ２１１ 入出力記述子ファイル ２１２ 論理条件付加部 ２１３、２１３ａ 入出力論理条件ファイル ２１４ 言語仕様種別取得部 ５００ 変換スクリプト生成部 ５０１ アサーション記述言語仕様データベース ５０２ 変換スクリプトファイル ６１０ データ管理部 ６１１ 格納部 ７１０ 変換実行部 ７１１ アサーション記述テーブルファイル ７１２ アサーション記述ファイル生成部 ７１３ アサーション記述ファイル ８００〜８０７ 処理ステップ ９００ デザイン仕様書および設計資料 ９０１ アサーション記述言語仕様 ９０２ アサーション記述ファイル