JP2008204371A - Logic verification support system - Google Patents
Logic verification support system Download PDFInfo
- Publication number
- JP2008204371A JP2008204371A JP2007042496A JP2007042496A JP2008204371A JP 2008204371 A JP2008204371 A JP 2008204371A JP 2007042496 A JP2007042496 A JP 2007042496A JP 2007042496 A JP2007042496 A JP 2007042496A JP 2008204371 A JP2008204371 A JP 2008204371A
- Authority
- JP
- Japan
- Prior art keywords
- state
- verification
- contradiction
- transition
- information
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Withdrawn
Links
Images
Abstract
Description
本発明は、論理回路の状態遷移グラフ中で矛盾する箇所を検出するのみでなく、一旦検出された矛盾箇所を記憶領域に保持しておき、動作として存在してはならない状態についても検証項目として明示的に記述する論理検証支援システムに関する。 The present invention not only detects inconsistent portions in the state transition graph of the logic circuit, but also stores the inconsistent portions once detected in the storage area, and also checks the states that should not exist as operations as verification items. It relates to a logic verification support system that is explicitly described.
従来の論理回路の論理検証方法では、図1に示すように、論理回路を検証する検証技術者2が自然言語で記載された仕様書1の内容を読んで理解して、論理回路への入力に対する動作の期待値を自然言語で記述した表形式で検証項目3を作成していた。図1中、A及びBは論理回路への入力データの種別を示し、(α)及び(β)は論理回路の処理内容を示している。
In the conventional logic circuit logic verification method, as shown in FIG. 1, a
例えば、検証技術者2は、仕様書1で「Aが入力されたら、(α)処理、Bが入力されたら、(β)処理」などの記述を理解し、「Aを回路の入力として論理シミュレーション」した場合、「(α)の処理が実施されたことを確認」し、「Bを回路の入力として論理シミュレーション」した場合、「(β)の処理が実施されたことを確認」する等を記述した検証項目の一覧を作成していた。
上述したような従来の論理回路の論理検証方法では、検証技術者2が経験に基づいて「どのような検証をすべきか」を判断して検証項目を手作業で書き出していた。このような場合、自然言語等で記載された文書による仕様書1が与えられると、検証技術者2は、例えば、AやBがあらゆる想定可能な順序で入力された場合を考慮した全組合せについて十分検討したか否かの判断が検証技術者2の経験に依存しており、検討が十分であったか否かの確認は容易ではなかった。その過程で、検証技術者2は経験に基づいて矛盾箇所を発見した場合、修正するための所定の手続きを行い、修正された仕様書1を再度チェックしていた。
In the conventional logic verification method of the logic circuit as described above, the
その結果、このような経験に基づく矛盾の抽出及び検証項目の抽出では、検証すべき項目を抽出しきれないまま検証作業を完了させてしまい、論理回路の提供先で検証項目抜けなどに起因する論理障害が発生すると言った問題を招くこともあった。 As a result, in the extraction of contradiction based on such experience and the extraction of verification items, the verification work is completed without extracting the items to be verified, which is caused by the lack of verification items at the logic circuit provider. In some cases, a logic failure occurred.
よって、本発明の目的は、論理回路の状態遷移グラフ中で矛盾する箇所を検出するのみでなく、一旦検出された矛盾箇所を記憶領域に保持しておき、動作として存在してはならない状態についても検証項目として明示的に記述する論理検証支援システムを提供することである。 Therefore, the object of the present invention is not only to detect inconsistent portions in the state transition graph of the logic circuit, but also to keep the detected inconsistent portions in the storage area and should not exist as an operation. Is to provide a logic verification support system that is explicitly described as a verification item.
上記課題を解決するため、本発明は、論理回路を検証するための検証項目を作成する論理検証支援システムであって、前記論理回路の動作における該論理回路の状態を示す状態情報毎に、遷移元状態から遷移先状態の遷移を示す状態遷移情報によって示される遷移条件が他状態遷移情報の遷移条件に含まれる場合に矛盾箇所として抽出する矛盾抽出手段を有するように構成される。 In order to solve the above problems, the present invention provides a logic verification support system for creating a verification item for verifying a logic circuit, wherein a transition is made for each status information indicating the status of the logic circuit in the operation of the logic circuit. When the transition condition indicated by the state transition information indicating the transition from the original state to the transition destination state is included in the transition condition of the other state transition information, it is configured to have a contradiction extraction means for extracting as a contradiction part.
上記手段を機能としてコンピュータに実行させるためのプログラム、そのプログラムを記憶したコンピュータ読み取り可能な記憶媒体、及び、上記手段を機能としてコンピュータが処理する方法とすることもできる。 A program for causing a computer to execute the above means as a function, a computer-readable storage medium storing the program, and a method for the computer to process the above means as a function can be used.
本願発明は、論理回路の状態遷移グラフ中で矛盾する箇所を検出するのみでなく、一旦検出された矛盾箇所を記憶領域に保持しておき、動作として存在してはならない状態についても検証項目として明示的に記述することが可能となる。 The present invention not only detects the contradictory part in the state transition graph of the logic circuit, but also stores the contradictory part once detected in the storage area, and also verifies the state that should not exist as an operation. It can be described explicitly.
以下、本発明の実施の形態を図面に基づいて説明する。 Hereinafter, embodiments of the present invention will be described with reference to the drawings.
図2は、本発明の一実施例に係る論理検証システムの機能構成を示す図である。図2において、論理検証システム100は、仕様記述作成部10と、検出項目抽出部30と、テストデータ作成部80と、論理シミュレータ90とを有する。
FIG. 2 is a diagram illustrating a functional configuration of the logic verification system according to the embodiment of the present invention. In FIG. 2, the logic verification system 100 includes a specification description creation unit 10, a detection item extraction unit 30, a test
論理検証システム100は、1つのコンピュータ装置で実現されてもよいし、2又は3のコンピュータ装置で実現されてもよい。検出項目抽出部30の全体は、1つのコンピュータ装置で運用されることが望ましい。複数のコンピュータ装置で実現する場合には、各処理部10、30、80及び90で作成されたデータを外部記憶媒体に格納し、各処理部で必要に応じて読み込むようにすればよい。又は、複数のコンピュータ装置をネットワークなどで互いに接続可能な構成とすればよい。
The logic verification system 100 may be realized by one computer device, or may be realized by two or three computer devices. The entire detection item extraction unit 30 is preferably operated by one computer device. When implemented by a plurality of computer devices, the data created by the
仕様書記述作成部10は、検証技術者2が論理回路仕様書又は規格書などに基づいて、所定の記述形式で論理回路への入力データ及び論理回路の機能(状態遷移など)を入力した内容から仕様記述データ10aを作成する。
The specification description creating unit 10 is a content that the verification engineer 2 inputs the input data to the logic circuit and the function (state transition, etc.) of the logic circuit in a predetermined description format based on the logic circuit specification or standard. To create
検証項目抽出部30は、仕様書記述作成部10によって作成された仕様記述データ10aを用いて検証項目を抽出して検証項目情報37aを作成する処理部であり、仕様記述解析部31と、状態遷移グラフ作成部32と、矛盾抽出部34と、検証項目作成部37とを有する。
The verification item extraction unit 30 is a processing unit that extracts verification items using the
仕様記述解析部31は、仕様記述データ10aを読み込んで解析し、仕様記述データ10aに基づいて状態リスト30aと入力データ30bとを生成して記憶領域に格納する。
The specification
状態遷移グラフ作成部32は、状態リスト30aと入力データ30bとを用いて、状態を示す状態構造体32aと状態遷移を示すリンク構造体23bとを作成して、これら状態構造体32aとリンク構造体23bとに基づいて論理回路の機能を表す状態遷移グラフデータを作成する。また、状態遷移グラフ作成部32は、検証技術者2によって仕様記述データ10aが修正されることによって、使用されなくなった状態遷移部分について「使用しない」マーク(×)を付加して状態遷移グラフデータを更新する。
The state transition
矛盾抽出部34は、仕様記述データ10aに基づく論理回路の状態遷移に矛盾がないかを解析する処理部であり、矛盾があった場合に矛盾情報構造体34aを作成する矛盾情報作成部35を有する。矛盾抽出部34は、状態遷移グラフ作成部32によって作成された状態遷移グラフデータ32aから論理的な矛盾がないかを解析し、矛盾を検出すると、仕様矛盾項目情報34aによって状態遷移の矛盾を示す仕様矛盾項目ファイル34fを作成して記憶領域に出力し、そして、検証技術者2に矛盾が存在することを通知する。
The
検証技術者2は、仕様矛盾項目ファイル34fを解析して、仕様記述作成部10を実行させて、仕様記述データ10aを修正して更新する。
The
検証項目作成部37は、検証すべき項目を示す検証項目構造体37aを作成して、検証項目構造体37aに基づいて処理の実行可否を明示的に記載した検証項目を検証項目ファイル37fに出力する処理部であって、矛盾部検証項目作成部38と、エッジ部検証項目作成部39とを有する。
The verification
検証項目作成部37は、矛盾情報構造体34aを用いて、「使用しない」マーク(×)が付加された状態遷移部分に対して、処理の実行可否を明示的に表現した検証項目の作成の要否を判断し、作成要の場合に「使用しない」マーク(×)が付加された状態遷移部分を「処理を実行しない」と明示的に記載した検証項目として書き出すために「処理を実行しない」フラグ(黒丸)を矛盾情報構造体34aに設定する。処理の実行可否を明示的に表現した検証項目の作成が不要の場合、検証項目作成部37aは、「使用しない」マーク(×)に基づいて検証項目は作成しない。
The verification
また、検証項目作成部37は、「使用しない」マーク(×)が付されていない状態構造体32aに対して、状態構造体32aの内容に基づいて検証項目構造体37aを作成する。この場合、検証項目作成部37は、「処理を実行しない」フラグ(黒丸)を付加することはない。又は、「処理を実行する」フラグを付加してもよい。
Further, the verification
検証項目作成部37は、更に、矛盾部検証項目作成部38と、エッジ部検証項目作成部39とによって、夫々で検証項目構造体37aを作成し、その検証項目構造体37aに基づいて検証項目を検証項目ファイル37fへ出力させる。
The verification
矛盾部検証項目作成部38は、矛盾情報構造体37aを用いて、矛盾する箇所の検証項目構造体37aを作成して、その検証項目構造体37aに基づいて検証項目を検証項目ファイル37fへ出力する。
The contradiction part verification
エッジ部検証項目作成部39は、状態構造体32aを用いて、矛盾情報構造体37a以外について検証項目構造体37aを作成して、その検証項目構造体37aに基づいて検証項目を検証項目ファイル37fへ出力する。
The edge part verification item creation unit 39 creates a
テストデータ作成部80は、検証項目抽出部30によって作成された検証項目情報37aを用いて、検証技術者2によるテストベンチ及びテストパターンの作成を支援する処理部であり、回路をシミュレーションするための種々のテストデータ80aとして記憶領域に出力する。
The test
論理シミュレータ90は、テストデータ作成部80によって作成されたテストデータ80aを読み込んで、設計された回路を検証するためのシミュレーションを実行する処理部である。
The
論理検証支援システム100を実現する1乃至3のコンピュータ装置は、図3に示すようなハードウェア構成を有する。図3は、本発明の一実施例に係る論理検証支援システムを実現するコンピュータ装置のハードウェア構成を示す図である。 One to three computer apparatuses that implement the logic verification support system 100 have a hardware configuration as shown in FIG. FIG. 3 is a diagram illustrating a hardware configuration of a computer device that implements a logic verification support system according to an embodiment of the present invention.
図3において、論理検証支援システム100は、コンピュータによって制御される装置であって、CPU(Central Processing Unit)11と、メモリユニット12と、表示ユニット13と、出力ユニット14と、入力ユニット15と、通信ユニット16と、記憶装置17と、ドライバ18とで構成され、システムバスBに接続される。
In FIG. 3, a logic verification support system 100 is a device controlled by a computer, and includes a CPU (Central Processing Unit) 11, a
CPU11は、メモリユニット12に格納されたプログラムに従って論理検証支援システム100を制御する。メモリユニット12は、RAM(Random Access Memory)及びROM(Read-Only Memory)等にて構成され、CPU11にて実行されるプログラム、CPU11での処理に必要なデータ、CPU11での処理にて得られたデータ等を格納する。また、メモリユニット12の一部の領域が、CPU11での処理に利用されるワークエリアとして割り付けられている。
The
表示ユニット13は、CPU11の制御のもとに必要な各種情報を表示する。出力ユニット14は、プリンタ等を有し、利用者からの指示に応じて各種情報を出力するために用いられる。入力ユニット15は、マウス、キーボード等を有し、論理検証支援システム100が処理を行なうための必要な各種情報を利用者が入力するために用いられる。
The
通信ユニット16は、論理検証支援システム100が例えばインターネット、LAN(Local Area Network)等のネットワークを介する通信の制御をするための装置である。 The communication unit 16 is a device for the logic verification support system 100 to control communication via a network such as the Internet or a LAN (Local Area Network).
記憶装置17は、例えば、ハードディスクユニットにて構成され、各種処理を実行するプログラム等のデータを格納する。
The
論理検証支援システム100よって行われる回路設計方法での処理を実現するプログラムは、例えば、CD−ROM(Compact Disk Read-Only Memory)等の記憶媒体19によって論理検証支援システム100に提供される。即ち、プログラムが保存された記憶媒体19がドライバ18にセットされると、ドライバ18が記憶媒体19からプログラムを読み出し、その読み出されたプログラムがシステムバスBを介して記憶装置17にインストールされる。そして、プログラムが起動されると、記憶装置17にインストールされたプログラムに従ってCPU11がその処理を開始する。
A program that realizes processing in the circuit design method performed by the logic verification support system 100 is provided to the logic verification support system 100 by a
尚、プログラムを格納する媒体としてCD−ROMに限定するものではなく、コンピュータが読み取り可能な媒体であればよい。本発明に係る処理を実現するプログラムは、通信ユニット16によってネットワークを介してダウンロードし、記憶装置17にインストールするようにしても良い。また、論理検証支援システム100が外部との接続を行うUSB(Universal Serial Bus)等のインタフェースを有する場合には、USB接続によって外部記憶媒体からプログラムを読み込んでもよい。
The medium for storing the program is not limited to a CD-ROM, and any medium that can be read by a computer is acceptable. The program for realizing the processing according to the present invention may be downloaded via the network by the communication unit 16 and installed in the
次に、仕様記述作成部10が、検証技術者2が入力されたデータから作成する仕様記述データ10aの例について図4で説明する。図4は、仕様記述データの例を示す図である。
Next, an example of the
図4において、仕様記述データ10aは、入力データ定義部10a−2と、処理内容定義部10a−4とを有する。
In FIG. 4, the
データ定義部10a−2には、入力データの有効範囲が示される。この場合、1バイトのデータ入力が成されることを示す「0x00」から「0xff」までを有効データの範囲として定義している。
The
また、特別な処理を実行する、或いは処理状態の遷移を行わせる入力(マーク)種別を定義し、特別な処理実行する状態の定義、開示条件、終了条件とその状態で入力できる値の制約で定義する。例えば、マークAは入力データ「0xfe」で定義され、マークBは入力データ「0xff」で定義されている。また、状態遷移定義では、「状態A」へと遷移するための開示条件がマークAであり、「状態A」から遷移するための終了条件がマークBであり、入力値制約はないことが定義されている。 Also, by defining the input (mark) type that executes special processing or causes processing state transition, the definition of the state for executing special processing, the disclosure condition, the end condition, and the restrictions on the values that can be input in that state Define. For example, the mark A is defined by the input data “0xfe”, and the mark B is defined by the input data “0xff”. Also, in the state transition definition, it is defined that the disclosure condition for transitioning to “state A” is mark A, the end condition for transitioning from “state A” is mark B, and there is no input value constraint Has been.
処理内容定義部10a−4には、入力データ定義部10a―2で定義される各データの入力時に実行すべき処理、入力データ定義部10a―2で定義される状態遷移定義で実行すべき処理が定義される。この場合、「通常処理」の欄では、初期状態から「入力データ定義部」で定義されたマーク又はマークにより遷移した状態のいずれにも合致しない場合の処理が存在することを示している。各処理の「:」の右には任意の値を複数個記載可能である。この場合、状態Aで処理(α)を実行し、マークBの入力によって処理(β)を実行することが定義されている。
The process
この時点では、このようにして作成された仕様書記述データ10aには、矛盾が含まれていてもよい。従って、検証技術者2は、思いつく項目を書き出すことができる。本実施例では、一般に、規格や仕様を理解する際、間違った解釈をすることが多い箇所に論理障害が多くなるため、論理検証支援システム100ではあえて矛盾した止揚を受付けて、以下に説明されるように、矛盾を指摘すると共に、論理検証の際に注意すべき点であるとして仕様書内のその矛盾した箇所の情報は全て保存される。
At this point, the
仕様書記述データ10aは仕様書記述解析部31によって解析され、状態リスト31aと入力データリスト31bとに分けられて記憶領域に格納される。状態リスト31aには、状態遷移定義で定義される、例えば、初期状態としての「通常状態」、「状態A」などの状態名と、状態遷移するための条件(以下、状態遷移条件という)と、処理内容定義部で定義される内容とが含まれる。入力データリスト31bには、有効データと、マーク名と、マークとして認識される値とが含まれる。
The
そして、状態遷移グラフ作成部32によって状態構造体32a及びリンク構造体32bが作成される。図5は、状態遷移グラフ作成処理を説明するためのフローチャート図である。図5において、状態遷移グラフ作成部32は、状態リスト31aを参照して、状態毎にその状態を示す構造体を状態構造体32aとして記憶領域に作成する(ステップS131)。この場合、仕様修正などによって、既に状態構造体32aが作成されている場合、その存在している状態構造体32aを採用して別の記憶領域に格納する。
Then, the state transition
状態遷移グラフ作成部32は、入力データリスト31bを参照して、状態への遷移条件毎に状態遷移を示す構造体をリンク構造体32bとして作成する(ステップS132)。遷移条件と、実行すべき処理を示す処理名とをリンク構造体32bに設定し、その遷移元と遷移先との状態構造体にポインタで接続する(ステップS133)。
The state transition
また、状態遷移グラフ作成部32は、仕様修正によって存在しなくなった状態構造体及びリンク構造体に「使用しない」マーク(×)を付加して、そのまま記憶領域に保存しておく(ステップS134)。存在しなくなった状態構造体は、前回から記憶領域に保存されている状態構造体32aと、今回採用した状態構造体32aとの差分で取得し、差分となった状態構造体32aに「使用しない」マーク(×)を付加して今回採用の状態構造体32aとして記憶領域に格納すればよい。存在しなくなったリンク構造体についても同様である。「使用しない」マーク(×)の付与は、状態構造体32a及びリンク構造体32b内の要素として備え、「使用しない」ことを示す情報を設定するようにすればよい。
In addition, the state transition
次に、矛盾抽出部34によって矛盾情報構造体34a及び使用矛盾項目ファイル34fが作成される。図6は、矛盾抽出処理を説明するためのフローチャート図である。
Next, the
図6において、矛盾抽出部34は、記憶領域から状態遷移グラフ作成部32によって作成された状態構造体32aを順に1つ読み出して、入力データリスト31aを参照して、状態構造体32aに接続元として接続されたリンク構造体32bに対して、そのリンク構造体32bの遷移条件を含む遷移条件を持つリンク構造体32bが既に記憶領域に格納されているか否かを確認する(ステップS141)。例えば、遷移条件の「マークA以外(0xfe以外)」と「マークB(0xff)」とは互いに排他とはならない関係となるリンク構造体32b同士であるか否かを確認すればよい。
In FIG. 6, the
ステップS141では、状態構造体32a及びリンク構造体32bには、仕様修正によって「使用しない」マーク(×)が付与されているものも含めて確認を行なう。
In step S141, the
同じ遷移条件が存在しない場合(ステップS142のNO)、矛盾抽出部34は、入力データリスト31aを参照して、状態構造体32aへのポインタと、その状態構造体に接続元として接続されたリンク構造体32bの遷移条件に設定する値と、関連するリンク構造体32bへのポインタとを記憶領域に格納する(ステップS143)。
When the same transition condition does not exist (NO in step S142), the
一方、同じ遷移条件が存在する場合(ステップS142のYES)、矛盾抽出部34は、処理中の状態構造体32aへのポインタと、既にある値と関連したリンク構造体32bへのポインタと、著利中のリンク構造体32bへのポインタと、矛盾した値の集合とを示す矛盾情報構造体34aを作成して、図7に示すような矛盾情報保存部41に保存する(ステップS142−2)。また、矛盾抽出部34は、矛盾情報構造体34aへのポインタを図7に示すような矛盾情報保存部41に保存する(ステップS142−4)。
On the other hand, if the same transition condition exists (YES in step S142), the
図7を参照すると、矛盾情報保存部41には、ポインタ領域41aと、矛盾情報構造体34aと、矛盾した遷移条件を示す値集合41sとが保存される。ポインタ領域41aには、作成された矛盾情報構造体34aへのポインタが順次格納される。矛盾情報構造体34aは、矛盾するリンク構造体32bが存在する状態構造体32aへのポインタと、同じ値を持つリンク構造体32bの夫々のポインタと、入力データリスト31aを参照することによって同一の値となる遷移条件の記述を示す値集合41s等の要素で構成される。
Referring to FIG. 7, the contradiction
例えば、遷移条件の記述「マークA以外」と遷移条件の記述「マークB」とは、入力データリスト31bを参照することによって、同じ値「0xff」となり、値集合41sには、「マークA以外」と「マークB」とが設定される。
For example, the transition condition description “other than mark A” and the transition condition description “mark B” have the same value “0xff” by referring to the
矛盾情報保存部41で保存される矛盾情報構造体34aからポインタによって参照される状態構造体32aとリンク構造体32bとには、仕様修正によって「使用しない」マーク(×)が付加されている構造体が存在していてもよい。
A structure in which a “not used” mark (×) is added to the
図6に戻って、矛盾抽出部34は、状態構造体32aを全て処理したか否かを判断する(ステップS144)。全て処理していない場合、矛盾抽出部34は、ステップS141へ戻って、上記同様の処理を繰り返す。
Returning to FIG. 6, the
一方、全て処理している場合、矛盾抽出部34は、矛盾情報保存部41に保存されている矛盾情報構造体34a夫々について仕様矛盾項目を作成し、仕様矛盾項目ファイル34fとして出力する(ステップS145)。そして、矛盾抽出部34は、仕様矛盾項目ファイル34fを検証技術者2へ通知して(ステップS146)、矛盾抽出処理を終了する。
On the other hand, when all the processing is performed, the
状態遷移グラフ作成部32と矛盾抽出部34と処理による状態遷移グラフが作成される過程と仕様矛盾項目ファイル34fが作成される過程を図8で説明する。図8は、矛盾項目抽出までの過程を示す図である。
The process of creating the state transition graph by the state transition
図8において、状態遷移グラフ作成部32は、状態リスト31aを入力して、状態遷移グラフ50中の状態を作成する(ステップS11)。ここでは、「状態」として通常処理と状態Aとを示す状態構造体32aが作成される。
In FIG. 8, the state transition
状態遷移グラフ作成部32は、入力データリスト31bを参照して、仕様記述中の状態への遷移条件それぞれについて「状態遷移」を示すエッジを設定する(ステップS12)。「状態遷移」を示すエッジは、リンク構造体32bで示される。状態遷移グラフ51では、マークAに係る入力(マークAの入力及びマークA以外の入力)によって成される、通常処理状態と状態Aとの間の状態遷移、通常処理状態内での状態遷移、及び状態A内での状態遷移を追加した様子を示している。状態遷移グラフ52では、マークBに係る入力(マークBの入力)によって成される、通常処理状態内での状態遷移、及び状態A内での状態遷移を追加した様子を示している。
The state transition
次に、矛盾抽出部34は、状態遷移グラフ作成部32によって作成された状態遷移グラフ52上の各状態からの遷移について、遷移条件間に矛盾が無いかをチェックする(ステップS13)。状態遷移グラフ53では、状態遷移グラフ作成部32によって作成された状態遷移グラフ52内において矛盾のある遷移条件(エッジ)を点線で示している。矛盾のある遷移条件(エッジ)に係わる状態構造体32aとリンク構造体32bとが矛盾状態構造体34aで特定される。
Next, the
そして、矛盾抽出部34は、矛盾点を所定形式のファイルに出力して、検証技術者2に通知し、論理検証支援システム100内にも保存する(ステップS14)。仕様矛盾項目ファイル34fは、例えば、矛盾点毎に、遷移元、遷移先、遷移条件の項目があり、それらに値が対応づけられている。
Then, the
状態遷移グラフ53に示される矛盾58に対して、遷移元に「通常処理」状態が設定され、「通常処理」状態で2つのエッジ間で矛盾があったため遷移先に「通常処理」状態、「通常処理」状態のように繰り返して設定され、遷移条件にマークA以外、マークBのようにエッジ毎に値が設定される。更に、状態遷移グラフ53に示される矛盾59に対して、遷移元に「状態A」が設定され、「状態A」で2つのエッジ間で矛盾があったため遷移先に「状態A」、「状態A」のように繰り返して設定され、遷移条件にマークA以外、マークBのようにエッジ毎に値が設定される。
For the contradiction 58 shown in the
このような仕様矛盾項目ファイル34fを参照して、検証技術者2は仕様記述データ10aを修正すると、仕様記述解析部31、状態遷移グラフ作成部32、矛盾抽出部35による上述した処理が実行され、修正されて使用しないことになった部分には、「使用しない」マーク(×)が付加される。
When the
更に、論理検証支援システム100では、検証項目作成部37によって検証項目が記述される検証項目ファイル37fが作成される。図9は、検証項目作成処理を説明するためのフローチャート図である。図9において、検証項目作成部37は、図6のステップS143にて状態遷移グラフ作成部32によって記憶領域に格納されたポインタで関連付けられている状態構造体32aとリンク構造体32bとの組み合わせを順次取得する(ステップS151)。
Further, in the logic verification support system 100, the verification
検証項目作成部37は、矛盾情報保存部41に格納されていて、リンク構造体32bに「使用しない」マーク(×)が付与されていて、他の遷移条件の一部でありその処理内容が相違し、かつ、同一の遷移条件を持つリンク構造体32bが存在しないことを確認する(ステップS152)。ステップS152の条件が成立する場合、検証項目作成部37は、処理の実行可否を明示的に記載することを示す「処理を実行しない」フラグの設定が必要であると判断する。一方、ステップS152の条件が成立しない場合、検証項目作成部37は、「処理を実行しない」フラグの設定は不要であると判断する。
The verification
ステップS152での確認によって「処理を実行しない」フラグの設定が必要か否かを判断する(ステップS153)。「処理を実行しない」フラグの設定が必要であると判断すると、そして、検証項目作成部37は、状態構造体32aと、「処理を実行しない」フラグを付与したリンク構造体32bとを格納して(ステップS153−4)、ステップS157へと進む。
Based on the confirmation in step S152, it is determined whether it is necessary to set a “do not execute processing” flag (step S153). If it is determined that it is necessary to set the “do not execute” flag, the verification
一方、ステップS152での確認によって「処理を実行しない」フラグの設定が不要であると判断すると、検証項目作成部37は、ステップS152を満たさない場合であって、状態構造体32aに「使用しない」マーク(×)が設定されている組み合わせか否かを判断する(ステップS154)。状態構造体32aに「使用しない」マーク(×)が設定されている組み合わせの場合、検証項目作成部37は、検証項目構造体37aを作成することなく、ステップS157へと進む。
On the other hand, if it is determined by the confirmation in step S152 that the setting of the “do not execute processing” flag is unnecessary, the verification
一方、ステップS154にて、状態構造体32aに「使用しない」マーク(×)が設定されていない組み合わせである場合、検証項目作成部37は、「処理を実行しない」フラグを付与することなく、状態構造体32aと、リンク構造体32bとを記憶領域に格納する(ステップS156)。
On the other hand, in the case of a combination in which the “not used” mark (×) is not set in the
検証項目作成部37は、全ての組み合わせを処理したか否かを判断する(ステップS157)。全ての組み合わせを処理していない場合、検証項目作成部37は、ステップS151へ戻り、上記同様の処理を繰り返す。一方、全ての組み合わせを処理した場合、検証項目作成部37は、記憶領域内に格納された検証項目構造体37aに基づいて検証項目を記述し、検証項目ファイル37fへ出力する(ステップS158)。
The verification
検証項目の記述するために、記憶領域から順に検証項目構造体37aを取得して、その検証項目構造体37aから状態構造体32aを取得して、その状態構造体32aに設定されている状態名を取得する。また、その検証項目構造体37aからリンク構造体32bを取得して、そのリンク構造体32bに設定されている遷移条件と「処理を実行しない」フラグの有無を取得する。取得した状態名と、遷移条件と、「処理を実行しない」フラグの有無とによって、「処理を実行しない」フラグ有りの場合、「状態名:遷移条件:処理実行が検出されたら論理障害」を意味するように記述し、「処理を実行しない」フラグ無しの場合、「状態名:遷移条件:処理実行が検出されなかったら論理障害」を意味するように記述して検証項目ファイル37fへ出力することによって、検証項目表が検証項目ファイル37f内に作成される。
In order to describe the verification item, the
検証項目作成部37によって行われる検証項目表作成処理について図10、図11及び図12で説明する。図10は、検証項目表作成処理の概要を説明するためのフローチャート図である。図10において、検証項目作成部37は、状態遷移グラフ作成部32によって作成された状態遷移グラフで示される処理毎に値を割り振る(ステップS201)。例えば、通常処理に対して「001」、処理(α)に対して「010」、処理(β)に対して「100」の値を割り振る。
Verification item table creation processing performed by the verification
そして、検証項目作成部37は、状態遷移グラフの未選択の「状態」を一つ選択し(ステップS202)、選択できたか否かを判断する(ステップS203)。未選択の「状態」がなく選択できなかった場合、検証項目作成処理を終了する。
Then, the verification
一方、未選択の「状態」があり選択できた場合、その選択した「状態」を状態構造体32aとして持つ、未選択の矛盾情報構造体34aを矛盾情報保存部41から取得し(ステップS204)、未選択の矛盾情報構造体34aを取得できたか否かを判断する(ステップS205)。未選択の矛盾情報構造体34aがなく取得できなかった場合、検証項目作成部37は、ステップS207へと進む。
On the other hand, when there is an unselected “state” and it can be selected, an unselected
一方、未選択の矛盾情報構造体34aが存在して取得できた場合、検証項目作成部37は、矛盾部検証項目作成部38によって図11で説明される矛盾情報構造体34aを用いた検証項目作成処理を実行する(ステップS206)。
On the other hand, if an unselected
そして、検証項目作成部37は、ステップS202で選択した「状態」を始点とするエッジで未選択のものから一つ選択し(ステップS207)、選択できたか否かを判断する(ステップS208)。エッジは、状態遷移グラフにおいて状態から他の状態又は自身への状態遷移部分を意味し、リンク構造体32bで示される部分である。未選択のエッジがなく選択できなかった場合、検証項目作成部37は、ステップS202へと戻り、上記同様の処理を繰り返す。
Then, the verification
一方、未選択エッジを選択できた場合、検証項目作成部37は、エッジ部検証項目作成部39によって図12で説明されるステップS207で選択したエッジに対する検証項目作成処理を実行して(ステップS209)、検証項目作成部37は、ステップS202へと戻り、上記同様の処理を繰り返す。ステップS209では、矛盾のないエッジに対して検証項目が作成される。
On the other hand, if an unselected edge can be selected, the verification
図11は、図10のステップS206における矛盾部検証項目作成部による矛盾情報構造体を用いた検証項目作成処理を説明するためのフローチャート図である。図11において、矛盾部検証項目作成部38は、矛盾情報構造体34aからポイントされるリンク構造体32bから順に未選択のリンク構造体(A)を選択し、その選択したリンク構造体(A)と同一の状態を遷移元として持つリンク構造体(B)からその遷移条件がリンク構造体(A)の遷移条件を含む未選択のものを1つ選択して(ステップS221)、選択できたか否かを判断する(ステップS222)。リンク構造体(A)の遷移条件とリンク構造体(B)の遷移条件とが一致する場合も「遷移条件を含む」とする。
FIG. 11 is a flowchart for explaining verification item creation processing using the contradiction information structure by the contradiction portion verification item creation unit in step S206 of FIG. In FIG. 11, the contradiction part verification
未処理のリンク構造体(B)が存在し選択できた場合、矛盾部検証項目作成部38は、リンク構造体(A)について、その処理に割り振られた値と、それと矛盾するリンク構造体(B)の処理に割り振られた値の論理積を計算する(ステップS223)。
When an unprocessed link structure (B) exists and can be selected, the contradiction part verification
例えば、後述される図13に示される状態遷移グラフ61内の点線で示されるエッジ61pが矛盾情報構造体34aからポイントされるリンク構造体32bで示される矛盾となる遷移状態の1つである。状態Aからの状態遷移を示すエッジ61pは、「状態Aの時、マークBが入力されたら処理(β)を実行する」ことを示し、処理(β)を実行するため値「100」が割り振られている。エッジ61pには値「100」を反転させて値「011」を取得する。
For example, an edge 61p indicated by a dotted line in a state transition graph 61 shown in FIG. 13 described later is one of the inconsistent transition states indicated by the
一方、同一の状態Aからの他の状態遷移を示すエッジ61qは、「状態Aの時、A以外のマーク(マークB)が入力されたら処理(α)を実行する」ことを示し、処理(β)を実行するため値「010」が割り振られている。 On the other hand, an edge 61q indicating another state transition from the same state A indicates that “when state A is entered, a process (α) is executed when a mark (mark B) other than A is input”. The value “010” is assigned to execute β).
従って、値「011」と値「010」との論理積は、「010」となり非0(ゼロ)の値となる。その場合、検証項目の記述対象として考慮する。 Accordingly, the logical product of the value “011” and the value “010” is “010”, which is a non-zero value. In that case, it considers as a description object of a verification item.
矛盾部検証項目作成部38は、論理積の値が非0(ゼロ)であるか否かを判断する(ステップS224)。論理積の値が非0(ゼロ)である場合、矛盾部検証項目作成部38は、「使用しない」マーク(×)が付加されていないリンク構造体(エッジ)である、又は、「使用しない」マーク(×)及び「処理を実行しない」フラグ(黒丸)が付加されているリンク構造体(エッジ)である場合に、検証項目構造体37aを作成して記憶領域に保存し(ステップS225)、ステップS221へと進み、上記同様の処理を繰り返す。一方、論理積の値が0(ゼロ)である場合、矛盾部検証項目作成部38は、ステップS221へと進み、上記同様の処理を繰り返す。
The contradiction part verification
検証項目構造体37aは、ポインタで関連付けられている状態構造体32aとリンク構造体32bとの組み合わせを特定する要素で構成される。例えば、検証項目構造体37aには、状態構造体32aへのポインタと、リンク構造体32bへのポインタなどが設定される。
The
一方、ステップS226において、矛盾部検証項目作成部38は、未処理のリンク構造体(B)が存在せず選択できなかった場合、記憶領域に保存されている検証項目構造体37aに基づいて検証項目を記述して検証項目ファイル37fに出力し(ステップS226)、矛盾情報構造体を用いた検証項目作成処理を終了する。検証項目の記述後、記憶領域に保存されている検証項目構造体37aを削除しておく。
On the other hand, in step S226, if the unprocessed link structure (B) does not exist and cannot be selected, the contradiction part verification
ステップS226において、検証項目は、例えば下記の記述形式で書き出される。( )内に検証項目構造体37fから取得した値が書き込まれる。 In step S226, the verification item is written in the following description format, for example. A value acquired from the verification item structure 37f is written in ().
「処理を実行しない」フラグが付加されていない場合、『(状態名)時、(遷移条件)入力、(処理内容)すること』と記述する。一方、「処理を実行しない」フラグが付加されている場合、『(状態名)時、(遷移条件)入力、(処理内容)しないこと』と記述する。このように記述することによって、元々矛盾すると判断された状態遷移グラフ中のエッジに対して、処理していることを確認するのか、処理してはいけないことを確認するのかを明示的に検査項目として示すことができる。 When the “do not execute process” flag is not added, “input (transition condition) and (process content) when (state name)” is described. On the other hand, when the “do not execute processing” flag is added, “input (transition condition) when (state name), (do not process)” is described. By describing in this way, it is explicitly checked whether to check whether it is processed or not to be processed for the edge in the state transition graph that was originally determined to be inconsistent Can be shown as
図12は、図10のステップS209におけるエッジ部検証項目作成部39による矛盾のないエッジに対する検証項目作成処理を説明するためのフローチャート図である。図12において、エッジ部検証項目作成部39は、図10のステップS202で選択した「状態」を示す状態構造体32aと、ステップS207で選択した「エッジ」を示すリンク構造体32bとに基づいて、検証項目構造体37fを作成して記憶領域に格納する(ステップS241)。
FIG. 12 is a flowchart for explaining verification item creation processing for consistent edges by the edge portion verification item creation unit 39 in step S209 of FIG. In FIG. 12, the edge verification item creation unit 39 is based on the
エッジ部検証項目作成部39は、記憶領域に保存されている検証項目構造体37aに基づいて検証項目を記述して検証項目ファイル37fに出力し(ステップS243)、矛盾のないエッジに対する検証項目作成処理を終了する。
The edge verification item creation unit 39 describes the verification items based on the
ステップS243において、検証項目は、例えば『(状態名)時、(遷移条件)入力、(処理内容)すること』の記述形式で書き出される。( )内に検証項目構造体37fから取得した値が書き込まれる。 In step S243, the verification item is written in a description format, for example, “when (state name), (transition condition) input, (processing content)”. A value acquired from the verification item structure 37f is written in ().
図13は、矛盾を含む状態遷移グラフから作成される検証項目の記述例を示す図である。図13において、状態遷移グラフ61は、図8の状態遷移グラフ53に含まれる矛盾58及び59が検証技術者2によって修正された状態を示している。従って、状態遷移グラフ61において、矛盾58として検出されたエッジ61mと、矛盾59として検出されたエッジ61pとには「使用しない」マーク(×)が付与されている。また、検証技術者2によって、エッジ61aが追加されている。更に、検証項目作成部37によって「処理を実行しない」フラグ(黒丸)が矛盾59として検出されたエッジ61pに付与されている。
FIG. 13 is a diagram illustrating a description example of verification items created from the state transition graph including contradiction. In FIG. 13, a state transition graph 61 shows a state in which the
このような状態遷移グラフ61に基づく検証項目は、検証項目ファイル37fに書き出され、例えば、エッジ61aに対して検証項目『通常処理時、マークA以外かつマークB以外入力、通常処理を実行すること』が記述され、エッジ61nに対して検証項目『通常処理時、マークB入力、処理(β)を実行すること』が記述され、エッジ61cに対して検証項目『マークA入力、処理(α)を実行し、状態Aに遷移すること』が記述され、エッジ61qに対して検証項目『状態A時、マークA以外入力、処理(α)を実行すること』が記述され、エッジ61pに対して検証項目『状態A時、マークB入力、処理(β)を実行しないこと』が記述され、エッジ61eに対して検証項目『状態A時、マークA入力、処理(α)を実行し、通常処理状態に遷移すること』が記述される。 Such verification items based on the state transition graph 61 are written in the verification item file 37f. For example, the verification item “input other than mark A and other than mark B during normal processing and normal processing is executed for the edge 61a. ”Is described, the verification item“ execute mark B input and processing (β) during normal processing ”is described for the edge 61n, and the verification item“ mark A input and processing (α) is performed for the edge 61c. ) And transition to the state A ”is described, and the verification item“ execution of input other than the mark A in state A, processing (α) ”is described for the edge 61q. The verification item “in the state A, the mark B input and processing (β) is not executed” is described, and the verification item “in the state A, the mark A input and the processing (α) is executed. Processing "Transition to state" is described.
ここで、エッジ61pは検証技術者2よる修正によって使用しないことになっているが、『状態A時、マークB入力、処理(β)を実行しないこと』と記述されることによって明示的に示されることにより、より確実な検証を行なうことができる。
Here, the edge 61p is not used due to the modification by the
上述したように、本実施例では、一般的に、規格や使用を理解する際、間違った解釈をすることが多い箇所に論理障害が多くなるため、論理検証支援システム100ではあえて矛盾した仕様を受け付けて、矛盾を指摘すると共に、論理検証の際に注意すべき点であるとしてその矛盾した箇所の情報を全て保存する。 As described above, in this embodiment, in general, when understanding the standard and use, logic faults increase in places that are often misinterpreted. Therefore, the logic verification support system 100 has inconsistent specifications. Accept and point out the contradiction, and save all the information of the contradicted part as a point to be noted in the logic verification.
指摘を受けた検証技術者2により最終的に矛盾のない仕様書記述データ10aを得た場合であっても、それまでに保存しておいた矛盾内容と、状態遷移グラフを生成するために元になる状態構造体32aとリンク構造体32bと矛盾情報構造体34aとを用いて、検証項目を記述する。
Even when the
検証技術者は、検証項目ファイル37fに基づいて論理検証用のテストパターンを作成し、テストパターンを含むテストデータ80aが出力される。テストデータ80aを用いて論理シミュレーションを実行し、その実行結果からそれぞれの検証項目に従って期待された動作と一致したかを確認する。
The verification engineer creates a test pattern for logic verification based on the verification item file 37f and outputs test
上述した実施例において、使用記述解析方法(Parserの実現方法)、状態遷移グラフの生成については、例えば、「C−データ構造とプログラム−」、Leendert Ammerral、オーム社、1990年、及び、"Lex & Yacc"、J.R.Levine、Oreilly Associates Inc.、1992年を参照すればよい。 In the embodiment described above, for example, “C-data structure and program”, Leendert Ammerral, Ohm, 1990, and “Lex” are used for the usage description analysis method (Parser implementation method) and the state transition graph generation. & Yacc ", JRLevine, Oreilly Associates Inc., 1992.
以上の説明に関し、更に以下の項を開示する。
(付記1)
論理回路を検証するための検証項目を作成する論理検証支援システムであって、
前記論理回路の動作における該論理回路の状態を示す状態情報毎に、遷移元状態から遷移先状態の遷移を示す状態遷移情報によって示される遷移条件が他状態遷移情報の遷移条件に含まれる場合に矛盾箇所として抽出する矛盾抽出手段を有することを特徴とする論理検証支援システム。
(付記2)
前記矛盾抽出手段は、前記矛盾箇所となった前記状態情報と前記状態遷移情報とを矛盾情報を用いて矛盾項目を作成して検証技術者へ通知することを特徴とする付記1記載の論理検証支援システム。
(付記3)
前記矛盾抽出手段は、前記矛盾箇所となった前記状態情報と前記状態遷移情報とを矛盾項目情報として矛盾情報保存領域に保存することを特徴とする付記1又は2記載の論理検証支援システム。
(付記4)
前記矛盾抽出手段によって抽出された前記矛盾箇所を含めて前記状態情報と前記状態遷移情報とを用いて検証項目を作成する検証項目作成手段を有することを特徴とする付記1記載の論理検証支援システム。
(付記5)
前記論理回路の動作を規定する仕様記述データに従って、状態遷移グラフ作成に係る前記状態情報と前記遷移条件情報とを作成すると共に、該仕様記述データの修正によって使用しなくなった状態情報と遷移条件情報とに使用しないマークを付加して削除することなく保存する状態遷移グラフ作成手段を有することを特徴とする付記4項記載の論理検証支援システム。
(付記6)
前記検証項目作成手段は、前記使用しないマークが付加されている前記状態遷移情報で示される処理を実行しないと判断した場合、該状態遷移情報に処理を実行しないフラグを付加することを特徴とする付記5記載の論理検証支援システム。
(付記7)
前記検証項目作成手段は、前記使用しないマーク及び前記処理を実行しないフラグが付加されている状態遷移情報に対して、該状態遷移情報で示される処理が実行されないことを明示的に示す検証項目を作成することを特徴とする付記6記載の論理検証支援システム。
(付記8)
前記検証項目作成手段は、
前記矛盾箇所に係る前記状態情報と前記状態遷移情報とを用いて該矛盾箇所に関して検証すべき第一検証項目を作成する第一検証項目作成手段と、
前記矛盾が検出されない前記状態情報と前記状態遷移情報とを用いて検証すべき第二検証項目を作成する第二検証項目作成手段とを有することを特徴とする付記4乃至8のいずれか一項記載の論理検証支援システム。
(付記9)
コンピュータが論理回路を検証するための検証項目を作成する論理検証支援方法であって、該コンピュータに、
前記論理回路の動作における該論理回路の状態を示す状態情報毎に、遷移元状態から遷移先状態の遷移を示す状態遷移情報によって示される遷移条件が他状態遷移情報の遷移条件に含まれる場合に矛盾箇所として抽出する矛盾抽出手順を実行させることを特徴とする論理検証支援方法。
(付記10)
論理回路を検証するための検証項目を作成する論理検証支援処理をコンピュータに実行させるプログラムであって、該コンピュータに、
前記論理回路の動作における該論理回路の状態を示す状態情報毎に、遷移元状態から遷移先状態の遷移を示す状態遷移情報によって示される遷移条件が他状態遷移情報の遷移条件に含まれる場合に矛盾箇所として抽出する矛盾抽出手順を実行させることを特徴とする論理検証支援方法。
Regarding the above description, the following items are further disclosed.
(Appendix 1)
A logic verification support system for creating a verification item for verifying a logic circuit,
When the transition condition indicated by the state transition information indicating the transition from the transition source state to the transition destination state is included in the transition condition of the other state transition information for each state information indicating the state of the logic circuit in the operation of the logic circuit A logic verification support system having a contradiction extraction means for extracting as a contradiction portion.
(Appendix 2)
The logic verification according to appendix 1, wherein the contradiction extraction means creates a contradiction item using the contradiction information and notifies the verification engineer the state information and the state transition information that have become the contradiction part. Support system.
(Appendix 3)
3. The logic verification support system according to
(Appendix 4)
The logic verification support system according to claim 1, further comprising verification item creation means for creating a verification item using the state information and the state transition information including the contradiction part extracted by the contradiction extraction means. .
(Appendix 5)
In accordance with the specification description data that defines the operation of the logic circuit, the state information and the transition condition information related to the creation of the state transition graph are created, and the state information and the transition condition information that are no longer used due to the modification of the specification description data The logic verification support system according to
(Appendix 6)
The verification item creation means adds a flag that does not execute the process to the state transition information when it is determined that the process indicated by the state transition information to which the unused mark is added is not executed. The logic verification support system according to appendix 5.
(Appendix 7)
The verification item creation means includes a verification item that explicitly indicates that the process indicated by the state transition information is not executed for the state transition information to which the unused mark and the flag that does not execute the process are added. The logic verification support system according to appendix 6, which is created.
(Appendix 8)
The verification item creation means includes:
First verification item creating means for creating a first verification item to be verified with respect to the contradictory portion using the state information and the state transition information relating to the contradictory portion;
Any one of
(Appendix 9)
A logic verification support method for creating a verification item for a computer to verify a logic circuit, the computer comprising:
When the transition condition indicated by the state transition information indicating the transition from the transition source state to the transition destination state is included in the transition condition of the other state transition information for each state information indicating the state of the logic circuit in the operation of the logic circuit A logic verification support method characterized by executing a contradiction extraction procedure for extracting as a contradiction portion.
(Appendix 10)
A program for causing a computer to execute a logic verification support process for creating a verification item for verifying a logic circuit,
When the transition condition indicated by the state transition information indicating the transition from the transition source state to the transition destination state is included in the transition condition of the other state transition information for each state information indicating the state of the logic circuit in the operation of the logic circuit A logic verification support method characterized by executing a contradiction extraction procedure for extracting as a contradiction portion.
2 検証技術者
10 仕様記述作成部
10a 仕様記述データ
11 CPU
12 メモリユニット
13 表示ユニット
14 出力ユニット
15 入力ユニット
16 通信ユニット
17 記憶装置
18 ドライバ
19 記憶媒体
20 LSI
30 検証項目抽出部
31 仕様記述解析部
31a 状態リスト
31b 入力データリスト
32 状態遷移グラフ作成部
32a 状態構造体
32b リンク構造体
34 矛盾抽出部
34f 仕様矛盾項目ファイル
35 矛盾情報作成部
37 検証項目作成部
37a 検証項目構造体
37f 検証項目ファイル
38 矛盾部検証項目作成部
39 エッジ部検証項目作成部
80 テストデータ作成部
80a テストデータ
90 論理シミュレータ
2 Verification Engineer 10 Specification
12
DESCRIPTION OF SYMBOLS 30 Verification
Claims (5)
前記論理回路の動作における該論理回路の状態を示す状態情報毎に、遷移元状態から遷移先状態の遷移を示す状態遷移情報によって示される遷移条件が他状態遷移情報の遷移条件に含まれる場合に矛盾箇所として抽出する矛盾抽出手段を有することを特徴とする論理検証支援システム。 A logic verification support system for creating a verification item for verifying a logic circuit,
When the transition condition indicated by the state transition information indicating the transition from the transition source state to the transition destination state is included in the transition condition of the other state transition information for each state information indicating the state of the logic circuit in the operation of the logic circuit A logic verification support system having a contradiction extraction means for extracting as a contradiction portion.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007042496A JP2008204371A (en) | 2007-02-22 | 2007-02-22 | Logic verification support system |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007042496A JP2008204371A (en) | 2007-02-22 | 2007-02-22 | Logic verification support system |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2008204371A true JP2008204371A (en) | 2008-09-04 |
Family
ID=39781780
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007042496A Withdrawn JP2008204371A (en) | 2007-02-22 | 2007-02-22 | Logic verification support system |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP2008204371A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013206033A (en) * | 2012-03-28 | 2013-10-07 | Fujitsu Semiconductor Ltd | Information processing apparatus, information processing method and program |
-
2007
- 2007-02-22 JP JP2007042496A patent/JP2008204371A/en not_active Withdrawn
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013206033A (en) * | 2012-03-28 | 2013-10-07 | Fujitsu Semiconductor Ltd | Information processing apparatus, information processing method and program |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2007323573A (en) | Functional test script generator | |
KR20010098414A (en) | Mechanism for automated, generic application damage detection and repair in strongly encapsulated applications | |
US7408556B2 (en) | System and method for using device dependent fonts in a graphical display interface | |
JP2003006255A (en) | Hdl automatic correction device and hdl automatic correction program and computer readable storage medium recording the program therefor | |
US20100037209A1 (en) | Source program review program, source program review method, and source program review device | |
US8707270B2 (en) | Method and system for configurable pessimistic static XSL output validation | |
US20060206808A1 (en) | System, method, and computer program product for transformation of markup-language objects | |
JP2006106865A (en) | Logic circuit design verifying device and method and program | |
US20050193360A1 (en) | Circuit design support system, circuit design support method, and program | |
JP2006350420A (en) | Device for testing rule file for layout verification and test method and test program | |
US20060123028A1 (en) | Method and apparatus for defining and instrumenting reusable Java server page code snippets for website testing and production | |
JP2008204371A (en) | Logic verification support system | |
US8423913B1 (en) | Methods and apparatus to display style-related information | |
JP2005276040A (en) | Degrade confirming examining method and system, and program for the same | |
JP7050587B2 (en) | Violation dependency detector and violation dependency detector | |
JP2009157649A (en) | Instruction check program, instruction check method, instruction check apparatus, and i/o simulator | |
JP3941336B2 (en) | Logic circuit verification device | |
US20150199183A1 (en) | Program analysis apparatus and program analysis method | |
US6789234B2 (en) | Method and system for a timing based logic entry | |
CN110709814A (en) | Program code generation device and program code generation program | |
JP2009181180A (en) | Inspection program, inspection method, and inspection device of program creating tool | |
JPH10312313A (en) | Method for inspecting computer program of c language and program storage medium | |
JP5899711B2 (en) | Data flow verification support apparatus and data flow verification support method | |
JP2001222565A (en) | System and method for verifying hardware description | |
JP2009276911A (en) | Software asset reuse support program |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A712 Effective date: 20080729 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20091006 |
|
A761 | Written withdrawal of application |
Free format text: JAPANESE INTERMEDIATE CODE: A761 Effective date: 20101201 |