【手続補正書】
【提出日】平成18年11月6日(2006.11.6)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
構成可能なハードウェア・システムを１つ又はそれ以上のユニットの組に自動的に分解し、
前記ユニットの組の各々についてテストベンチを作成し、
前記構成可能なハードウェア・システムを検証する前に、前記ユニットの組の各々を検証する、
ステップを含み、
前記構成可能なハードウェア・システムが、パラメータの組について指定された値を用いることによって設計作成時にカスタマイズされ、該構成可能なハードウェア・システムの第１のインスタンスの機能が、該構成可能なハードウェア・システムの第２のインスタンスのものと異なることを特徴とするコンピュータにより実施される方法。
【請求項２】
前記ユニットの組が構成可能なハードウェア・ライブラリにおいて定義され、前記構成可能なハードウェア・システムが構成データ・ストレージ・ユニットにおいて指定されることを特徴とする請求項１に記載のコンピュータにより実施される方法。
【請求項３】
前記構成データが階層言語で表され、前記構成可能なハードウェア・ライブラリがハードウェア設計言語（ＨＤＬ）で表されることを特徴とする請求項２に記載のコンピュータにより実施される方法。
【請求項４】
前記テストベンチが、各ユニット接続に取り付けられたモデルを含み、前記モデルは、前記ユニットのパラメータに従って該ユニットとの間でデータを送受信することを特徴とする請求項１に記載のコンピュータにより実施される方法。
【請求項５】
１つ又はそれ以上の階層レベルからなる構成可能なハードウェア・システム設計階層の第１のレベルにおける１つ又はそれ以上のユニットの組を、前記ハードウェア・システム設計階層の最も低いレベルの１つ又はそれ以上のユニットの組に自動的に分解し、
前記ハードウェア・システム設計階層の各階層レベルのユニットを、前記最も低いレベルから前記第１のレベルまで連続的に個別に検証し、テストベンチが一連のレベルの各々の各ユニットについて動的に構築されるようになる、
ステップを含み、
前記構成可能なハードウェア・システムが設計作成時にカスタマイズされるようになったことを特徴とするコンピュータにより実施される方法。
【請求項６】
前記自動的に分解するステップが、構成データ及び構成可能なハードウェア・ライブラリのコンテンツに基づいていることを特徴とする請求項５に記載のコンピュータにより実施される方法。
【請求項７】
前記構成データが、前記構成可能なハードウェア・システム設計レベルの組の各々のユニットについてのパラメータを指定することを特徴とする請求項６に記載のコンピュータにより実施される方法。
【請求項８】
前記構成可能なハードウェア・ライブラリが、前記階層レベルの組の各々のユニットを定義することを特徴とする請求項６に記載のコンピュータにより実施される方法。
【請求項９】
構成データの組を、構成可能なハードウェア・ライブラリから選択された対応する構成可能なユニットの定義にマッピングし、１つ又はそれ以上の構成可能なハードウェア・ユニットの組を生成し、
前記構成データに基づいて、前記構成可能なハードウェア・ユニットの組の各々についてテストベンチを動的に生成し、
対応するテストベンチを用いて前記構成可能なハードウェア・ユニットの組の各々について検証し、
検証された前記構成可能なハードウェア・ユニットの組を構成可能なハードウェア・システム内に統合し、
設計作成環境における機能論理検証の際に、前記構成可能なハードウェア・システムを検証する、
ステップを含むことを特徴とするコンピュータにより実施される方法。
【請求項１０】
前記テストベンチ上で実行される試験を生成し、
前記試験を実行するためのスクリプトを生成し、
分析ツールへの入力を生成する、
ステップをさらに含むことを特徴とする請求項９に記載のコンピュータにより実施される方法。
【請求項１１】
前記対応する構成可能なユニットの定義がハードウェア設計言語（ＨＤＬ）で表されることを特徴とする請求項９に記載のコンピュータにより実施される方法。
【請求項１２】
前記構成データがツール制御言語（ＴＣＬ）で表され、該構成データは、前記構成可能なハードウェア・ユニットの組の各々についてのパラメータを定義することを特徴とする請求項９に記載のコンピュータにより実施される方法。
【請求項１３】
前記テストベンチが前記ユニットの各通信経路に接続されたモデルを含むことを特徴とする請求項９に記載のコンピュータにより実施される方法。
【請求項１４】
構成可能なハードウェア・システムを自動的に生成、分解、及び検証するための生成及び検証ユニットと、
構成可能なハードウェア・システム設計を定義するための構成データを含み、前記生成及び検証ユニットに結合された構成データ・ストレージ・ユニットと、
ハードウェア・システムを統合し、分解するための構成可能なハードウェア・ユニットの定義を格納するための、前記生成及び検証ユニットに結合された構成可能なハードウェア・ライブラリと、
を備えることを特徴とする装置。
【請求項１５】
前記構成可能なハードウェア・ユニットの定義が、ハードウェア設計言語（ＨＤＬ）で表されることを特徴とする請求項１４に記載の装置。
【請求項１６】
前記構成データが階層言語で表されることを特徴とする請求項１４に記載の装置。
【請求項１７】
前記生成及び検証ユニットが、ハードウェア設計階層内にユニット及びシステムを生成するための生成モジュールと、前記ユニット及び前記システムを分解するための分解モジュールと、該ユニット及び該システムについてテストベンチを構築し、該ユニット及び該システムを検証するための検証モジュールとを含むことを特徴とする請求項１４に記載の装置。
【請求項１８】
前記ユニット及びシステムがＨＤＬで表されることを特徴とする請求項１７に記載の装置。
【請求項１９】
機械によって実行されるとき、前記機械に、
構成可能なハードウェア・システムを１つ又はそれ以上のユニットの組に自動的に分解し、
前記ユニットの組の各々についてテストベンチを作成し、
前記構成可能なハードウェア・システム設計を検証する前に前記ユニットの組の各々を検証する、
ステップを含む動作を実行させる命令を提供し、
前記構成可能なハードウェア・システムが、パラメータの組について指定された値を用いることによって設計作成時にカスタマイズされ、該構成可能なハードウェア・システムの第１のインスタンスの機能が、該構成可能なハードウェア・システムの第２のインスタンスのものと異なることを特徴とする機械可読媒体。
【請求項２０】
前記ユニットの組が構成可能なハードウェア・ライブラリにおいて定義され、前記システムが構成データ・ストレージ・ユニットにおいて指定されることを特徴とする請求項１９に記載の機械可読媒体。
【請求項２１】
前記構成データが階層言語で表され、前記構成可能なハードウェア・ライブラリがハードウェア設計言語（ＨＤＬ）で表されることを特徴とする請求項２０に記載の機械可読媒体。
【請求項２２】
前記テストベンチが、各ユニット接続に取り付けられたモデルを含み、前記モデルは、前記ユニットのパラメータに従って該ユニットとの間でデータを送受信することを特徴とする請求項１９に記載の機械可読媒体。
【請求項２３】
機械によって実行されるとき、前記機械に、
１つ又はそれ以上の階層レベルからなる構成可能なハードウェア・システム設計階層の第１のレベルにおける１つ又はそれ以上のユニットの組を、前記ハードウェア・システム設計階層の最も低いレベルの１つ又はそれ以上のユニットの組に自動的に分解し、
前記ハードウェア・システム設計階層の各階層レベルのユニットを、前記最も低いレベルから前記第１のレベルまで連続的に個別に検証し、テストベンチが一連のレベルの各々の各ユニットについて動的に構築されるようになる、
ステップを含む動作を実行させる命令を提供し、
前記構成可能なハードウェア・システムが設計作成時にカスタマイズされたことを特徴とする機械可読媒体。
【請求項２４】
機械によって実行されるとき、前記機械に、
構成データの組を、構成可能なハードウェア・ライブラリから選択された対応する構成可能なユニットの定義にマッピングし、１つ又はそれ以上の構成可能なハードウェア・ユニットの組を生成し、
前記構成データに基づいて、前記構成可能なハードウェア・ユニットの組の各々についてテストベンチを動的に生成し、
対応するテストベンチを用いて前記構成可能なハードウェア・ユニットの組の各々について検証し、
検証された前記構成可能なハードウェア・ユニットの組を構成可能なハードウェア・システム内に統合し、
設計作成環境における機能論理検証の際に、前記構成可能なハードウェア・システムを検証する、
ステップを含む動作を実行させる命令を提供する機械可読媒体。
【請求項２５】
機械によって実行されるとき、前記機械に、
構成データ及び構成可能なハードウェア・ライブラリに基づいて、より高いレベルの構成可能なハードウェア設計階層からなる構成可能なハードウェア・システムから分解された、より低いレベルの構成可能なハードウェア設計階層からなる個々のユニットについて１つ又はそれ以上のテストベンチの組を構築し、
システム・テストベンチを構築し、
前記個々のユニットを検証した後で前記システムを検証する、
ステップを含む動作を実行させる命令を提供する機械可読媒体。