JPH08335228A - Test pattern generating method and logic simulation method - Google Patents

Abstract

PURPOSE: To easily perform logic simulation by converting a signal generating procedure in a C-like language into a C language by a compiler, and executing the signal generating procedure in the C language and generating a test pattern. CONSTITUTION: A generation process 1 is described in the C-like language which attain the conversion, substitution, and operation of the character type and integer type of the C language. This generation process 1 is converted into a C-language program 3 by a test pattern generation system 2. Further, a compiler linkage 5 converts C-language programs 3 and 4 into library form or execution form. When a library-form file 6 is generated, various logic simulation described in HDL can be performed by connection with an HDL simulator. Further, when the execution form file 7 is generated, it is usable as a test pattern generation tool for the logic simulation of a logic circuit described in another language.

Description

【発明の詳細な説明】Detailed Description of the Invention

【０００１】[0001]

【産業上の利用分野】本発明は、テストパターン生成方
法及びこのテストパターン生成方法によって生成したテ
ストパターンを用いる論理シミュレーション方法に関す
る。各種の論理回路の設計に於いて、その論理回路に対
応したテストパターンを生成し、そのテストパターンと
論理回路のシミュレーションモデルと共に論理シミュレ
ータに加えて、論理回路の機能の検証が行われている。
又ハードウェア記述言語ＨＤＬ（Ｈardware Ｄescripti
on Ｌanguage ）を用いて、各種の論理回路の設計が行
われている。前述の論理シミュレーションに於けるテス
トパターンの発生を容易にし、且つハードウェア記述言
語ＨＤＬを用いて設計した論理回路に対しても、論理シ
ミュレーションを容易にすることが要望されている。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a test pattern generation method and a logic simulation method using a test pattern generated by this test pattern generation method. In designing various logic circuits, a test pattern corresponding to the logic circuit is generated, and the function of the logic circuit is verified in addition to the test pattern and the simulation model of the logic circuit in addition to the logic simulator.
Hardware description language HDL (Hardware Descripti)
on Language) is used to design various logic circuits. There is a demand for facilitating the generation of a test pattern in the above-mentioned logic simulation and facilitating the logic simulation for a logic circuit designed using the hardware description language HDL.

【０００２】[0002]

【従来の技術】ハードウェア記述言語（以下ＨＤＬと略
称する）は、抽象度の高い動作レベルで回路設計を行う
ことが可能であり、又レジスタ・トランスファ・レベル
（ＲＴＬ）或いはそれより抽象度の低いロジック・ゲー
ト・レベルで論理回路を記述することもできる。従っ
て、大規模の各種の論理回路の設計に利用されている。
このＨＤＬには、例えば、ＶＨＤＬ（Ｖery Ｈigh Ｓpe
ed Ｉntegrated ＣircuitＨardware Ｄescription Ｌ
anguage ）、又はＶｅｒｉｌｏｇ−ＨＤＬ等が知られて
いる。2. Description of the Related Art A hardware description language (hereinafter abbreviated as HDL) enables circuit design at an operation level having a high abstraction level, and a register transfer level (RTL) or an abstraction level higher than that. Logic circuits can also be described at low logic gate levels. Therefore, it is used for designing various large-scale logic circuits.
This HDL includes, for example, VHDL (Very High Spe
ed Integrated Circuit Hardware Description L
anguage), or Verilog-HDL, etc. are known.

【０００３】又回路設計に於ける論理シミュレーション
は、例えば、設計された回路をシミュレーションモデル
に変換し、このシミュレーションモデルと、テキストエ
ディタ或いは波形エディタ等を用いて生成したテストパ
ターンとを論理シミュレータに入力して実行するもので
あり、その論理シミュレーション結果の波形データを、
例えば、シミュレーション結果解析ツールにより解析
し、設計された回路の動作の正常性を確認するものであ
る。In the logic simulation in the circuit design, for example, the designed circuit is converted into a simulation model, and the simulation model and a test pattern generated by using a text editor or a waveform editor are input to the logic simulator. Waveform data of the logical simulation result,
For example, the normality of the operation of the designed circuit is confirmed by analyzing with a simulation result analysis tool.

【０００４】又外部ファイルにテストパターンを記述
し、論理シミュレーション時に、ＨＤＬのファイルアク
セス機能を用いて外部ファイルからテストパターンを読
込む方法や、テストベンチ上に直接テストパターンを記
述する方法が知られている。この場合、ＶＨＤＬに於い
ては、ＴＥＸＴＩＯがテストパターンのインタフェース
として知られており、このＴＥＸＴＩＯのパッケージを
呼出して、外部ファイルからテストパターンを読込むこ
とになる。Further, there are known a method of writing a test pattern in an external file and reading the test pattern from the external file by using the file access function of HDL at the time of logic simulation, and a method of writing the test pattern directly on the test bench. ing. In this case, in VHDL, TEXTIO is known as an interface of a test pattern, and this TEXTIO package is called to read the test pattern from an external file.

【０００５】[0005]

【発明が解決しようとする課題】半導体技術の進歩によ
って論理回路の集積度を高くすることが可能となり、回
路規模の増大に伴って論理シミュレーション時のテスト
パターンが長大化する傾向にある。このように長大化し
たテストパターンをテキストベース言語により記述した
場合、作成時間が長くなると共に修正が容易でない問題
がある。又波形データによりテストパターンを記述した
場合、時間軸上の波形の確認が容易であるが、入力操作
が煩雑となると共に、時間軸上の波形の変更等の処理が
困難となる問題がある。The progress of semiconductor technology has made it possible to increase the degree of integration of logic circuits, and as the circuit scale increases, the test patterns during logic simulation tend to become longer. When such a lengthened test pattern is described in a text-based language, there is a problem that it takes a long time to create and the correction is not easy. Further, when the test pattern is described by the waveform data, it is easy to confirm the waveform on the time axis, but there is a problem that the input operation becomes complicated and the process of changing the waveform on the time axis becomes difficult.

【０００６】又外部ファイルにテストパターンを記述
し、このテストパターンを読込んで論理シミュレーショ
ンを行う場合、読込んだテストパターンデータとシミュ
レーションモデルとの対応をテストベンチ上に記述しな
ければならない。又ＨＤＬに於けるファイルアクセス機
能は、一般のソフトウェア高級言語に比較して充分では
ないから、その読込みの機能を記述する為に相当の時間
を要することになり、又ＨＤＬのファイルアクセス機能
の処理速度が遅いので、シミュレーションの効率化を図
ることが困難である。When a test pattern is described in an external file and the test pattern is read to perform a logical simulation, the correspondence between the read test pattern data and the simulation model must be described on the test bench. Also, since the file access function in HDL is not sufficient compared to general software high-level languages, it takes a considerable time to describe the read function, and the processing of the HDL file access function Since the speed is slow, it is difficult to improve the efficiency of the simulation.

【０００７】又テストベンチ上にテストパターンを記述
して論理シミュレーションを行う場合、集積度が高い論
理回路に対してはテストベンチ上の記述量が多くなり、
従って、テストパターンの修正も容易でないものとな
る。又回路の記述とテストパターンの記述とが同一ソー
スであるから、ソースの版数管理に於いて混乱が発生す
る問題がある。Further, when a test pattern is described on the test bench and a logic simulation is performed, the description amount on the test bench increases for a logic circuit having a high degree of integration.
Therefore, it is not easy to correct the test pattern. Further, since the description of the circuit and the description of the test pattern are the same source, there is a problem that confusion occurs in version number management of the source.

【０００８】又Ｃ言語によりテストパターンを記述する
場合、Ｃ言語によるプログラム作成の熟練者でなければ
困難であった。又熟練したプログラマが作成する場合
も、信号発生手順は、文字と整数とが混在する処理を行
う場合が多く、文字型から整数型へ、又整数型から文字
型への変換を行いながら、比較や代入等の各種の処理を
行う必要があるから、簡単には記述することができない
問題があった。本発明は、テストパターンの生成を容易
にし、生成したテストパターンを用いて論理シミュレー
ションを容易に実行することを目的とする。Further, it has been difficult to describe a test pattern in C language unless the user is skilled in programming in C language. Even when a skilled programmer creates it, the signal generation procedure often involves processing in which characters and integers are mixed, and comparison is performed while converting from character type to integer type or from integer type to character type. There is a problem that it cannot be easily described because it is necessary to perform various processes such as substitution and substitution. An object of the present invention is to facilitate generation of a test pattern and to easily execute a logic simulation using the generated test pattern.

【０００９】[0009]

【課題を解決するための手段】本発明のテストパターン
生成方法は、プログラム言語のＣ言語に準拠し、このＣ
言語に於ける文字型と整数型との間の変換，代入，演算
を可能としたＣ類似言語により信号発生手順を記述し、
このＣ類似言語による信号発生手順をコンパイラによっ
てＣ言語に変換し、このＣ言語による信号発生手順を実
行してテストパターンを生成する過程を含むものであ
る。The test pattern generation method of the present invention is based on the C language of the programming language, and the C
Describe the signal generation procedure in a C-like language that enables conversion, substitution and operation between character type and integer type in the language,
This includes a process of converting the signal generation procedure in the C-like language into C language by a compiler and executing the signal generation procedure in the C language to generate a test pattern.

【００１０】又プログラム言語のＣ言語に準拠し、この
Ｃ言語に於ける文字型と整数型との間の変換，代入，演
算を可能とし、データタイプ宣言部とデータ定義部と実
行文部とを含むＣ類似言語により信号発生手順を記述
し、このＣ類似言語による信号発生手順の前記データタ
イプ宣言部とデータ定義部との構文解析により辞書を作
成し、前記実行文部の構文解析時に前記辞書を検索し
て、この実行文部の内容に相当するＣコードに変換する
過程を含むものである。Further, in accordance with the C language of the programming language, conversion, substitution and operation between the character type and the integer type in this C language are possible, and the data type declaration part, the data definition part and the execution statement part are provided. The signal generation procedure is described in the C-like language including the dictionary, the dictionary is created by the syntax analysis of the data type declaration part and the data definition part of the signal generation procedure in the C-like language, and the dictionary is created when the execution statement part is parsed. It includes a process of searching and converting into a C code corresponding to the content of this execution statement part.

【００１１】又前記辞書は、レコードタイプ宣言の中に
他のレコードタイプ宣言を含むデータ構造のデータタイ
プ宣言部について、それぞれのレコードタイプ対応の辞
書テーブルをリンクさせることにより、前記実行文部の
構文解析時の詳細情報の検索を行う過程を含むことがで
きる。Further, in the dictionary, a syntax analysis of the execution statement part is performed by linking a dictionary table corresponding to each record type with respect to a data type declaration part of a data structure including another record type declaration in the record type declaration. A process of searching for detailed information on time can be included.

【００１２】又本発明の論理シミュレーション方法は、
プログラム言語のＣ言語に準拠し、このＣ言語に於ける
文字型と整数型との間の変換，代入，演算を可能とした
Ｃ類似言語により信号発生手順を記述し、このＣ類似言
語による信号発生手順をコンパイラによってＣ言語に変
換し、インタフェースプログラムによって、ハードウェ
ア記述言語（ＨＤＬ）により記述された回路の論理シミ
ュレーション時のシミュレーションモデルに結合させ、
この回路の論理シミュレーションを実行する過程を含む
ものである。The logic simulation method of the present invention is
A signal generation procedure is described in a C-like language that conforms to the C language of the programming language and that enables conversion, substitution, and operation between character types and integer types in this C language, and signals in this C-like language. The generation procedure is converted into C language by the compiler, and is combined with the simulation model at the time of logic simulation of the circuit described by the hardware description language (HDL) by the interface program,
It includes a process of executing a logic simulation of this circuit.

【００１３】[0013]

【作用】文字型と整数型との間の変換，代入，演算を可
能としたＣ類似言語を用いて信号発生手順を記述する。
このＣ類似言語による信号発生手順をＣ言語にコンパイ
ルし、このＣ言語による信号発生手順を実行することに
よってテストパターンを生成する。The signal generation procedure is described by using a C-like language that enables conversion, substitution, and calculation between character type and integer type.
The signal generation procedure in the C-like language is compiled into the C language, and the test pattern is generated by executing the signal generation procedure in the C language.

【００１４】又信号発生手順を、データタイプ宣言部と
データ定義部と実行文部とを含むＣ類似言語によって記
述する。このデータタイプ宣言部とデータ定義部との解
析によって辞書を作成し、この辞書を実行文部の解析時
に検索してＣコードに変換することによって、Ｃ類似言
語による信号発生手順をＣ言語による信号発生手順に変
換する。このＣ言語による信号発生手順を実行すること
により、所望のテストパターンを生成することができ
る。The signal generation procedure is described in a C-like language including a data type declaration part, a data definition part, and an execution statement part. A dictionary is created by the analysis of the data type declaration part and the data definition part, and this dictionary is searched during the analysis of the execution sentence part and converted into a C code, so that the signal generation procedure in the C-like language is generated in the C language. Convert to a procedure. A desired test pattern can be generated by executing the signal generation procedure in C language.

【００１５】又レコードタイプ宣言の中に他のレコード
タイプ宣言を含む場合に、それぞれのレコードタイプ宣
言対応の辞書テーブルをリンクさせる。従って、実行文
部の解析時に辞書テーブルを検索して詳細情報を得るこ
とによりＣコードに変換することができる。When another record type declaration is included in the record type declaration, the dictionary tables corresponding to the respective record type declarations are linked. Therefore, it can be converted into a C code by searching the dictionary table and obtaining detailed information when analyzing the execution statement part.

【００１６】又Ｃ類似言語による信号発生手順をコンパ
イラによってＣ言語に変換し、ＨＤＬにより記述された
回路の論理シミュレーションモデルとの間をインタフェ
ースプログラムを介して結合する。それによって、論理
シミュレーションの実行時に信号発生手順がシミュレー
ションモデルに組み込まれた状態となり、外部ファイル
に対するアクセス等が必要でなく、論理シミュレーショ
ンの実行を高速化することができる。又インタフェース
プログラムによってテストパターン生成の為のプログラ
ムとＨＤＬにより記述された回路とが独立した状態とな
り、それぞれ独立した体系で作成，管理することができ
る。The signal generation procedure in the C-like language is converted into the C language by the compiler, and the logic simulation model of the circuit described in HDL is connected via the interface program. As a result, the signal generation procedure is incorporated in the simulation model when the logical simulation is executed, and it is possible to speed up the execution of the logical simulation without requiring access to an external file. Further, the interface program makes the program for generating the test pattern and the circuit described in HDL independent of each other, and can be created and managed in an independent system.

【００１７】[0017]

【実施例】図１は本発明の実施例のテストパターン生成
の概要説明図であり、Ｃ言語に準拠し、このＣ言語に於
ける文字型と整数型との間の変換，代入，演算を可能と
したＣ類似言語により発生プロセス１を記述する。この
Ｃ類似言語による発生プロセス１をテストパターン生成
システム２によりＣ言語プログラム３に変換する。又コ
ンパイラ・リンケージ５は、Ｃ言語プログラム３，４を
ライブラリ形式又は実行形式に変換する。ライブラリ形
式に変換したライブラリ形式ファイル６を形成した場合
は、ＨＤＬシミュレータとの接続により、ＨＤＬによっ
て記述された各種の論理回路の論理シミュレーションを
行うことができる。又実行形式に変換した実行形式ファ
イル７を形成した場合は、他のプログラム言語により記
述された論理回路の論理シミュレーションに於けるテス
トパターン生成ツールとして使用することができる。DESCRIPTION OF THE PREFERRED EMBODIMENTS FIG. 1 is a schematic explanatory diagram of test pattern generation according to an embodiment of the present invention, which is based on the C language, and performs conversion, substitution, and operation between the character type and the integer type in the C language. The generation process 1 is described in the enabled C-like language. The generation process 1 in the C-like language is converted into the C language program 3 by the test pattern generation system 2. The compiler linkage 5 converts the C language programs 3 and 4 into a library format or an execution format. When the library format file 6 converted into the library format is formed, the logic simulation of various logic circuits described by HDL can be performed by connecting with the HDL simulator. Further, when the execution format file 7 converted into the execution format is formed, it can be used as a test pattern generation tool in a logic simulation of a logic circuit described in another programming language.

【００１８】発生プロセス１を記述するＣ類似言語の基
本的な規則はＣ言語に準拠するものであり、このＣ類似
言語について簡単に説明する。データタイプには、信号
タイプとレコード信号タイプと変数タイプとの３種類が
あり、信号タイプとレコード信号タイプとは信号値を扱
うデータタイプであり、又変数タイプは整数を扱うデー
タタイプであって、符号付き整数を示すｉｎｔと、符号
無し整数を示すｕｎｓｉｇｎｅｄとがある。又信号値
は、ＶＨＤＬのＩＥＥＥ−１１６４規格の９値信号
（１，０，Ｈ，Ｌ，Ｗ，Ｕ，Ｚ，−）を示す。The basic rule of the C-like language that describes the generation process 1 conforms to the C language, and the C-like language will be briefly described. There are three types of data types: signal type, record signal type, and variable type. The signal type and record signal type are data types that handle signal values, and the variable types are data types that handle integers. , Int indicating a signed integer and unsigned indicating an unsigned integer. Further, the signal value indicates a nine-valued signal (1, 0, H, L, W, U, Z,-) of VHDL IEEE-1164 standard.

【００１９】又信号タイプとレコード信号タイプから変
数タイプへの変換が可能であり、その場合に、前述の９
値の信号値１，Ｈは数値の１、信号値の０，Ｌ，Ｘ，
Ｗ，Ｕ，Ｚ，−は数値の０に変換される。又変数タイプ
から信号タイプ或いはレコード信号タイプへの変換も可
能であり、その場合、数値の１は信号値の１、数値の０
は信号値の０に変換される。又信号タイプ或いはレコー
ド信号タイプの変数タイプへの代入、及び変数タイプの
信号タイプ或いはレコード信号タイプへの代入が可能で
ある。前述の信号タイプとレコード信号タイプとがＣ言
語に於ける文字型に相当し、又変数タイプがＣ言語に於
ける整数型に相当する。Further, it is possible to convert the signal type and the record signal type into the variable type, and in that case, the above 9
Value signal value 1, H is numerical value 1, signal value 0, L, X,
W, U, Z, -are converted to the numerical value 0. It is also possible to convert from variable type to signal type or record signal type. In that case, numerical value 1 is signal value 1 and numerical value 0.
Is converted to the signal value 0. Further, it is possible to substitute the signal type or the record signal type for the variable type and the variable type for the signal type or the record signal type. The above-mentioned signal type and record signal type correspond to the character type in the C language, and the variable type corresponds to the integer type in the C language.

【００２０】図２は固有データ記憶テーブル及びモジュ
ール関係の説明図であり、固有データ記憶テーブル１０
は、ＩＤ番号，テストパターンサイズ，テストパターン
領域，使用変数数，使用変数領域，発生回数等を含み、
テストパターン領域は右側の符号１１に示すように、
“０”，“１”によるテストパターンが格納される。又
使用変数領域は右側に符号１２に示すように、変数名と
値とがそれぞれ格納されてる。FIG. 2 is an explanatory diagram of the unique data storage table and the module relationship. The unique data storage table 10 is shown.
Includes ID number, test pattern size, test pattern area, number of used variables, used variable area, number of occurrences, etc.,
The test pattern area is, as indicated by reference numeral 11 on the right side,
A test pattern of "0" and "1" is stored. Further, as shown by reference numeral 12 on the right side of the used variable area, a variable name and a value are stored respectively.

【００２１】固有データ記憶テーブル作成モジュール１
３は、パラメータを用いて初期値を設定し、１個の固有
データ記憶テーブル１０を作成する。又テストパターン
生成モジュール１４は、パラメータを用いて論理回路の
ピンと値とを設定し、そのピン対応の１個のテストパタ
ーンを生成する。従って、値の異なるテストパターンを
複数生成する場合は、それぞれピンと値とを設定するこ
とによって、複数のテストパターンを生成することがで
きる。又予め固有データ記憶テーブル作成モジュール１
３により複数の固有データ記憶テーブル１０を作成して
テストパターン生成モジュール１４に渡し、このテスト
パターン生成モジュール１４は、それぞれ固有データ記
憶テーブルを用いてテストパターンを生成することもで
きる。Unique data storage table creation module 1
3 sets an initial value using a parameter and creates one unique data storage table 10. Further, the test pattern generation module 14 sets a pin and a value of the logic circuit by using the parameter and generates one test pattern corresponding to the pin. Therefore, when a plurality of test patterns having different values are generated, a plurality of test patterns can be generated by setting pins and values respectively. In addition, a unique data storage table creation module 1
3, a plurality of unique data storage tables 10 are created and passed to the test pattern generation module 14, and the test pattern generation module 14 can also generate a test pattern using each unique data storage table.

【００２２】図３は固有データ記憶テーブル作成処理フ
ローチャートであり、固有データ記憶テーブル１０の使
用変数数によって示される使用変数分のループを実行す
るもので、その使用変数分のループか否かを判定し（ａ
１）、使用変数分のループが終了しない場合（ループ
中）は、ループ数から現在の使用変数領域の位置（配列
位置）を判定し（ａ２）、その配列位置に格納されてい
る値をテストパターン領域に書込み（ａ３）、これを繰
り返すことによりテストパターンを生成する。FIG. 3 is a flowchart of the processing for creating a unique data storage table, which executes a loop for the used variables indicated by the number of used variables in the unique data storage table 10 and determines whether or not the loop for the used variables. Shi (a
1) If the loop for the used variables does not end (during the loop), the current position of the used variable area (array position) is determined from the number of loops (a2), and the value stored in the array position is tested. A test pattern is generated by writing (a3) in the pattern area and repeating this.

【００２３】図４はコンパイラの説明図であり、前述の
Ｃ類似言語により記述した信号発生手順１５は、図１の
発生プロセス１に相当し、コンパイラ１６は、図１のテ
ストパターン生成システム２に相当し、信号発生器１７
は、図１のＣ言語プログラム３，４に相当する。FIG. 4 is an explanatory diagram of the compiler. The signal generation procedure 15 described in the C-like language described above corresponds to the generation process 1 of FIG. 1, and the compiler 16 controls the test pattern generation system 2 of FIG. Corresponding to the signal generator 17
Corresponds to the C language programs 3 and 4 in FIG.

【００２４】コンパイラ１６は、前述のＣ類似言語によ
り記述したプログラムを解析処理部１８により解析し、
実行文の解析結果に対応するＣ言語のコードを出力する
もので、解析処理部１８は、Ｃ類似言語によるデータタ
イプ宣言とデータ定義の部分を構文解析して辞書１９を
作成する。そして、実行文解析時にこの辞書１９を検索
して、実行文に相当するＣ言語のコードを出力して信号
発生器１７に加え、信号発生器１７からテストパターン
を出力する。The compiler 16 analyzes the program described in the C-like language by the analysis processing unit 18,
The C language code corresponding to the analysis result of the executable statement is output, and the analysis processing unit 18 creates a dictionary 19 by parsing the data type declaration and data definition portions in the C similar language. Then, during the execution sentence analysis, the dictionary 19 is searched, a C language code corresponding to the execution sentence is output and added to the signal generator 17, and a test pattern is output from the signal generator 17.

【００２５】図５は信号発生器関数の動作概要説明図で
あり、前述のコンパイラ１６によってコンパイルされた
Ｃ言語は、Ｃ類似言語による信号発生手順中で使用され
る変数の領域を確保する関数（ａ）と、その領域を使用
して信号発生手順に従った発生処理を行う関数（ｂ）と
を有し、関数（ａ）を呼ぶことにより複数の信号発生器
を作成することができるものである。FIG. 5 is an explanatory view of the outline of the operation of the signal generator function. The C language compiled by the compiler 16 described above is a function for securing a variable area used in a signal generation procedure in the C-like language ( a) and a function (b) that performs generation processing according to a signal generation procedure using the area, and a plurality of signal generators can be created by calling the function (a). is there.

【００２６】前述の図５に於いては、Ａ，Ｂ，Ｃ信号発
生器作成要求に対応した信号発生器領域作成関数によっ
て、それぞれ信号発生器を構成するＡ，Ｂ，Ｃ信号発生
器領域が確保される。そして、例えば、Ａ信号発生器領
域を信号発生器関数に知らせることにより、Ａ信号発生
器の発生信号が出力される。即ち、同様な手順によって
複数の信号発生器を起動できるものである。In FIG. 5 described above, the A, B, and C signal generator regions constituting the signal generator are respectively defined by the signal generator region generation function corresponding to the A, B, and C signal generator generation request. Reserved. Then, for example, the signal generated by the A signal generator is output by informing the signal generator function of the A signal generator region. That is, a plurality of signal generators can be activated by the same procedure.

【００２７】信号発生器の構成としては、データタイプ
宣言部と信号発生器定義とからなり、又データタイプ宣
言部は、記号データタイプ宣言とレコードタイプ宣言と
からなる。又信号発生器定義は、信号，変数の宣言を行
う変数宣言部と、信号発生器の発生手順を記述する実行
文部とからなる。この信号発生器定義内で呼出される任
意数の信号発生器定義を記述することが可能である。又
信号発生器定義の中で使用する実行文は、代入文，条件
文，スイッチ文，ブレーク文，複文，空文がある。The structure of the signal generator comprises a data type declaration section and a signal generator definition, and the data type declaration section comprises a symbol data type declaration and a record type declaration. The signal generator definition is composed of a variable declaration section for declaring signals and variables, and an execution statement section for describing the generation procedure of the signal generator. It is possible to describe any number of signal generator definitions that are called within this signal generator definition. The executable statements used in the signal generator definition include assignment statements, conditional statements, switch statements, break statements, compound statements, and empty statements.

【００２８】図６は本発明の実施例のテーブルの説明図
であり、図４に於ける辞書１９の構成を示す。即ち、管
理テーブルｓｇｉ ｍａｎａｇ、記号データタイプ宣言
管理テーブルｓｇｉ ｔｙｐｍａｎｇ、記号データタイ
プ宣言格納テーブルｓｇｉ ｔｙｐｄａｔａ、レコード信
号タイプテーブルｓｇｉ ｒｅｃｍａｎｇ、辞書管理テ
ーブルｓｇｉ ｄｉｃｍａｎｇ、信号／レコード辞書テ
ーブルｓｇｉ ｄｉｃｓｉｇ、信号発生器辞書テーブル
ｓｇｉ ｄｉｃｇｅｎ、変数辞書テーブルｓｇｉ ｄｉ
ｃｖａｌを含むものである。FIG. 6 is an explanatory diagram of a table according to the embodiment of the present invention.
And shows the configuration of the dictionary 19 in FIG. That is, the pipe
Science table sgi manag, symbolic data type declaration
Management table sgi typmang, symbol data Thailand
Storage table sgi typedata, record message
No. type table sgi recmang, dictionary management
Table sgi dicmang, signal / record dictionary
Table sgi dicsig, signal generator dictionary table
sgi dicgen, variable dictionary table sgi di
It includes cval.

【００２９】図７は本発明の実施例の管理テーブルの説
明図であり、この管理テーブルｓｇｉ ｍａｎａｇは、
信号発生器プログラムを管理するテーブルで、他の定義
テーブルや辞書テーブル等のアドレスや、入出力ファイ
ル名及びそのポインタも管理するものであり、入力ファ
イル名ｓｇｉｎａｍｅ、入力ファイル用ファイルポイン
タｓｇｉｆｐ、出力ファイル名ｏｕｔｎａｍｅ、出力フ
ァイル用ファイルポインタｏｕｔｆｐ、記号データタイ
プ宣言管理テーブルへのポインタｔｙｐｍａｎｇ、レコ
ード信号タイプ宣言格納テーブルへのポインタｒｅｃｍ
ａｎｇ、辞書テーブルへのポインタｄｉｃｍａｎｇ、ｅ
ｓｔｏｃｋテーブル信号値格納領域の最大値ｓｉｇｓ
ｉｚｅから構成されている。FIG. 7 is an explanatory diagram of the management table according to the embodiment of the present invention. This management table sgi manag is
A table that manages the signal generator program, which also manages addresses of other definition tables, dictionary tables, etc., input / output file names and their pointers. Input file name sginame, input file file pointer sgifp, output file Name outname, file pointer outfp for output file, pointer typman to symbol data type declaration management table, pointer recm to record signal type declaration storage table
ang, pointer to dictionary table dicmang, e
Maximum value of stock table signal value storage area sigs
It is composed of size.

【００３０】図８は本発明の実施例の記号データタイプ
宣言管理テーブル及び記号データタイプ宣言格納テーブ
ルの説明図であり、記号データタイプ宣言管理テーブル
ｓｇｉ ｔｙｐｍａｎｇは、“ｔｙｐｅｄｅｆ”文の情
報を格納するテーブルで、次のテーブルへのポインタｎ
ｅｘｔｐ、記号データタイプ名ｔｙｐｎａｍｅ、記号デ
ータのサイズ（ビット長）ｌｅｎｇ、記号データ数ｎｕ
ｍ、記号データタイプ宣言格納テーブルへのポインタｔ
ｙｐｄａｔａから構成されている。FIG. 8 is an explanatory diagram of the symbol data type declaration management table and the symbol data type declaration storage table according to the embodiment of the present invention. The symbol data type declaration management table sgi is shown in FIG. typmang is a table that stores information of a “typedef” statement, and is a pointer n to the next table.
ext, symbol data type name typname, symbol data size (bit length) length, number of symbol data nu
m, a pointer t to the symbol data type declaration storage table
It is composed of ypdata.

【００３１】又記号データタイプ宣言格納テーブルｓｇ
ｉ ｔｙｐｄａｔａは、記号データタイプの記号値とビ
ット値とを格納するテーブルで、記号データタイプ宣言
管理テーブルの記号データ数ｎｕｍに従った個数が存在
するものであり、次のテーブルへのポインタｎｅｘｔ
ｐ、記号値ｓｙｍｖａｌ、ビット値ｂｉｔｖａｌから構
成されている。The symbol data type declaration storage table sg
i The typedata is a table for storing the symbol value and the bit value of the symbol data type, the number of which corresponds to the symbol data number num of the symbol data type declaration management table exists, and a pointer next to the next table.
p, a symbol value symval, and a bit value bitval.

【００３２】図９は本発明の実施例のレコード信号タイ
プテーブルの説明図であり、このレコード信号タイプテ
ーブルｓｇｉ ｒｅｃｍａｎｇは、レコード宣言タイプ
を格納する場合と、その各メンバタイプの格納する場合
と、ビット宣言単体の場合と、ｕｎｉｏｎを表す場合と
の４通りがあり、次のテーブルへのポインタｎｅｘｔ
ｐ、タイプｔｙｐｅ、前述の４通りの場合の何れである
かを示すデータタイプ名ｔｙｐｎａｍｅ、シーケンシャ
ル番号ｓｅｑｎｏ、レコード宣言サイズｌｅｎｇ、レコ
ード宣言内の各メンバの相対バイト数ｐｏｓ、メンバ数
ｎｕｍ、レコード信号タイプメンバ情報格納テーブルへ
のポインタｍｅｍａｄｄｒ、メンバ名ｍｅｍｎａｍｅ、
記号データタイプ宣言管理テーブルへのポインタｔｙｐ
ａｄｄｒから構成されている。FIG. 9 is an explanatory view of the record signal type table of the embodiment of the present invention. This record signal type table sgi There are four types of rechang: storing a record declaration type, storing each member type thereof, a bit declaration alone, and representing a union, and a pointer next to the next table.
p, type type, data type name typname indicating which of the above four cases, sequential number seqno, record declaration size len, relative byte number pos of each member in the record declaration, member number num, record signal Pointer to type member information storage table memaddr, member name memname,
Pointer type to the symbol data type declaration management table
It is composed of addr.

【００３３】図１０は本発明の実施例の辞書管理テーブ
ルの説明図であり、この辞書管理テーブルｓｇｉ ｄｉ
ｃｍａｎｇは、信号／レコード，信号発生器，変数の３
つのタイプ別に検索できるように、それぞれ対応する下
位のテーブル（インデックステーブル）を備えており、
信号／レコード数ｓｉｇｎｕｍ、信号／レコード辞書テ
ーブルへのポインタｄｉｃｓｉｇ、信号発生器サイズの
インクリメント（トータルサイズ）ｇｅｎｓｉｚｅ、信
号発生器数ｇｅｎｎｕｍ、信号発生器辞書テーブルへの
ポインタｄｉｃｇｉｎ、変数の数ｖａｌｎｕｍ、変数辞
書テーブルへのポインタｄｉｃｖａｌ、信号発生器の型
各名ｇｅｎｔｙｐ、ビット長ｂｉｔｓｉｚｅ、信号発生
器名ｇｅｎｉｎｓｔ、ラベル作成追番ｌｂｌｍａｎｇ、
ｅ ｓｔｏｃｋテーブルの階層深さｄｅｐｍａｎｇから
構成されている。FIG. 10 is an explanatory diagram of a dictionary management table according to the embodiment of the present invention. This dictionary management table sgi di
cmang is a signal / record, a signal generator, and a variable 3
It has a corresponding lower table (index table) so that you can search by one type.
Signal / record number signal, pointer dicsig to signal / record dictionary table, signal generator size increment (total size) gensize, number of signal generator gennum, pointer to signal generator dictionary table dicgin, number of variables valnum, variable Pointer dicval to dictionary table, signal generator type name gentyp, bit length bitsize, signal generator name geninst, label creation serial number lblmang,
e The stock table is composed of the hierarchy depth depth.

【００３４】図１１は本発明の実施例の信号／レコード
辞書テーブルの説明図であり、この信号／レコード辞書
テーブルｓｇｉ ｄｉｃｓｉｇは、信号／レコードのデ
ータタイプやサイズ，メンバ数，メンバ名等を格納して
いるテーブルを検索する為の辞書テーブルで、次の信号
／レコード辞書テーブルへのポインタｎｅｘｔｐ、対応
するレコード信号タイプ宣言格納テーブルへのポインタ
ｒｅｃｍａｎｇ、シーケンシャル番号ｓｅｑｎｕｍ、信
号／レコード名ｓｉｇｎａｍｅ、初期値ｓｉｇｉｎｉｔ
から構成されている。FIG. 11 is an explanatory diagram of the signal / record dictionary table of the embodiment of the present invention. This signal / record dictionary table sgi is shown. dicsig is a dictionary table for searching a table that stores data types and sizes of signals / records, the number of members, member names, and the like. A pointer nextp to the next signal / record dictionary table and a corresponding record signal type Pointer to the declaration storage table, recmang, sequential number seqnum, signal / record name signname, initial value signinit
It consists of

【００３５】図１２は本発明の実施例の信号発生器辞書
テーブル及び変数辞書テーブルの説明図であり、信号発
生器辞書テーブルｓｇｉ ｄｉｃｇｅｎは、信号発生器
の型名，固有名，信号発生器固有データテーブル内の信
号発生器識別子格納配列領域の配列番号等を格納する辞
書テーブルで、次の信号発生器辞書テーブルへのポイン
タｎｅｘｔｐ、シーケンシャル番号ｓｅｑｎｕｍ、信号
発生器固有名ｉｎｓｔｎａｍｅ、信号発生器型各名ｔｙ
ｐｎａｍｅ、信号発生器名ｇｅｎｎａｍｅから構成され
ている。FIG. 12 is an explanatory diagram of the signal generator dictionary table and the variable dictionary table of the embodiment of the present invention. The signal generator dictionary table sgi is shown in FIG. dicgen is a dictionary table that stores the type name, unique name of the signal generator, the array number of the signal generator identifier storage array area in the signal generator unique data table, and the pointer nextp to the next signal generator dictionary table. , Sequential number seqnum, signal generator proper name instname, signal generator type name ty
It is composed of a pname and a signal generator name genname.

【００３６】又変数辞書テーブルｓｇｉ ｄｉｃｖａｌ
は、変数名やその初期値を格納する辞書テーブルで、次
の変数辞書テーブルへのポインタｎｅｘｔｐ、シーケン
シャル番号ｓｅｑｎｕｍ、変数の型ｔｙｐｆｌｇ、変数
名ｖａｌｎａｍｅ、初期値ｖａｌｉｎｉｔから構成され
ている。The variable dictionary table sgi dicval
Is a dictionary table that stores variable names and their initial values, and is composed of a pointer nextp to the next variable dictionary table, a sequential number seqnum, a variable type typflg, a variable name valname, and an initial value valinit.

【００３７】図１３は本発明の実施例のテーブル接続関
係説明図であり、前述の各テーブルの接続関係を示し、
管理テーブルｓｇｉ ｍａｎａｇのポインタｔｙｐｍａ
ｎｇにより記号データタイプ宣言管理テーブルｓｇｉ
ｔｙｐｍａｎｇ、ポインタｒｅｃｍａｎｇによりレコー
ド信号タイプ宣言格納テーブルｓｇｉ ｒｅｃｍａｎ
ｇ、ポインタｄｉｃｍａｎｇにより辞書情報テーブルｓ
ｇｉ ｄｉｃｍａｎｇがそれぞれ指示される。FIG. 13 is an explanatory diagram of the table connection relation of the embodiment of the present invention, showing the connection relation of each table described above.
Management table sgi pointer typma of manag
ng symbol data type declaration management table sgi
record signal type declaration storage table sgi by typmang and pointer recmang recman
g, dictionary information table s by pointer dicmang
gi dicmang is designated respectively.

【００３８】又記号データタイプ宣言管理テーブルｓｇ
ｉ ｔｙｐｍａｎｇからポインタｔｙｐｄａｔａにより
記号データタイプ宣言格納テーブルｓｇｉ ｔｙｐｄａ
ｔａが指示される。又レコード信号タイプ宣言格納テー
ブルｓｇｉ ｒｅｃｍａｎｇは、管理テーブルｓｇｉ
ｍａｎａｇのポインタｔｙｐｍａｎｇと、レコード信号
宣言の場合の信号／レコード辞書テーブルｓｇｉ ｄｉ
ｃｓｉｇのポインタｒｅｃｍａｎｇとにより指示され
る。The symbol data type declaration management table sg
i Symbol data type declaration storage table sgi from typmang by pointer typdata typeda
ta is designated. Also, record signal type declaration storage table sgi recmang is the management table sgi
The pointer typman of the manag and the signal / record dictionary table sgi in the case of the record signal declaration di
It is designated by the csig pointer recmang.

【００３９】又辞書管理テーブルｓｉｇ ｄｉｃｍａｎ
ｇのポインタｄｉｃｓｉｇにより信号／レコード辞書テ
ーブルｓｇｉ ｄｉｃｓｉｇ、ポインタｄｉｃｇｅｎに
より信号発生器辞書テーブルｓｇｉ ｄｉｃｇｅｎ、ポ
インタｄｉｃｖａｌにより変数辞書テーブルｓｇｉ ｄ
ｉｃｖａｌが指示される。又信号単体の場合に、信号／
レコード辞書テーブルｓｇｉ ｄｉｃｓｉｇのポインタ
ｒｅｃｍａｎｇによりレコード信号タイプテーブルｓｇ
ｉ ｒｅｃｍａｎｇが指示される。The dictionary management table sig dicman
signal / record dictionary table sgi by pointer dicsig of g signal generator dictionary table sgi by dicsig and pointer dicgen variable dictionary table sgi by dicgen and pointer dicval d
icval is indicated. In the case of a single signal,
Record dictionary table sgi Record signal type table sg by pointer recmang of dicsig
i rechang is instructed.

【００４０】図１４，図１５及び図１６は本発明の実施
例の実行文に対するＣコードの説明図であり、実行文の
代入文，条件文，スイッチ文，ブレーク文，複文，空文
及び関数について、フォーマットと、実行文の解析によ
って出力されるＣコードとを示す。例えば、図１４に於
ける代入文は、式の結果をターゲット（ｔａｒｇｅｔ）
に格納するもので、ターゲットと式とが信号型と整数型
との組合せによって４通りのパターンの出力となる。な
お、ｅｓは式スタックを示し、ｅｓ０は式スタック０番
を表し、ｅｓ０ｉは式スタック０番の信号領域、ｅｓ０
ｓは式スタック０番の整数領域を表す。又Ｓｇｃは共通
関数で、信号値の代入や演算，型変換等を行うことを示
し、又ｌｅｎｇはターゲット（ｔａｇｅｔ）の領域長を
表す。FIG. 14, FIG. 15 and FIG. 16 are explanatory diagrams of the C code for the execution statement of the embodiment of the present invention. The assignment statement of the execution statement, the conditional statement, the switch statement, the break statement, the compound statement, the empty statement and the function. For, the format and the C code output by the analysis of the executable statement are shown. For example, the assignment statement in FIG. 14 targets the result of the expression (target).
The target and the expression are output in four patterns depending on the combination of the signal type and the integer type. Note that es indicates the expression stack, es0 indicates the expression stack 0, es0i indicates the signal area of the expression stack 0, and es0
s represents the integer area of the formula stack 0. Further, Sgc is a common function, which indicates that signal value substitution, calculation, type conversion, etc. are performed, and length represents the area length of the target.

【００４１】又条件文は、条件の真偽に従って処理を分
岐するもので、条件文の式はｉｎｔ型であり、０の時に
偽、０以外の時に真と判定し、条件式の演算結果がｉｎ
ｔ型以外の時は、ｉｎｔ型への変換が行われる。The conditional statement branches processing according to the truth of the condition. The expression of the conditional statement is an int type. When it is 0, it is determined to be false, and when it is not 0, it is determined to be true, and the operation result of the conditional expression is in
When it is other than t type, conversion to int type is performed.

【００４２】又図１５に於けるスイッチ文は、複数の分
岐先の中から条件に合うものを選択するもので、条件に
合うものがない場合、ｄｅｆａｕｌｔの記述があればそ
の実行文を実行し、ｄｅｆａｕｌｔの記述がなければそ
の実行文を抜け出す。又ブレーク文は、スイッチ文の中
から抜ける為のものである。又図１６に於ける複文は、
複数の実行文を｛ ｝によってまとめたものであり、又
空文は何もしない文であり、フォーマットの；のみを出
力する。The switch statement in FIG. 15 selects one that meets the condition from a plurality of branch destinations. If there is no condition that meets the condition, the executable statement is executed if there is a default description. , Default, the execution statement is exited. The break statement is for exiting from the switch statement. The compound sentence in FIG. 16 is
A plurality of executable statements are grouped by {}. An empty sentence is a sentence that does nothing, and only the format; is output.

【００４３】図１７は本発明の実施例の代入文の解析処
理フローチャートであり、式の解析処理を行い（ｂ
１）、各代入パターンについて判定し（ｂ２）、式の計
算結果をターゲットの格納領域に格納する（ｂ３）〜
（ｂ６）。即ち、信号型同士の代入（ｂ３）、整数型同
士の代入（ｂ４）、信号型から整数型への代入は、式の
結果を整数型に変換してターゲットの領域に変換結果を
格納する（ｂ５），（ｂ７）。又整数型から信号型への
代入は、式の結果を信号型に変換してターゲットの領域
に変換結果を格納する（ｂ６），（ｂ８）。FIG. 17 is a flow chart of the assignment statement analysis processing according to the embodiment of the present invention.
1), determination is made for each substitution pattern (b2), and the calculation result of the expression is stored in the target storage area (b3)-
(B6). That is, in the assignment of signal types (b3), the assignment of integer types (b4), and the assignment of signal types to integer types, the result of the expression is converted into an integer type and the conversion result is stored in the target area ( b5), (b7). When substituting from the integer type to the signal type, the result of the expression is converted to the signal type and the conversion result is stored in the target area (b6) and (b8).

【００４４】図１８は本発明の実施例の条件文の解析処
理フローチャートであり、条件式の解析処理を行い（ｃ
１）、条件式の結果を判定し（ｃ２）、真（ｔ）の場合
は肯定の実行文群のＣコードを出力し（ｃ３）、偽
（ｆ）の場合は否定の実行文群のＣコードを出力する
（ｃ４）。FIG. 18 is a flowchart for analyzing conditional statements according to the embodiment of the present invention, in which conditional expressions are analyzed (c
1), the result of the conditional expression is determined (c2), the C code of the positive execution statement group is output if it is true (t) (c3), and the C code of the negative execution statement group is output if it is false (f). The code is output (c4).

【００４５】図１９は本発明の実施例のスイッチ文及び
ブレーク文の解析処理フローチャートであり、スイッチ
文（ｓｗｉｔｃｈ文）について式の解析処理を行い（ｄ
１）、解析結果をスタックに格納し（ｄ２）、ケース１
として、リテラルの解析処理を行い（ｄ３）、リテラル
とスタックとの比較し（ｄ４）、比較結果を判定し（ｄ
５）、比較結果が真（ｔ）（比較一致）の場合はフラグ
をオン（“１”）とし（ｄ６）、偽（ｆ）（比較不一
致）の場合はそのままとする。そして、フラグを判定し
（ｄ７）、フラグがオン（“１”）ならば真（ｔ）とし
て、ケース１の実行文群のＣコードを出力する（ｄ
８）。FIG. 19 is a flow chart for analyzing a switch statement and a break statement according to the embodiment of the present invention. Expression analysis processing is performed for a switch statement (switch statement) (d).
1), the analysis result is stored in the stack (d2), and case 1
, The literal is analyzed (d3), the literal is compared with the stack (d4), and the comparison result is judged (d3).
5) If the comparison result is true (t) (comparison match), the flag is turned on ("1") (d6), and if false (f) (comparison disagreement), it is left as it is. Then, the flag is judged (d7), and if the flag is on ("1"), it is true (t) and the C code of the execution statement group of case 1 is output (d).
8).

【００４６】又フラグがオン（“１”）でない時は、ケ
ース２のリテラル解析処理を行い（ｄ９）、リテラルと
スタックとを比較し（ｄ１０）、比較結果を判定し（ｄ
１１）、真（ｔ）（比較一致）の場合はフラグをオン
（“１”）とし（ｄ１２）、次にフラグを判定し（ｄ１
３）、フラグがオン（“１”）ならば真（ｔ）としてケ
ース２の実行文群のＣコードを出力する（ｄ１４）。以
下同様にして、デフォルト（ｄｅｆａｕｌｔ）の実行文
群のＣコードを出力する（ｄ１５）。又ブレーク文（ｂ
ｒｅａｋ）がケース１，２，・・・の実行文群に存在す
る場合は、ステップ（ｄ１６）のように、そのブレーク
文が真（ｔ）の場合にスイッチ文を抜けることになり、
偽（ｆ）の場合は次にステップが移行することになる。When the flag is not on ("1"), the literal analysis processing of case 2 is performed (d9), the literal and the stack are compared (d10), and the comparison result is judged (d9).
11), if true (t) (comparison match), the flag is turned on ("1") (d12), and then the flag is determined (d1).
3) If the flag is on ("1"), the C code of the execution statement group of case 2 is output as true (t) (d14). Similarly, the C code of the default (default) execution statement group is output (d15). Also break statement (b
If the break statement exists in the execution statement group of cases 1, 2, ..., As in step (d16), if the break statement is true (t), the switch statement is exited.
If false (f), the step moves to the next step.

【００４７】図２０は本発明の実施例の関数の解析処理
フローチャートであり、パラメータ群について解析処理
を行い（ｅ１），（ｅ２），（ｅ３）、式の解析結果を
パラメータとして関数を実行する（ｅ４）。FIG. 20 is a flow chart of the function analysis processing of the embodiment of the present invention. The analysis processing is performed on the parameter group (e1), (e2), (e3), and the function is executed using the analysis result of the equation as a parameter. (E4).

【００４８】図２１は本発明の実施例の信号発生器の動
作説明図であり、実線矢印はコンパイルの流れを示し、
点線矢印は信号発生器の動作の流れを示す。前述のＣ類
似言語によるプログラム３１を解析部３２により解析す
るもので、例えば、Ｃ類似言語によるｉｎｔ Ａ，
Ｂ，・・・のデータ部分を解析して辞書３３を形成す
る。辞書３３は図１０に示す辞書管理テーブル等を含
み、変数詳細情報として、変数Ａ，Ｂ，・・・対応に、
名前Ａ，Ｂ，・・・、ｉｎｔ等の型、格納位置、領域長
等が格納される。FIG. 21 is a diagram for explaining the operation of the signal generator according to the embodiment of the present invention, in which the solid arrow indicates the flow of compilation,
The dotted arrows show the flow of operation of the signal generator. The program 31 in the C-similar language is analyzed by the analysis unit 32. For example, int A in the C-similar language,
The dictionary 33 is formed by analyzing the data portions of B, .... The dictionary 33 includes the dictionary management table and the like shown in FIG. 10, and as variable detailed information corresponds to variables A, B, ...
Types such as names A, B, ..., Int, storage positions, area lengths, etc. are stored.

【００４９】次にプログラム３１の代入文Ａ＝１，
Ｂ＝２のそれぞれの左辺と右辺とを解析する。Ａ＝１の
左辺の変数Ａについては、辞書３３を検索して詳細情報
を得ることができる。同様に、Ｂ＝２の左辺の変数Ｂに
ついても辞書３３を検索して詳細情報を得ることができ
る。又右辺はそれぞれ定数の場合を示し、解析された結
果を基に、Ｃコードを出力し、作成部３４により信号発
生器領域３６を形成できるＣ言語によるプログラム３５
を作成し、これを実行することにより、信号発生器領域
３６を形成する。Next, the assignment statement A = 1 of the program 31
Analyze each left and right side of B = 2. For the variable A on the left side of A = 1, detailed information can be obtained by searching the dictionary 33. Similarly, detailed information can be obtained by searching the dictionary 33 for the variable B on the left side of B = 2. In addition, the right side shows the case of constants, respectively, based on the analyzed result, the C code is output, and the program 35 in C language that can form the signal generator area 36 by the creating unit 34.
Is formed and is executed to form the signal generator region 36.

【００５０】テストパターン生成のＣ言語プログラム３
７は、変数Ａ，Ｂについて、信号発生器として確保され
た領域の書出し位置に定数の１，２を代入した状態を示
し、このＣ言語プログラム３７を実行することにより、
信号値がシミュレータにテストパターンとして加えられ
る。C language program 3 for test pattern generation
7 shows a state in which constants 1 and 2 are assigned to the writing positions of the areas secured as the signal generator for the variables A and B, and by executing the C language program 37,
The signal value is added to the simulator as a test pattern.

【００５１】図２２は本発明の実施例の辞書の作成説明
図であり、図４の辞書１９の一例を示すもので、Ｃ類似
言語による例文に示すように、ＡＴＭ ＣＥＬＬのレコ
ードタイプ宣言（ｒｅｃｏｒｄ ＡＴＭ ＣＥＬＬ）の
中に、ＰＡＹＬＯＡＤというレコードタイプ宣言（ｒｅ
ｃｏｒｄ ＰＡＹＬＯＡＤ ｐａｙｌｏａｄ；）が現れ
た場合の辞書を示すものである。FIG. 22 is a diagram for explaining the creation of the dictionary according to the embodiment of the present invention, which shows an example of the dictionary 19 shown in FIG. CELL record type declaration (record ATM In CELL, the record type declaration called PAYLOAD (re
It shows a dictionary when "cord PAYLOAD payload") appears.

【００５２】同図に於いて、Ａはレコードタイプ宣言Ａ
ＴＭ ＣＥＬＬに対応するレコード信号タイプテーブル
ｓｇｉ ｒｅｃｍａｎｇ、Ｃは他のレコードタイプ宣言
ＰＡＹＬＯＡＤに対応するレコード信号タイプテーブル
ｓｇｉ ｒｅｃｍａｎｇ、ＢはＡのレコードタイプ宣言
内の各メンバＶｐｉ，ｐａｙｌｏａｄ，Ｖｃｉに対応す
るレコード信号タイプテーブルｓｇｉ ｒｅｃｍａｎｇ
で、その中のＥは、Ａのレコードタイプ宣言内のメンバ
ｐａｙｌｏａｄに対応し、Ｃのレコード信号タイプテー
ブルよりコピーしたものである。又ＤはＣのレコードタ
イプ宣言内の各メンバｓｅｑ，ｄｕｍｍｙに対応するテ
ーブルを示す。In the figure, A is a record type declaration A.
TM Record signal type table sgi corresponding to CELL RECMANG and C are record signal type tables sgi corresponding to other record type declarations PAYLOAD RECMANG and B are record signal type tables sgi corresponding to the respective members Vpi, payload, and Vci in the record type declaration of A. rechang
Then, E in it corresponds to the member payload in the record type declaration of A, and is copied from the record signal type table of C. Further, D indicates a table corresponding to each member seq, dummy in the record type declaration of C.

【００５３】前述のように、或るレコードタイプ宣言の
中に他のレコードタイプ宣言が現れた場合に、それぞれ
のレコード信号タイプテーブルをリンクさせることによ
り、それぞれの変数の詳細情報が検索可能となる。従っ
て、Ｃ類似言語による実行文時に、この辞書を検索して
Ｃ言語に変換することができる。As described above, when another record type declaration appears in a certain record type declaration, by linking each record signal type table, detailed information of each variable can be retrieved. . Therefore, this dictionary can be searched and converted into the C language when an execution sentence is written in the C-like language.

【００５４】図２３は本発明の実施例の論理シミュレー
ションの説明図であり、Ｃ類似言語によりテストパター
ンを生成する為の信号発生手順が記述されたＣ類似言語
プログラム４０をコンパイルしてＣ言語プログラム４１
に変換する。又ＶＨＤＬによって記述されたＶＨＤＬ記
述回路４４をコンパイルしてシミュレーションモデル４
６とし、このシミュレーションモデル４６にテストパタ
ーン生成の為のＴＰ発生オブジェクト４５を結合した論
理シミュレータ４３と、Ｃ言語プログラム４１とをイン
タフェースプログラム４２を介して結合する。FIG. 23 is an explanatory diagram of the logic simulation of the embodiment of the present invention. The C-similar language program 40 in which the signal generation procedure for generating the test pattern is described by the C-similar language is compiled and the C-language program is compiled. 41
Convert to. In addition, the VHDL description circuit 44 described in VHDL is compiled and the simulation model 4
6, a logic simulator 43 in which a TP generation object 45 for generating a test pattern is connected to the simulation model 46 and a C language program 41 are connected via an interface program 42.

【００５５】それによって、Ｃ類似言語によって記述さ
れた信号発生手順に従ったテストパターンがＴＰ発生オ
ブジェクト４５から生成され、シミュレーションモデル
とリンクすることにより、論理シミュレーションを実行
することができる。その場合、外部ファイルにテストパ
ターンを記述した従来例に比較して、外部ファイルにテ
ストパターンの記述と、それをテストベンチに読み込む
為の記述との手数が必要でなく、且つ外部ファイルへの
アクセスを必要としないから、高速で論理シミュレーシ
ョンを実行することができる。As a result, a test pattern according to the signal generation procedure described in the C-like language is generated from the TP generation object 45, and the logic simulation can be executed by linking with the simulation model. In that case, compared to the conventional example in which the test pattern is written in the external file, it is not necessary to write the test pattern in the external file and the description for reading it into the test bench, and access to the external file Therefore, the logical simulation can be executed at high speed because the above is not required.

【００５６】又テストベンチ上に直接テストパターンを
記述した従来例に比較して、ＨＤＬの記述量が少なくて
済む利点がある。それによってデバッグが容易となる。
又テストパターンを生成する側と、ＨＤＬ記述回路側と
を、インタフェースプログラム４２を介して相互に独立
的に取り扱うことができるから、版数管理等が容易とな
る。又Ｃ類似言語によって信号発生手順を記述するか
ら、長大なテストパターン生成の場合も容易に作成する
ことができる。Further, as compared with the conventional example in which the test pattern is described directly on the test bench, there is an advantage that the amount of HDL description is small. This makes debugging easier.
Further, since the side for generating the test pattern and the side for the HDL description circuit can be handled independently of each other via the interface program 42, version number management and the like become easy. Also, since the signal generation procedure is described in C-like language, it is possible to easily create a long test pattern.

【００５７】[0057]

【発明の効果】以上説明したように、本発明は、Ｃ言語
に於ける文字型と整数型との間の変換，代入，演算を可
能としたＣ類似言語を用いてテストパターン生成の為の
信号発生手順を記述し、コンパイラによってＣ言語に変
換し、Ｃ言語による信号発生手順を実行することにより
論理シミュレーションに使用するテストパターンを生成
するものであり、Ｃ類似言語は、Ｃ言語の文法に準拠
し、且つ前述のように文字型と整数型との間の変換，代
入等を可能としたもので、信号発生手順の記述が容易で
あるから、長大なテストパターンの生成も容易となる利
点がある。As described above, the present invention is for generating a test pattern by using a C-like language which enables conversion, substitution and operation between character type and integer type in C language. A signal generation procedure is described, converted into C language by a compiler, and a test pattern used for logic simulation is generated by executing the signal generation procedure in C language. The C-like language has a grammar of C language. It is compliant and enables conversion and substitution between character type and integer type as described above, and because the signal generation procedure is easy to describe, it is easy to generate long test patterns. There is.

【００５８】又前述のＣ言語に変換して信号発生手順
と、ＨＤＬにより記述した各種の論理回路とをインタフ
ェースプログラムを介して結合することにより、シミュ
レーションモデルに信号発生手順が組み込まれた状態で
論理シミュレーションを実行することができる。従っ
て、外部ファイルへアクセス等が必要でなく、且つＨＤ
Ｌによる回路の記述と共に信号発生手順を記述する必要
がなく、論理シミュレーションを容易且つ高速で実行で
きる利点がある。Also, by converting the signal generation procedure described above into the C language and various logic circuits described in HDL through an interface program, the logic is performed in a state where the signal generation procedure is incorporated in the simulation model. The simulation can be run. Therefore, it is not necessary to access external files, and HD
It is not necessary to describe the signal generation procedure together with the description of the circuit by L, and there is an advantage that the logic simulation can be executed easily and at high speed.

【図面の簡単な説明】[Brief description of drawings]

【図１】本発明の実施例のテストパターン生成の概要説
明図である。FIG. 1 is a schematic explanatory diagram of test pattern generation according to an embodiment of the present invention.

【図２】固有データ記憶テーブル及びモジュール関係の
説明図である。FIG. 2 is an explanatory diagram of a unique data storage table and module relationships.

【図３】固有データ記憶テーブル作成処理フローチャー
トである。FIG. 3 is a unique data storage table creation processing flowchart.

【図４】コンパイラの説明図である。FIG. 4 is an explanatory diagram of a compiler.

【図５】信号発生器関数の動作概要説明図である。FIG. 5 is a diagram illustrating an outline of operation of a signal generator function.

【図６】本発明の実施例のテーブルの説明図である。FIG. 6 is an explanatory diagram of a table according to the embodiment of this invention.

【図７】本発明の実施例の管理テーブルの説明図であ
る。FIG. 7 is an explanatory diagram of a management table according to the embodiment of this invention.

【図８】本発明の実施例の記号データタイプ宣言管理テ
ーブル及び記号データタイプ宣言格納テーブルの説明図
である。FIG. 8 is an explanatory diagram of a symbol data type declaration management table and a symbol data type declaration storage table according to the embodiment of this invention.

【図９】本発明の実施例のレコード信号タイプテーブル
の説明図である。FIG. 9 is an explanatory diagram of a record signal type table according to the embodiment of this invention.

【図１０】本発明の実施例の辞書管理テーブルの説明図
である。FIG. 10 is an explanatory diagram of a dictionary management table according to the embodiment of this invention.

【図１１】本発明の実施例の信号／レコード辞書テーブ
ルの説明図である。FIG. 11 is an explanatory diagram of a signal / record dictionary table according to the embodiment of this invention.

【図１２】本発明の実施例の信号発生器辞書テーブル及
び変数辞書テーブルの説明図である。FIG. 12 is an explanatory diagram of a signal generator dictionary table and a variable dictionary table according to the embodiment of this invention.

【図１３】本発明の実施例のテーブル接続関係説明図で
ある。FIG. 13 is an explanatory diagram of a table connection relationship according to the embodiment of this invention.

【図１４】本発明の実施例の実行文に対するＣコードの
説明図である。FIG. 14 is an explanatory diagram of a C code for an execution statement according to the embodiment of this invention.

【図１５】本発明の実施例の実行文に対するＣコードの
説明図である。FIG. 15 is an explanatory diagram of a C code for an execution statement according to the embodiment of this invention.

【図１６】本発明の実施例の実行文に対するＣコードの
説明図である。FIG. 16 is an explanatory diagram of a C code for an execution statement according to the embodiment of this invention.

【図１７】本発明の実施例の代入文の解析処理フローチ
ャートである。FIG. 17 is a flowchart of an assignment statement analysis process according to the embodiment of this invention.

【図１８】本発明の実施例の条件式の解析処理フローチ
ャートである。FIG. 18 is a flowchart of a conditional expression analysis process according to the embodiment of this invention.

【図１９】本発明の実施例のスイッチ文及びブレーク文
の解析処理フローチャートである。FIG. 19 is a flow chart for analyzing a switch statement and a break statement according to the embodiment of this invention.

【図２０】本発明の実施例の関数の解析処理フローチャ
ートである。FIG. 20 is a function analysis flowchart of the function according to the embodiment of this invention.

【図２１】本発明の実施例の信号発生器の動作説明図で
ある。FIG. 21 is an operation explanatory diagram of the signal generator according to the embodiment of the present invention.

【図２２】本発明の実施例の辞書の作成説明図である。FIG. 22 is an explanatory diagram of creating a dictionary according to the embodiment of this invention.

【図２３】本発明の実施例の論理シミュレーションの説
明図である。FIG. 23 is an explanatory diagram of a logic simulation according to the embodiment of this invention.

【符号の説明】[Explanation of symbols]

１ 発生プロセス ２ テストパターン生成システム ３ Ｃ言語プログラム ４ Ｃ言語プログラム ５ コンパイラ・リンケージ ６ ライブラリ形式ファイル ７ 実行形式ファイル ８ ＨＤＬシミュレータ 1 Generation Process 2 Test Pattern Generation System 3 C Language Program 4 C Language Program 5 Compiler Linkage 6 Library Format File 7 Execution Format File 8 HDL Simulator

フロントページの続き (72)発明者 平本 覚 栃木県小山市城東３丁目28番１号 富士通 キャドテック株式会社内 (72)発明者 山崎 正実 神奈川県川崎市中原区上小田中1015番地 富士通株式会社内Front page continuation (72) Inventor Satoru Hiramoto 3-28-1, Joto, Oyama, Tochigi Prefecture, within Fujitsu Cadtech Co., Ltd. (72) Masami Yamazaki, 1015 Uedotachu, Nakahara-ku, Kawasaki-shi, Kanagawa Within Fujitsu Limited

Claims (4)

【特許請求の範囲】[Claims] 【請求項１】 プログラム言語のＣ言語に準拠し、該Ｃ
言語に於ける文字型と整数型との間の変換，代入，演算
を可能としたＣ類似言語により信号発生手順を記述し、
該Ｃ類似言語による信号発生手順をコンパイラによって
Ｃ言語に変換し、該Ｃ言語による信号発生手順を実行し
てテストパターンを生成する過程を含むことを特徴とす
るテストパターン生成方法。1. A program language conforming to the C language, the C language
Describe the signal generation procedure in a C-like language that enables conversion, substitution and operation between character type and integer type in the language,
A test pattern generation method comprising a step of converting a signal generation procedure in the C-like language into C language by a compiler and executing the signal generation procedure in the C language to generate a test pattern. 【請求項２】 プログラム言語のＣ言語に準拠し、該Ｃ
言語に於ける文字型と整数型との間の変換，代入，演算
を可能とし、データタイプ宣言部とデータ定義部と実行
文部とを含むＣ類似言語により信号発生手順を記述し、
該Ｃ類似言語による信号発生手順の前記データタイプ宣
言部とデータ定義部との構文解析により辞書を作成し、
前記実行文部の構文解析時に前記辞書を検索して、該実
行文部の内容に相当するＣコードに変換する過程を含む
ことを特徴とする請求項１記載のテストパターン生成方
法。2. The program language conforms to C language, and the C language is used.
It enables conversion, assignment, and operation between character type and integer type in the language, and describes the signal generation procedure in a C-like language including a data type declaration part, a data definition part, and an execution statement part.
Create a dictionary by parsing the data type declaration part and the data definition part of the signal generation procedure in the C-like language,
The test pattern generation method according to claim 1, further comprising a step of searching the dictionary and converting the dictionary into a C code corresponding to the content of the execution statement part at the time of parsing the execution statement part. 【請求項３】 前記辞書は、レコードタイプ宣言の中に
他のレコードタイプ宣言を含むデータ構造のデータタイ
プ宣言部について、それぞれのレコードタイプ対応の辞
書テーブルをリンクさせることにより、前記実行文部の
構文解析時の詳細情報の検索を行う過程を含むことを特
徴とする請求項２記載のテストパターン生成方法。3. The syntax of the execution statement part, wherein the dictionary links a dictionary table corresponding to each record type with respect to a data type declaration part of a data structure including another record type declaration in a record type declaration. The test pattern generating method according to claim 2, further comprising a step of searching for detailed information at the time of analysis. 【請求項４】 プログラム言語のＣ言語に準拠し、該Ｃ
言語に於ける文字型と整数型との間の変換，代入，演算
を可能としたＣ類似言語により信号発生手順を記述し、
該Ｃ類似言語による信号発生手順をコンパイラによって
Ｃ言語に変換し、インタフェースプログラムによって、
ハードウェア記述言語（ＨＤＬ）により記述された回路
の論理シミュレーション時のシミュレーションモデルに
結合させ、該回路の論理シミュレーションを実行する過
程を含むことを特徴とする論理シミュレーション方法。4. The program language conforms to the C language, and the C language is used.
Describe the signal generation procedure in a C-like language that enables conversion, substitution and operation between character type and integer type in the language,
The signal generation procedure in the C-like language is converted into C language by the compiler, and the interface program
A logic simulation method comprising a step of combining with a simulation model at the time of logic simulation of a circuit described by a hardware description language (HDL) and executing a logic simulation of the circuit.