(57)【要約】【課題】命令シミュレータが生成する試験プログラムの期待値と、論理回路が出力する試験プログラムの実行値を比較し、論理回路の不良の有無を判別する論理回路の設計検証において、発見された不良が元々見つかっていて修正していない不良か、新たに見つかった不良か、また論理の修正が成功したのかを見極めるのが困難である。また論理修正の過程で新たに作り込んでしまった不良を明確に発見するのが困難である。そして不良１件１件について数値的に管理する手段が無い。【解決手段】比較処理についてエラーが発生した箇所の表示、エラー件数の集計機能、比較結果保存機能を追加する。最新の比較結果と保存されている比較結果の比較と結果算出機能も提供する。これによりエラー箇所発見の容易化、新たなエラーの発見や論理の修正箇所の動作チェックの容易化、及び数値による不良管理が可能となる。【選択図】  図１
2005018502.tif 000002
【特許請求の範囲】
【請求項１】
命令シミュレータが生成する試験プログラムの期待値と、論理回路が出力する試験プログラムの実行値を比較する事により論理回路の不良の有無を判別する論理回路の設計検証において、これらの結果の差分を複数世代保管し世代間を比較し、「前回ＮＧで今回ＯＫ」、「前回ＯＫで今回ＮＧ」、「前回・今回共にＮＧ」となった箇所の表示とおのおのの件数／全体項目数表示を行なうシステム。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、論理シミュレータを用いた論理回路の設計検証（以下論理検証）に係る。
【０００２】
【従来の技術】
従来、論理検証の手段として、仕様通りに作られた命令シミュレータ上で試験プログラムを実行して得られた期待値データと、検証対象となる論理回路を搭載した論理シミュレータ上で試験プログラムを実行して得られた実行値データを比較して全て一致しているかしていないかを見る事により、一致すれば検証範囲は不良なし、不一致ならば検証範囲に不良ありと判断していた。
【０００３】
期待値データと論理シミュレータ上で得られた実行値データを比較して論理回路の不良を摘出する技術としては、特許文献１に記載された技術が知られている。
【０００４】
【特許文献１】
特開平５−１８１９２７号公報
【０００５】
【発明が解決しようとする課題】
上述した従来の方法では、論理に不良があるかないかは判別出来るが、その不良が元々見つかっていて修正していない不良か、新たに見つかった不良か、また論理の修正が成功したのかを見極めるのが困難であった。また論理修正の過程で新たに作り込んでしまった不良を明確に発見するのが困難であった。そしてこれらの不良１件１件について数値的に管理する手段が無かった。
【０００６】
【課題を解決するための手段】
比較処理について、エラーが発生した箇所の表示、エラー件数の集計機能、比較結果保存機能を追加する。また最新の比較結果と保存されている比較結果の比較と結果算出機能も提供する。これによりエラー箇所発見の容易化、新たなエラーの発見や論理の修正箇所の動作チェックの容易化、及び数値による不良管理が可能となる。
【０００７】
【発明の実施の形態】
論理検証進捗管理システムについて説明する。
【０００８】
図１は本発明の論理検証進捗管理システムの構成図である。試験プログラム１０１を、仕様通りに作られた命令シミュレータ１０２で実行した出力結果が期待値データ１０４となる。一方、検証対象論理回路１０３を搭載した論理シミュレータで試験プログラム１０１を実行すると実行値データ１０５が出来る。
【０００９】
比較処理１０６は期待値データ１０４と実行値データ１０５の内容を比較して、今回の比較結果１０７を生成する。生成する際に前回の比較結果ファイル１０８が保存されていない場合は新規に実行した試験プログラムとして、現在の状況表示１１０を行なう。現在の状況表示１１０では、比較結果の表示及び全ＮＧ件数の算出と表示を行なう。その後今回の比較結果１０７を前回の比較結果ファイル１０８へ保存する。
【００１０】
既に前回の比較結果ファイル１０８が保存されている場合は現在の状況表示１１０として比較結果の表示及び全ＮＧ件数の算出と表示を行なった後、比較・結果抽出・統計処理１０９を行なう。
【００１１】
比較・結果抽出・統計処理１０９では、今回の比較結果１０７と前回の比較結果１０８を比較し、前回ＮＧで今回ＯＫとなった箇所、前回ＮＧで今回もＮＧの箇所、前回ＯＫで今回ＮＧとなった箇所と、それぞれの統計情報として該当数の算出を行ない、おのおのの項目を表示する。これが前回との差分表示１１１となる。
【００１２】
図２は試験プログラム１０１の例である。試験プログラム１０１とは、特定の機能に対しそれを動作させる命令を発行し結果を得るプログラムである。
【００１３】
図３は期待値データ１０４である。試験プログラム１０１を命令シミュレータ１０２で実行して得られるデータである。
【００１４】
図４は実行値データ１０５である。試験プログラム１０１を検証対象論理回路１０３を搭載した論理シミュレータで実行して得られるデータである。
【００１５】
図５は今回の比較結果１０７である。期待値データ１０４と実行値データ１０５を比較し、違っている箇所を洗い出す。
【００１６】
図６は比較・結果抽出・統計処理１０９の概略図である。前回の比較結果と今回の比較結果の差分を取り、「前回ＮＧで今回ＯＫの箇所」、「前回ＯＫで今回ＮＧの箇所」、「前回・今回共にＮＧの箇所」を洗い出す。処理手順を図７に示す。
【００１７】
図７は比較・結果抽出・統計処理１０９の処理手順である。始めに現在の状況表示として、比較結果表示と全ＮＧ件数の算出・表示を行なう（処理ステップ７０１、７０２）。この処理は図１の現在の状況表示１１０に相当する。次に前回の比較結果が保存されているかを調べる（処理ステップ７０３）。もしなければ、今回新規に実行した試験プログラムであると判断し、今回の比較結果を「前回の比較結果ファイル」へ保存して終了する（処理ステップ７０４）。
【００１８】
もしあった場合は、今回の比較結果と前回の比較結果を比較し（処理ステップ７０５）、「前回ＮＧで今回ＯＫ」の箇所の抽出と件数算出（処理ステップ７０６）、「前回ＯＫで今回ＮＧ」の箇所の抽出と件数算出（処理ステップ７０７）、「前回・今回共にＮＧ」の箇所の抽出と件数算出（処理ステップ７０８）を行ない、結果をまとめて表示し（処理ステップ７０９）、最後に今回の比較結果を「前回の比較結果ファイル」へ保存して終了する（処理ステップ７１０）。
【００１９】
図８は現在の状況表示１１０である。今回ＮＧだった箇所、及び全ＮＧ件数を表示する。
【００２０】
図９は前回との差分表示１１１である。「前回ＮＧで今回ＯＫ」、「前回ＯＫで今回ＮＧ」、「前回・今回共にＮＧ」の各項目について指摘箇所と件数を表示する。
【００２１】
【発明の効果】
本発明により、論理検証の進捗管理が数値で行なえる様になる。また見つかった論理不良が、元々見つかっていて修正していない不良か、新たに見つかった不良か、論理の修正過程で新たに作り込んでしまった不良か、また論理の修正が成功したのかを見極めるのが容易となる。また論理修正の過程で新たに作り込んでしまった不良が明確に表示される為、発見が容易となる。
【図面の簡単な説明】
【図１】本発明の論理検証進捗管理システムの構成図である。
【図２】試験プログラム１０１を説明する為の図である。
【図３】期待値データ１０４を説明する為の図である。
【図４】実行値データ１０５を説明する為の図である。
【図５】今回の比較結果１０７を説明する為の図である。
【図６】比較・結果抽出・統計処理１０９の概略を説明する為の図である。
【図７】比較・結果抽出・統計処理１０９の処理手順を示す図である。
【図８】現在の状況表示１１０を説明する為の図である。
【図９】前回との差分表示１１１を説明する為の図である。
【符号の説明】
１０１…試験プログラム、１０２…命令シミュレータ（仕様）、１０３…検証対象論理回路、１０４…期待値データ、１０５…実行値データ、１０６…比較処理、１０７…今回の比較結果、１０８…前回の比較結果ファイル、１０９…比較・結果抽出統計処理、１１０…現在の状況表示、１１１…前回との差分表示。
【図１】
2005018502.tif 000003
【図２】
2005018502.tif 000004
【図３】
2005018502.tif 000005
【図４】
2005018502.tif 000006
【図５】
2005018502.tif 000007
【図６】
2005018502.tif 000008
【図７】
2005018502.tif 000009
【図８】
2005018502.tif 000010
【図９】
2005018502.tif 000011