JPH01184579A - Logic circuit design information display device - Google Patents
Logic circuit design information display deviceInfo
- Publication number
- JPH01184579A JPH01184579A JP63008265A JP826588A JPH01184579A JP H01184579 A JPH01184579 A JP H01184579A JP 63008265 A JP63008265 A JP 63008265A JP 826588 A JP826588 A JP 826588A JP H01184579 A JPH01184579 A JP H01184579A
- Authority
- JP
- Japan
- Prior art keywords
- condition
- data
- path
- bus
- tracing
- 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.)
- Pending
Links
- 238000013461 design Methods 0.000 title claims description 22
- 238000012360 testing method Methods 0.000 claims abstract description 18
- 230000006870 function Effects 0.000 claims abstract description 11
- 238000006243 chemical reaction Methods 0.000 claims abstract description 4
- 230000004913 activation Effects 0.000 claims description 6
- 239000000470 constituent Substances 0.000 claims description 2
- 239000000284 extract Substances 0.000 claims description 2
- 230000001902 propagating effect Effects 0.000 claims 1
- 238000000605 extraction Methods 0.000 abstract description 3
- 230000000644 propagated effect Effects 0.000 abstract 1
- 238000010586 diagram Methods 0.000 description 13
- 230000007704 transition Effects 0.000 description 5
- 238000000034 method Methods 0.000 description 4
- 238000012546 transfer Methods 0.000 description 4
- 230000008569 process Effects 0.000 description 3
- 238000012545 processing Methods 0.000 description 2
- 230000003213 activating effect Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000003993 interaction Effects 0.000 description 1
Abstract
Description
【発明の詳細な説明】
〔発明の目的〕
(産業上の利用分野)
この発明は、論理回路設計において、論理回路設計情報
を処理、整理して表示し、テストパターン作成等を支援
する論理回路設計情報表示装置に関する。[Detailed Description of the Invention] [Objective of the Invention] (Industrial Application Field) This invention provides a logic circuit that processes, organizes and displays logic circuit design information and supports test pattern creation, etc. in logic circuit design. The present invention relates to a design information display device.
(従来の技術)
論理回路設計の初期段階で、論理回路の大まかな構成要
素(ブロック図)を考え、状態遷移図等を用いて、構成
要素間でのデータの転送をどのように制御するかを設計
する機能設計を行なう。機能設計においては、バードウ
ェア記述言語を用いて、Registe’r Tran
sfer Level O設計を行なう。(Prior art) At the initial stage of logic circuit design, the general components (block diagram) of the logic circuit are considered, and state transition diagrams are used to determine how to control data transfer between the components. Perform functional design to design. In functional design, we use the hardware description language to
sfer Level O design.
キして、この記述を用いて、シミーレータにより仕様ど
おJ)K動作するかどうか確かめる。Using this description, check whether the simulator operates as specified.
ここで、シミーレーク冒ンを行なうためのテストパター
ンは、設計者等が回路動作の仕様を念頭に作成する。し
かし、典型的な回路動作に対してはテストパターンを比
較的容易に作成できるが、細かな動作に対しては、ブロ
ック図と状態遷移図から作成するのは非常に困難であり
、ノ・−ドウェア記述言語で書かれた回路設計情報が必
要である。Here, a test pattern for performing the shimmy rake test is created by a designer or the like keeping in mind the specifications of the circuit operation. However, although it is relatively easy to create test patterns for typical circuit operations, it is extremely difficult to create test patterns for detailed operations from block diagrams and state transition diagrams. circuit design information written in a hardware description language is required.
(発明が解□決しようとする課題)
機能設計され九回路を動作させるためのテストパターン
を作成する場合に1機能記述作成に用いたブロック図や
状態遷移図のみを参考にして、作成可能なテストパター
ンは、典型的な基本動作に関するものであシ、それ以外
の細かな回路動作に対するテストパターンを作成するた
めには、機能記述された回路の各コンポーネントの相互
関係を参考にする必要がある。(Problem to be solved by the invention) When creating a test pattern for operating nine functionally designed circuits, it is possible to create one by referring only to the block diagram and state transition diagram used to create one functional description. Test patterns are for typical basic operations; in order to create test patterns for other detailed circuit operations, it is necessary to refer to the interrelationships of each component of the functionally described circuit. .
しかし、ハードウェア記述言語で書かれた機能記述を見
て回路動作を考えることは、ブロック図を見て回路動作
を考えること以上に大変な作業である。というのは、記
述上では各コンポーネントの接続関係などは、信号名の
参照や転送記号の右辺から左辺というような表現がされ
、記述中の各所に同一信号名としてバラバラに出現し、
これから回路の構造を想像するのは、非常に手間のかか
る作業である。However, considering circuit operation by looking at a functional description written in a hardware description language is a more difficult task than considering circuit operation by looking at a block diagram. This is because, in the description, the connection relationship between each component is expressed by referring to the signal name or from the right side to the left side of the transfer symbol, and the same signal name appears in various places in the description.
Imagining the structure of the circuit from now on is a very time-consuming task.
そこで、本発明では機能設計段階で機能記述された回路
を動作させるためのテストパターンを作成する場合に、
ハードウェア記述言語で書かれた機能記述の回路の関係
を整理して表示することによシ効率良くテストパターン
作成が行なえるようKする。Therefore, in the present invention, when creating a test pattern for operating a circuit whose function has been described at the function design stage,
By organizing and displaying circuit relationships in functional descriptions written in a hardware description language, test patterns can be created efficiently.
ハードウェア記述言語による機能記述入力手段または、
前記機能記述に対応し、変換可能な図形的回路表現の機
能図入力手段を有し、入力された機能記述から回路コン
ポーネントの接続関係と制御信号などの動作関係をもつ
ネット構造に変換する手段を有し、前記ネット構造から
データ系のパスを抽出する手段、及びユーザーがパスを
指定する手段を有し、当該パスをデータが伝搬するよう
な活性化条件をトレースする手段を有し、前記データバ
スの接続関係を表示する手段を有し、パスの活性化条件
を表示し、それら条件をトレースする過程を表示できる
手段を有し、ユーザーが条件をトレースした結果から、
入力テストパターンを作成する手段を有する。Function description input means using a hardware description language, or
Corresponding to the functional description, it has a functional diagram input means for convertible graphical circuit representation, and means for converting the input functional description into a net structure having connection relationships of circuit components and operational relationships such as control signals. means for extracting a data-based path from the net structure; and means for a user to specify a path; and means for tracing an activation condition such that data propagates through the path; It has a means for displaying bus connection relationships, a means for displaying path activation conditions, and a means for displaying the process of tracing those conditions, and from the results of tracing the conditions by the user,
It has means for creating an input test pattern.
(作用)
設計者が論理回路の機能実桿の丸めに詳細化し九設計情
報をもつ機能記述の内容を処理、整理して設計者等に表
示するために設計者等が、論理回路の動作検証を行なう
ためのテストパターンを作成する効率を良くし、論理回
路設計の初期段階である機能設計の効率を向上させる。(Function) In order for the designer to process and organize the contents of the functional description containing the nine design information, which is detailed to the rounding of the function actual frame of the logic circuit, and to display it to the designer, etc., the designer, etc. can verify the operation of the logic circuit. The present invention improves the efficiency of creating test patterns for performing logic circuit design, and improves the efficiency of functional design, which is the initial stage of logic circuit design.
(実施例)
以下、本発明の実施例について説明する。第1図は、本
発明の処理フローの一例の概略図である。(Example) Examples of the present invention will be described below. FIG. 1 is a schematic diagram of an example of the processing flow of the present invention.
101はハードウェア記述言語を用いて機能設計された
機能記述である。この機能記述の記述例を第2図に示す
。第2図に示した機能記述は、単純なCPUの回路を記
述したものである。この回路の状態遷゛移フローを示し
たのが第3図(a)でおる。101 is a functional description designed using a hardware description language. An example of this functional description is shown in FIG. The functional description shown in FIG. 2 describes a simple CPU circuit. FIG. 3(a) shows the state transition flow of this circuit.
第3図(b) (c) (d)(e) (f) (g)
は、各状態におけるブロック間のデータのヤシとシを表
わしている。この機能記述を解釈し、回路のコンポーネ
ントであるレジスタなどの接続関係や、レジスタ転送な
どが行なわれる各接続が実行されるIF文やCASE文
の条件の関係及び条件値のとるべき値がすべてたどれる
様なネット構造に変換される。機能記述を解釈し、ネッ
トデータに変換するのが、第1図の102のネット変換
ルーチンである。ネットデータのデータ構造の一部を示
したのが、第4図(b)である。Figure 3 (b) (c) (d) (e) (f) (g)
represents the data between blocks in each state. By interpreting this functional description, you can trace all the connections between the circuit components such as registers, the relationships between the conditions of IF statements and CASE statements that execute each connection that performs register transfer, and the values that the condition values should take. It is converted into a similar net structure. The net conversion routine 102 in FIG. 1 interprets the functional description and converts it into net data. FIG. 4(b) shows a part of the data structure of the net data.
これは第4図(a)の機能記述のコンポーネント(ファ
シリティ)の接続関係、コンポーネントと文ノ対応、条
件文との関係を表わしている部分である。This is a part that represents the connection relationship of components (facilities) in the functional description of FIG. 4(a), the correspondence between components and sentences, and the relationship between conditional sentences.
第1図の103は、ネットデータである。第1図104
は、パス抽出ルーチンでアシ、ネットデータを九どシ接
続関係を解析することによシ、データ信号の伝搬するパ
スを抽出する。第1図105は、抽出されたパスとその
パスを構成するコンポーネントのリストからなっている
パスリストである。103 in FIG. 1 is net data. Figure 1 104
In the path extraction routine, the path along which the data signal propagates is extracted by analyzing the connection relationship between the net data and the net data. FIG. 1 105 is a path list consisting of an extracted path and a list of components that make up the path.
ここで、ユーザーが新たにデータ信号の伝搬するパスを
指定してパスリス)Kパスを登録することもできる。第
1図106は、1つのパスに対してそのパスをデータが
伝搬していくように1デー夕伝搬の条件をそれぞれたど
っていく、パスの条件トレースルーチンでアル。条件ノ
トレースハユーザーがインターラクティプに指定でき、
条件の選択が複数ある場合はユーザーが選択できる。第
1図107は、パスの条件トレース時に条件のとるべき
値を指定していくことにより得られる、各条件を満すよ
うな入力信号パターンである。第1図108は、図形表
示ルーチンであシ、ネットデータの接続関係、条件の関
係などを見易い形で表示する。Here, the user can also newly designate a path on which the data signal propagates and register a path list. 106 is a path condition tracing routine that traces each propagation condition for one day so that data propagates along that path. Condition tracing can be specified by the user in the interaction,
If there are multiple conditions to choose from, the user can select one. FIG. 1 107 shows an input signal pattern that satisfies each condition, which is obtained by specifying the values that the conditions should take when tracing the path conditions. FIG. 1 108 is a graphical display routine that displays connection relationships of network data, relationship of conditions, etc. in an easy-to-read format.
第5図は、ユーザーが、パスを指定する場合の画面表示
の一例である。ユーザーがパスを構成するコンポーネン
ト(ファシリティ)を飛びに指定すると、プログラムが
ある範囲を探索して該当するパスを表示する。該当する
パスが複数ある場合は、ユーザーが選択を行なう。第6
図はコンポーネント(ファシリティ)の接続関係を表示
した場合の一例である。コンポーネントの長方形の右側
をポインティングデバイスで指定してクリックするとそ
のコンポーネントの出力光が表示され、長方形の左側を
クリックするとそのコンポーネントの入力元が表示され
る。図形中の口記号またはΔ記号をクリックすると機能
記述中のデータ信号(コンポーネント)間の演算内容や
コンポーネント間のデータ転送が実行されるための条件
の内容やクロック信号などを表示する。また、これらの
表示方法は表示モードを指定することにより色々な形に
変えることができる。第7図は、ある1つのパスに対し
てそのパスをデータが伝搬するための条件をトレースす
る場合の画面表示の一例である。ユーザーは、各条件が
とるべき値を指定できる。また、条件に現われたコンポ
ーネント(ファシリティ)が入力端子でない場合は、さ
らにそのコンポーネントの入力元の接続関係をトレース
できる。FIG. 5 is an example of a screen display when the user specifies a path. When a user specifies a component (facility) that makes up a path, the program searches a certain range and displays the corresponding path. If there are multiple applicable paths, the user makes a selection. 6th
The figure is an example of displaying the connection relationships of components (facilities). Clicking on the right side of a component's rectangle with a pointing device will display the output light of that component, and clicking on the left side of the rectangle will display the input source of that component. Clicking on the mouth symbol or Δ symbol in the figure displays the contents of calculations between data signals (components) in the function description, the contents of conditions for executing data transfer between components, clock signals, etc. Furthermore, these display methods can be changed into various forms by specifying the display mode. FIG. 7 is an example of a screen display when tracing the conditions for data propagation through a certain path. Users can specify the values each condition should take. Furthermore, if the component (facility) that appears in the condition is not an input terminal, the connection relationship of the input source of that component can be further traced.
機能記述された論理回路の回路コンポーネントの接続関
係と制御信号などの動作関係を解析し、整理し、設計者
等に表示することKより、設計者等が機能設計された論
理回路の動作検証を行なうだめのテストパターン作成の
効率を向上させ、また、機能記述を解析することにより
設計初期段階の設計誤シを発見することが可能であシ、
機能設計の設計期間の短縮を行なえる。Analyzing, organizing, and displaying the connection relationships of circuit components and operational relationships such as control signals of logic circuits with functional descriptions to designers, etc. This allows designers, etc. to verify the operation of functionally designed logic circuits. It improves the efficiency of creating test patterns that should not be carried out, and it also makes it possible to discover design errors in the early stages of design by analyzing functional descriptions.
The design period for functional design can be shortened.
第1図は、論理回路設計情報表示装置の処理フローの一
例である。第2図は、ハードウェア記述言語による機能
記述の一例でるる。第3図は、第2図の機能記述された
回路の状態遷移フローを示す図、及び各状態におけるブ
ロック間のデータの受は渡しを示した図、第4図は、機
能記述の表現の一例を示す図、及び記述に対応したネッ
トデータのデータ構造の一部を示す図、第5図は、ユー
ザーによるパス指定のための画面表示の一例を示す−、
第6図は、回路の接続関係を図形的に画面表示したもの
の一例を示す図、第7図はある1つのパスに対して条件
をトレースする場合の画面表示の一例を示す図である。
101・・・ハードウェア記述言語によって機能設計さ
れた回路の機能記述
102・・・機能記述をネットデータへ変換する変換ル
ーチン
103・・・機能記述の接続関係や条件の関係を表現し
たネットデータ
104・・・ネットデータを解析してデータ伝搬のパス
を抽出するパス抽出ルーチン
105・・・抽出したパスの各パスの構成コンポーネン
トを表現したパスリスト
106・・・パスの活性化条件をトレースするルーチン
107・・・パスを活性化するためのテストパターン
108・・・パスの接続関係、条件の関係等を図形表示
するルーチン
109・・・図形の表示やユーザーが表示指定を行なう
ウィンドウルーチン
110・・・計算機のデイスプレィ
110・・・計算機のキーボード
代理人 弁理士 則 近 憲 佑
同 松 山 光 之ごQ\N−0
嗜っ唖へ旬・1・e
訃、
1、&、o −自 の吟り預 h 句 “・・・・Δ
、、)\ 6へ ぐ論カヘ句 ・・・・・ド
アー
弓〜FIG. 1 is an example of a processing flow of a logic circuit design information display device. FIG. 2 shows an example of functional description using a hardware description language. Fig. 3 is a diagram showing the state transition flow of the functionally described circuit in Fig. 2, and a diagram showing the reception and passing of data between blocks in each state, and Fig. 4 is an example of the expression of the functional description. Figure 5 shows an example of a screen display for the user to specify a path.
FIG. 6 is a diagram showing an example of a graphical screen display of circuit connection relationships, and FIG. 7 is a diagram showing an example of a screen display when tracing conditions for a certain path. 101...Functional description of a circuit functionally designed using a hardware description language 102...Conversion routine for converting a functional description into net data 103...Net data 104 expressing connection relationships and condition relationships of functional descriptions ...Path extraction routine 105 that analyzes net data and extracts data propagation paths...Path list 106 that represents the constituent components of each path of the extracted paths...Routine that traces activation conditions of paths 107... Test pattern for activating paths 108... Routine 109 for graphically displaying path connection relationships, condition relationships, etc.... Window routine 110 for displaying graphics and the user specifying display...・Computer display 110...Computer keyboard representative Patent attorney Nori Chika Ken Yudo Hikaru Matsuyama Q\N-0
Shun, 1, e death, 1, &, o - self-reflection h phrase “...Δ ,,)\Go to 6 Guronkahe phrase ・・・Door bow ~
Claims (1)
ア記述言語による機能記述入力手段と当該機能記述から
回路コンポーネントの接続関係及び動作を制御する制御
信号の関係を表現したネット構造に変換するネット変換
ルーチンを有し、当該ネット構造を解析し、データ信号
が伝搬するパスを抽出する手段と、ユーザーがパスを設
定できる手段と、各パスに対してパスをデータが伝搬す
るための活性化条件をトレースする手段と、パスの構成
コンポーネント及びパスの活性化条件を画面表示する手
段と、ユーザーが活性化条件を選択することにより、パ
スにデータを伝搬させるための入力テストパターンを作
成する手段とからなることを特徴とする論理回路設計情
報表示装置。(1) Function description input means using a hardware description language performed at the initial stage of logic circuit design and net conversion that converts the functional description into a net structure that expresses the connection relationships of circuit components and the relationships of control signals that control operations. It has a routine that analyzes the net structure and extracts paths through which data signals propagate, a means that allows the user to set paths, and an activation condition for each path for data to propagate. means for tracing, means for displaying path constituent components and path activation conditions on a screen, and means for creating an input test pattern for propagating data to the path by a user selecting activation conditions. A logic circuit design information display device characterized by:
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP63008265A JPH01184579A (en) | 1988-01-20 | 1988-01-20 | Logic circuit design information display device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP63008265A JPH01184579A (en) | 1988-01-20 | 1988-01-20 | Logic circuit design information display device |
Publications (1)
Publication Number | Publication Date |
---|---|
JPH01184579A true JPH01184579A (en) | 1989-07-24 |
Family
ID=11688327
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP63008265A Pending JPH01184579A (en) | 1988-01-20 | 1988-01-20 | Logic circuit design information display device |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPH01184579A (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04114194A (en) * | 1990-09-04 | 1992-04-15 | Fujitsu Ltd | Method for displaying wiring pattern for printed board |
JPH04137004A (en) * | 1990-09-28 | 1992-05-12 | Toppan Printing Co Ltd | Packaged data converter |
JP2007172542A (en) * | 2005-12-26 | 2007-07-05 | Fujitsu Ltd | Design apparatus, design method, and program therefor |
-
1988
- 1988-01-20 JP JP63008265A patent/JPH01184579A/en active Pending
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04114194A (en) * | 1990-09-04 | 1992-04-15 | Fujitsu Ltd | Method for displaying wiring pattern for printed board |
JPH04137004A (en) * | 1990-09-28 | 1992-05-12 | Toppan Printing Co Ltd | Packaged data converter |
JP2007172542A (en) * | 2005-12-26 | 2007-07-05 | Fujitsu Ltd | Design apparatus, design method, and program therefor |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US5251159A (en) | Circuit simulation interface methods | |
EP0433066A2 (en) | Common symbol library architecture | |
US20100218147A1 (en) | Circuit specification description visualizing device, circuit specification description visualizing method and storage medium | |
US5367468A (en) | Design aid method and design aid apparatus for integrated circuits | |
JP2974900B2 (en) | Autonomous evolution hardware design system | |
Van Tassel | Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Proof Assistant | |
JP4533918B2 (en) | Circuit specification description design analysis apparatus and circuit specification description design analysis method | |
JPH01184579A (en) | Logic circuit design information display device | |
US5740070A (en) | Apparatus for automatically generating logic circuit | |
US20020062208A1 (en) | Method and apparatus for visualization of microprocessor pipeline operation | |
Byrnes et al. | Visualizing proof search for theorem prover development | |
JP2933446B2 (en) | Logic circuit simulator | |
JP2974401B2 (en) | LSI design support equipment | |
JPH08235019A (en) | Instruction table generation method | |
JPH04290168A (en) | Simulation device and display method for its simulation result | |
JP2957025B2 (en) | Functional level simulation device | |
Xue et al. | Speeding-up Logic Design and Refining Hardware EDA Flow by Exploring Chinese Character based Graphical Representation | |
JPH0628421A (en) | Simulation method and simulator | |
JP2900504B2 (en) | Information processing device | |
JP2924222B2 (en) | Logic simulator | |
CN116756035A (en) | Abnormal UI data set generation method based on DSL and UI asset library | |
JP3640684B2 (en) | Test sequence generation device and testability design device | |
JPS6379176A (en) | Method for producing automatically program by combining parts based on designing specifications | |
Wirth | The language lola, FPGAs, and PLDs in teaching digital circuit design | |
Castelló et al. | Visualizing graphical and textual formalisms |