(57)【要約】【課題】前段論理回路ブロックの処理結果に期待値との不一致が発生してもシミュレーションを停止せず、後段論理回路ブロックの検証を継続して実行することによりシミュレーション実行時間、回数を削減する。【解決手段】複数段の論理回路ブロックから構成され、前段から逐次データ処理を行って後段に処理結果を受け渡して処理を行う論理回路の論理検証において、前段の処理結果の期待値データとの比較部を有し、期待値との不一致があった場合の回数を数え、指定回数以上のメッセージを抑制するメッセージ出力部と、後段に受け渡す信号値を、期待値で置き換える信号値固定部を設けたシミュレーションシステム【選択図】        図１
2004355433.tif 000002
【特許請求の範囲】
【請求項１】
連続する複数段のブロックから構成される論理回路の動作確認のシミュレーションにおいて、各ブロックの出力結果と各ブロックの期待値を逐次比較を行う比較部と、後段ブロックに受け渡す当該信号値を、期待値データに置き換える信号値固定部を設けたことを特徴とするシミュレーションシステム。
【請求項２】
請求項１において、期待値の出現した回数を数え、不一致の個所、時刻、不一致の値をあらわすエラーメッセージを指定した数を超えて出力しないように抑制するメッセージ出力部を備えたことを特徴とするシミュレーションシステム。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、論理回路の論理動作を検証するためのシミュレーションシステムであり、特に信号値を逐次処理する複数段の論理回路ブロックで構成される論理回路の動作確認のシミュレーションに関するものである。
【０００２】
【従来の技術】
従来、論理回路ブロックを検証するためのシミュレーションシステムでは、出力信号値と期待値をそれぞれ比較し一致または不一致を検出する（例えば、特許文献１を参照）。
【０００３】
図３は、連続する複数段の論理回路ブロックを検証するためのシミュレーションシステムの従来例１における概念を示すブロック図である。図において、論理回路は論理回路ブロック３３、３４の２ブロックで構成されている例を示している。論理回路は初段に位置する論理回路ブロック３３にクロック毎に入力信号値データ３１を与えることにより、論理回路ブロック３３の処理結果が逐次、論理回路ブロック３４の入力となり、これを入力とする論理回路ブロック３４の処理結果が最終的処理結果である出力信号データ３６を生成する構成となっている。期待値３９、４０は、入力信号値データ３１を入力とした場合に論理回路ブロック３３、３４が処理を行ったときに得られるであろう正しい信号値を格納した期待値ファイルである。期待値比較部３７、３８は論理回路ブロック３３、３４の出力信号値と期待値３９、４０をそれぞれ比較し一致または不一致を検出する。この期待値比較部３７，３８にはブロックの出力結果が期待値と一致しなかった場合、不一致の発生時刻、不一致の場所、値を示すエラーメッセージを出力するメッセージ出力部を含んでいる。
【０００４】
図４に示す別の従来例２として、複数段の論理ブロックを検証するために、各論理ブロック毎にテストベンチ４１を作成し、おのおの入力信号を入力し期待値比較を行う方法もある。
【０００５】
【特許文献１】
特開平６−１２４６８号公報
【０００６】
【発明が解決しようとしている課題】
このような構成の従来例１の論理シミュレーションシステムは、シミュレーション実行時に前段に位置する論理ブロックに論理的不具合があり期待値との不一致が発生した場合、続く論理ブロックの入力信号値としては、前段の論理ブロックの出力値である誤った値が入力されることとなり、以降後段すべての論理ブロックは論理的に正しい処理が行われたかどうかに関わらず出力が期待値データと不一致を起こすことになるとともに、不一致を表すエラーメッセージが、本来の問題となった論理ブロック以外からも膨大に出力することとなるため、ある一定の不一致の発生回数でシミュレーションを停止させ、不一致の原因を取り除く必要がある。また、より前段の論理ブロックで不一致が発生していた場合は、後段以降のシミュレーションの出力は正しい入力での期待値比較が行われていないため、論理的に正しいかどうかの判断ができず、不一致の発見された前段論理ブロックの修正後、再度シミュレーションする必要があり、さらに後段の論理ブロックで新たな不一致が発見されることが起こり、シミュレーションの実行と回路修正作業の回数が増えるという問題があった。
【０００７】
従来例２においては、各論理ブロックを別々に信号入力部と期待値比較部を持つ方式を表している。この場合テストベンチを論理ブロックの数と同数の作成しなければならない点や、各論理ブロック毎の検証終了後、最終的には従来例１と同様な論理回路全体でのテストベンチを作成し動作確認の必要があるとともに、この時点で各ブロック間の信号接続や信号の受け渡し方法に問題が発見されることもあった。
【０００８】
【課題を解決するための手段】
この発明は、上記目的を達成するため、１つのテストベンチにおいて前段の論理回路ブロックからの出力値であり、後段の論理回路ブロックに受け渡す信号値を、期待値に置き換える手段を設けるとともに、期待値と不一致が発生したことを知らしめるためのメッセージ出力を、予め指定した回数以上出力しない手段を設けるものである。
【０００９】
【発明の実施の形態】
以下、本発明における実施例を図面に基づいて具体的に説明する。
【００１０】
図１は本発明における論理シミュレーションシステムの構成例を示したブロック図である。図は２段の論理回路ブロック４、５から構成されており、論理回路は初段に位置する論理回路ブロック４にクロック毎に入力信号値データ２を与えることにより、論理回路ブロック４の処理結果が逐次、論理回路ブロック５の入力となり、これを入力とする論理回路ブロック５の処理結果が最終的処理結果である出力信号データ７を生成する構成となっている。図２は論理回路ブロック４からの論理ブロック５への信号値データの受け渡しの関係を示したタイミング図である。信号２１はクロック２０の立ち上がりエッジ２３に同期して、デルタ時間後２４に論理回路ブロック４の処理が確定して処理結果の値２７が出力されている。この処理結果の値２７を次のクロックの立ち上がりエッジ２６のタイミングで論理回路ブロック５が取り込み処理を行うことを表している。前記図１の期待値比較手段８は、クロックの立下りエッジ２５のタイミングで期待値データファイル１３から該当する期待値を取り出し信号値２７と比較を行う。信号２１は比較結果が一致した時の状態を表しており、論理回路ブロック４の出力に変化を加えないことを示している。信号２２は、信号２１と同様に論理回路ブロック４から論理回路ブロック５への信号を示しているが、ここでは期待値比較の結果が不一致の場合を表している。信号２２は、クロック２０の立ち上がりエッジ２３に同期してデルタ時間後２４に論理回路ブロック４の処理が確定して値２８を出力している。この値２８をクロック２０の立下りエッジ２５のタイミングで期待値比較手段８が期待値１３と信号値２８を比較し不一致であることを判定する。不一致の時、信号値固定手段９は信号２２の期待値と一致していない信号値２８を期待値１３より入手した、期待される値２９に信号値を上書きする。論理回路ブロック５はクロック２０の立ち上がりエッジ２６で信号値２９を受け取り処理することにより、論理回路ブロック５は期待値１５の値の得られる正しい入力値を用いた、シミュレーションが可能となり期待値比較手段１０での比較が有効なものとなる。一方、期待値比較手段８での不一致の情報は、メッセージ出力手段よりエラーメッセージとして外部に知らされるが、メッセージ出力抑制手段１２は不一致の起きた回数を数え、シミュレーションに先立って予め設定されたメッセージ最大出力回数１４の値と比較し、これを超えた場合は外部へのメッセージの通知を抑制する。ただし、シミュレーション終了時に不一致の発生した総数を通知することは可能である。また、信号値固定手段９における信号値固定がシミュレーション速度に与えるオーバーヘッドが問題にならない場合は、期待値比較手段８の比較結果によらず常に期待値１３の値で固定する構成をとることも可能である。
【００１１】
【発明の効果】
以上、説明したように本発明の論理シミュレーションシステムによれば、前段の論理回路ブロックで期待値との不一致が発生した場合においても、後段の論理回路ブロックにおいて誤った入力信号値による擬似的な期待値との不一致エラーメッセージを排除し期待値比較が正常に行われるとともに、不一致のあった論理ブロックからの膨大なメッセージが抑制されるためシミュレーションを中断させる必要がなく、複数段の論理ブロックの検証が１つのテストベンチでのシミュレーションで可能となり、回路修正作業とシミュレーションの繰り返し回数が減ることになる。
【図面の簡単な説明】
【図１】本発明の実施例を示すブロック図である。
【図２】本発明の信号値固定手段の動作を示す波形図である。
【図３】第１の従来例を示すブロック図である。
【図４】第２の従来例を示すブロック図である。
【符号の説明】
３０，４１  テストベンチ
３１，４２  入力信号値
３６，４６  出力信号値
３２，４３  信号値入力手段
６，３５，４５  信号値出力手段
４，５，３３，３４，４４  論理回路ブロック
８  期待値比較手段
９  信号値固定手段
１０，３７，３８，４７  期待値比較手段およびメッセージ出力手段
１１  メッセージ出力手段
１２  メッセージ出力抑制手段
１４  メッセージ最大出力回数値
１３，１５，３９，４０，４８  期待値
２０  クロック信号
２３，２６  立ち上がりエッジ
２５  立下りエッジ
２４  デルタ遅延
２１，２２  論理ブロック間信号
２７，２９  期待値と一致する値
２８  期待値と一致しない値
【図１】
2004355433.tif 000003
【図２】
2004355433.tif 000004
【図３】
2004355433.tif 000005
【図４】
2004355433.tif 000006