JPH0218632A - Method and device for evaluation of logical gate - Google Patents

Method and device for evaluation of logical gate

Info

Publication number
JPH0218632A
JPH0218632A JP63169404A JP16940488A JPH0218632A JP H0218632 A JPH0218632 A JP H0218632A JP 63169404 A JP63169404 A JP 63169404A JP 16940488 A JP16940488 A JP 16940488A JP H0218632 A JPH0218632 A JP H0218632A
Authority
JP
Japan
Prior art keywords
state
logic gate
logic
output
gate
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
Application number
JP63169404A
Other languages
Japanese (ja)
Inventor
Masahide Sugano
菅野 雅秀
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Panasonic Holdings Corp
Original Assignee
Matsushita Electric Industrial Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Matsushita Electric Industrial Co Ltd filed Critical Matsushita Electric Industrial Co Ltd
Priority to JP63169404A priority Critical patent/JPH0218632A/en
Publication of JPH0218632A publication Critical patent/JPH0218632A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To obtain the output state of a logical gate at high speed by using at least an arithmetic unit containing a logical computing element and a comparator and an encoder which receives the output of said comparator and produces the output state data on the logical gate. CONSTITUTION:A logical computing element 10a performs the logical arithmetic between a state data 12 on an input terminal and the 1st mask data 16 and defines a specific state of the input terminal. Then the result of the logical arithmetic is compared with the 2nd mask data 15 via a comparator 10b so that the specific state of the input terminal is detected. One or plural pieces of arithmetic unit 10 consisting of the element 10a and the comparator 10b are prepared as necessary. Thus the state of the input terminal necessary for evaluation of a logical gate can be known. As a result, the output state 14 of the logical gate is obtained by encoding the output of the comparator 10b of the unit 10 via an encoder 13. Then the output state of the logical gate is obtained in a simple constitution and at high speed.

Description

【発明の詳細な説明】 産業上の利用分野 本発明は論理シミュレーション装置および論理シミュレ
ーション方法に関するものである。
DETAILED DESCRIPTION OF THE INVENTION Field of Industrial Application The present invention relates to a logic simulation device and a logic simulation method.

従来の技術 論理シミュレーションとは論理ゲートの相互接続によっ
て構成された論理回路にある入力信号を印加した場合、
出力にいかなる信号が現れるかを模擬することであり、
その過程で論理ゲートの評価と呼ばれる各々の論理ゲー
トの入力端子の状態から出力状態を求めることが必要で
ある。この論理ゲートの評価は頻繁に発生し、これをい
かに速くかつ簡単に行うかが課題であった。
Conventional technology logic simulation means that when an input signal is applied to a logic circuit made up of interconnected logic gates,
It is to simulate what kind of signal appears at the output,
In this process, it is necessary to determine the output state from the state of the input terminal of each logic gate, which is called logic gate evaluation. Evaluation of this logic gate occurs frequently, and the challenge was how to do it quickly and easily.

従来行われていた論理ゲートの評価は、例えば論理ゲー
トの入力端子の状態データを入力端子の各々について順
次アクセスし、該論理ゲートの論理機能に基づいて出力
状態を求めるというものであった。また、論理ゲートの
入力端子の状態に体する出力状態を予め表にしておき、
これをアクセスすることで論理ゲートの出力状態を求め
る方法もあった。
A conventional evaluation of a logic gate involves, for example, sequentially accessing the state data of the input terminals of the logic gate for each input terminal, and determining the output state based on the logic function of the logic gate. Also, make a table in advance of the output states that correspond to the states of the input terminals of the logic gate,
There was also a method of accessing this to obtain the output state of the logic gate.

発明が解決しようとする課題 しかしながらこれら従来の論理ゲートの評価の方法は、
入力端子の状態データを順次アクセスするため時間を多
(必要としたり、入力端子の数が多くなると定義される
表が大きくなるなと決して簡単かつ高速であるとは言え
ないものであった。
Problems to be Solved by the Invention However, these conventional methods of evaluating logic gates are
It cannot be said to be simple or fast because it requires a lot of time to sequentially access the state data of the input terminals, and the table defined becomes large as the number of input terminals increases.

本発明は係る従来の論理ゲートの評価における問題点に
鑑みてなされたものであり、簡単な構成で高速に論理ゲ
ートの出力状態を求め得る論理ゲートの評価装置の提供
と、簡単な手続きで高速に論理ゲートの出力状態を求め
得る論理ゲートの評価方法の提供を目的とする。
The present invention has been made in view of the problems in the conventional evaluation of logic gates, and it is an object of the present invention to provide a logic gate evaluation device that can quickly obtain the output state of a logic gate with a simple configuration, and to provide a logic gate evaluation device that can quickly obtain the output state of a logic gate with a simple procedure. The purpose of this invention is to provide a method for evaluating logic gates that can determine the output state of logic gates.

課題を解決するための手段 本発明は前述した目的を達成するため、論理ゲートの入
力端子の状態データと第1のマスクデータとの論理演算
を行う論理演算器と、これの出力と第2のマスクデータ
とを比較する比較器とを備えた少なくとも1つの演算装
置と、前記演算装置の比較器の出力を受け該論理ゲート
の出力状態データを生成するエンコーダとを備えたこと
を特徴とする論理ゲート評価装置である。
Means for Solving the Problems In order to achieve the above-mentioned object, the present invention includes a logic operation unit that performs a logic operation on state data of an input terminal of a logic gate and first mask data, and an output of the logic operation unit and a second mask data. Logic characterized by comprising: at least one arithmetic unit including a comparator for comparing mask data; and an encoder for receiving an output of the comparator of the arithmetic unit and generating output state data of the logic gate. This is a gate evaluation device.

作   用 前述した論理ゲートの評価装置において、論理演算器は
入力端子の状態データと適切に選んだマスクデータとの
論理演算を行い、入力端子の特定の状態を明確化し、こ
の結果と適切に選んだマスクデータと比較器て比較する
ことにより、入力端子が特定の状態になっていることを
検出する。
Function: In the logic gate evaluation device described above, the logic operator performs a logical operation on the state data of the input terminal and appropriately selected mask data, clarifies the specific state of the input terminal, and compares this result with the appropriately selected mask data. By comparing the data with the mask data using a comparator, it is detected that the input terminal is in a specific state.

前記の論理演算器と比較器によって構成される演算装置
を必要に応して1つまたは複数備えることにより、論理
ゲートの評価を行ううえで必要となる入力端子の状態が
如何になっているかを知ることができる。
By providing one or more arithmetic units consisting of the above-mentioned logical arithmetic units and comparators as necessary, it is possible to check the state of the input terminals necessary for evaluating the logic gates. You can know.

従って、前記の演算装置の比較器の出力をエンコーダに
てエンコードすることにより簡単に論理ゲートの出力状
態を求めることができる。
Therefore, the output state of the logic gate can be easily determined by encoding the output of the comparator of the arithmetic unit using an encoder.

実施例 本発明に係る論理ゲートの評価装置および論理ゲートの
評価方法の実施例を図面を用いて以下に説明する。
Embodiments Examples of the logic gate evaluation apparatus and logic gate evaluation method according to the present invention will be described below with reference to the drawings.

第1図は本発明に係る論理ゲートの評価装置の実施例を
示したブロック図である。ここで10および10は演算
装置であり内部は同じ構成を有している。10aはビッ
トごとの論理積を計算する論理演算器であり、2つの4
ヒツト人力AおよびBと1つの4ビツト出力Zを有する
。10bは2つの4ヒツト人力AおよびBを有し、これ
らの入力が等しい場合出力Zに1を出力する比較器であ
る。
FIG. 1 is a block diagram showing an embodiment of a logic gate evaluation device according to the present invention. Here, 10 and 10 are arithmetic units and have the same internal configuration. 10a is a logical operation unit that calculates logical product for each bit;
It has human inputs A and B and one 4-bit output Z. 10b is a comparator that has two 4-hit inputs A and B and outputs 1 at output Z when these inputs are equal.

また12は出力状態を求めようとしている論理ゲートの
入力端子の状態データである。
Further, 12 is state data of the input terminal of the logic gate whose output state is to be determined.

13はエンコーダであり、第2図に示すように2つの入
力AおよびBから出力Zを生成する。
13 is an encoder, which generates an output Z from two inputs A and B as shown in FIG.

14は出力状態であり、15ないし18はマスクデータ
である。
14 is an output state, and 15 to 18 are mask data.

第1図に示した本発明に係る論理ゲートの評価装置の実
施例は第3図に示る真理値表の論理機能を有する2人力
ANDゲートのものである。
The embodiment of the logic gate evaluation apparatus according to the present invention shown in FIG. 1 is a two-man power AND gate having the logic function of the truth table shown in FIG.

尚、本発明に係る論理ゲートの評価装置および論理ゲー
トの評価方法における論理値は第4図に示すように2ヒ
ツトで表されている。ただし状態Xは不安状態を表す。
Note that the logic value in the logic gate evaluation device and logic gate evaluation method according to the present invention is represented by two hits as shown in FIG. However, state X represents a state of anxiety.

入力端子の状態データ12は4ビツトであり、上位2ピ
ツトが2人力ANDゲートの入力Aに対応し、下位2ヒ
ツトが同じ(人力Bに対応している。
The state data 12 of the input terminal is 4 bits, and the upper two pits correspond to the input A of the two-man-powered AND gate, and the lower two pits are the same (corresponding to the human-powered B).

マスクデータ15.16および17には(1010)が
入力され、マスクデータ18には(1,111)が入力
されている。
(1010) is input to mask data 15, 16 and 17, and (1,111) is input to mask data 18.

さて、第1図に示した本発明に係る論理ゲートの評価装
置は以下に述へるように動作する。
Now, the logic gate evaluation apparatus according to the present invention shown in FIG. 1 operates as described below.

演算装置10の論理演算器10aは、入力端子の状態デ
ータ12とマスクデータ16との論理積を出力Zへ出力
する。この時、入力端子の状態データ12の2人力AN
Dゲートの人力AおよびBがいずれも状態Oでなければ
論理演算器10aの出力Zはマスクデータ16と同じ値
となる。従って比較器10bの出力Zは、2人力AND
ゲートの入力AおよびBのいずれも状態Oでない時1と
なる。
The logical operator 10a of the arithmetic device 10 outputs the AND of the state data 12 of the input terminal and the mask data 16 to the output Z. At this time, the two-man power AN of the input terminal status data 12
If both the inputs A and B of the D gate are in the state O, the output Z of the logic operator 10a will have the same value as the mask data 16. Therefore, the output Z of the comparator 10b is
It becomes 1 when neither of the inputs A and B of the gate is in state O.

同様に、演算装置11における比較器の出力2は、2人
力ANDゲートの入力AおよびBの両方が状態1の時1
となる。
Similarly, the output 2 of the comparator in the arithmetic unit 11 is 1 when both inputs A and B of the two-man AND gate are in state 1.
becomes.

従って、エンコーダ13の出力Zおよび論理ゲートの出
力状態14は、2人力ANDゲートの入力AまたはBの
いずれかが状態Oの時状態Oとなり、また人力Aおよび
Bの両方が状態1の時状態1となり、これら以外の入力
状態の時状態Xとなり、第3図に示した真理値表の論理
機能を実現している。
Therefore, the output Z of the encoder 13 and the output state 14 of the logic gate will be in the state O when either input A or B of the two-manual AND gate is in the state O, and will be in the state when both the manpower A and B are in the state 1. 1, and when the input state is other than these, the state becomes X, realizing the logical function of the truth table shown in FIG.

以上2人力ANDゲートの出力状態を求める論理ゲート
の評価装置の動作について述べたが、例えば2人力OR
ゲートの出力状態を求める論理ゲートの評価装置の場合
は、マスクデータ15ないし17を(0101)に変更
し、エンコーダ13を第5図に示すものに変更すれば良
い。また2人力を越える入力数の論理ゲートの評価装置
を実現する場合は入力端子の状態データ等のデータのビ
ット数を増せば良い。
The operation of the logic gate evaluation device that determines the output state of a two-manpower AND gate has been described above, but for example, two-manpower OR
In the case of a logic gate evaluation device that determines the output state of a gate, the mask data 15 to 17 may be changed to (0101), and the encoder 13 may be changed to that shown in FIG. In addition, in order to realize an evaluation device for a logic gate whose number of inputs exceeds the power of two people, it is sufficient to increase the number of bits of data such as state data of input terminals.

このように本発明に係る論理ゲートの評価装置は構成が
簡単であり従って動作も高速である。
As described above, the logic gate evaluation device according to the present invention has a simple configuration and therefore operates at high speed.

次に本発明に係る論理ゲートの評価方法の実施例につい
て説明する。
Next, an embodiment of the logic gate evaluation method according to the present invention will be described.

第6図は本発明に係る論理ゲートの評価方法の実施例を
示した流れ図である。ここて68は判断工程であり、論
理演算工程61と比較工程62とからなる。また、69
は判断工程であり、論理演算工程63と比較工程64と
からなる。判断工程68と判断工程69とはマスクデー
タのみ異なり、工程の内容が同一の繰り返しである。尚
、第6図に示した本発明に係る論理ゲートの評価方法は
第1図に示した本発明に係る論理ゲートの評価装置と同
様に第3図および第4図に示した2人力ANDゲートの
ものである。
FIG. 6 is a flowchart showing an embodiment of the logic gate evaluation method according to the present invention. Here, 68 is a judgment step, which consists of a logical operation step 61 and a comparison step 62. Also, 69
is a judgment step, which consists of a logical operation step 63 and a comparison step 64. The judgment process 68 and the judgment process 69 differ only in mask data, and the content of the process is the same repetition. Note that the method for evaluating the logic gate according to the present invention shown in FIG. 6 is similar to the evaluation apparatus for the logic gate according to the present invention shown in FIG. belongs to.

第6図に示した本発明に係る論理ゲートの評価方法にお
いては以下に述べるようにして論理ゲートの出力状態を
求める。
In the logic gate evaluation method according to the present invention shown in FIG. 6, the output state of the logic gate is determined as described below.

まず論理演算工程61て2人力ANDゲートの入力端子
の状態データIとマスクデータM1とのビットごとの論
理積を計算する。
First, in the logical operation step 61, the logical product of the state data I of the input terminal of the two-manual AND gate and the mask data M1 is calculated for each bit.

次に論理演算工程61での演算結果りとマスクデータM
2とを比較工程62で比較し等しくなければ2人力AN
Dゲートの入力AまたはBのうち少なくとも一方は状態
Oであるから出力状態Zはただちに状態0である。
Next, the operation result in the logical operation step 61 and the mask data M
2 in comparison step 62, and if they are not equal, 2-man power AN
Since at least one of the inputs A or B of the D gate is in state O, the output state Z is immediately in state 0.

比較工程62における比較結果が等しければ2人力AN
Dゲートの入力AおよびBは状態1または状態Xである
If the comparison results in comparison step 62 are equal, two-man labor AN
Inputs A and B of the D-gate are in state 1 or state X.

次に論理演算工程63で2人力ANDゲートの入力端子
の状態データIとマスクデータM3とのビットごとの論
理積を計算する。
Next, in a logic operation step 63, the bit-by-bit logical product of the state data I of the input terminal of the two-manual AND gate and the mask data M3 is calculated.

しかる後、論理演算工程63での演算結果りとマスクデ
ータM4とを比較工程64で比較する。
Thereafter, the calculation result in the logic calculation step 63 and the mask data M4 are compared in a comparison step 64.

この結果、等しければ2人力ANDゲートの入力Aおよ
びBはいずれも状態1であるので出力状態Zは状態1で
ある。また、比較工程64での比較結果が等しくなけれ
ば2人力ANDゲートの入力AおよびBは状態1または
状態Xであり、かつ少なくとも一方は状態Xであるので
出力状態Zは状態Xである。
As a result, if they are equal, the inputs A and B of the two-manual AND gate are both in state 1, so the output state Z is in state 1. Further, if the comparison results in the comparison step 64 are not equal, the inputs A and B of the two-manual AND gate are in state 1 or state X, and since at least one is in state X, the output state Z is in state X.

このように本発明に係る論理ゲートの評価方法は、極め
て簡単な手続きでかつ高速に論理ゲートの出力状態を求
めることができる。
As described above, the logic gate evaluation method according to the present invention allows the output state of a logic gate to be determined quickly and with an extremely simple procedure.

発明の効果 以上述べてきたように本発明に係る論理ゲートの評価装
置および論理ゲートの評価方法は、論理ゲートの入力端
子の状態データから出力状態を簡単にかつ高速に求め得
るものであり、その実用的効果は大きい。
Effects of the Invention As described above, the logic gate evaluation device and logic gate evaluation method according to the present invention can easily and quickly determine the output state from the state data of the input terminal of the logic gate. The practical effects are great.

【図面の簡単な説明】[Brief explanation of the drawing]

第1図は本発明に係る論理ゲートの評価装置の実施例を
示したブロック図、第2図は同本発明に係る論理ゲート
の評価装置の実施例のエンコーダの機能を説明した真理
値図、第3図は同実施例で取り扱う2人力ANDゲート
の真理値図、第4図は同実施例て用いる論理状態とヒツ
ト値の対応を示した説明図、第5図は第1図に示した本
発明に係る論理ゲートの評価装置の実施例において、2
人力ORゲートを取り扱う場合のエンコーダの機能を説
明した真理図、第6図は本発明に係る論理ゲートの評価
方法の実施例を示した流れ図である。 10・・・・・・演算装置、10a・・・・・・論理演
算器、1゜b・・・・・・比較器、11・・・・・・演
算装置、13・・・・・・エンコーダ。 代理人の氏名 弁理士 粟野重孝 はが1名第 図 第 図 第 図 第 図
FIG. 1 is a block diagram showing an embodiment of the logic gate evaluation device according to the present invention, and FIG. 2 is a truth value diagram illustrating the function of the encoder of the embodiment of the logic gate evaluation device according to the present invention. Fig. 3 is a truth value diagram of the two-man-operated AND gate handled in the same example, Fig. 4 is an explanatory diagram showing the correspondence between logic states and hit values used in the same example, and Fig. 5 is the same as shown in Fig. 1. In the embodiment of the logic gate evaluation device according to the present invention, 2
FIG. 6 is a truth diagram illustrating the function of an encoder when handling a manually operated OR gate, and FIG. 6 is a flowchart showing an embodiment of the logic gate evaluation method according to the present invention. 10... Arithmetic unit, 10a... Logical operator, 1°b... Comparator, 11... Arithmetic unit, 13... encoder. Name of agent: Patent attorney Shigetaka Awano (1 person)

Claims (2)

【特許請求の範囲】[Claims] (1)論理ゲートの入力端子の状態データと第1のマス
クデータとの論理演算を行う論理演算器と、これの出力
と第2のマスクデータとを比較する比較器とを備えた少
なくとも1つの演算装置と、前記演算装置の比較器の出
力を受け該論理ゲートの出力状態データを生成するエン
コーダとを備えたことを特徴とする論理ゲート評価装置
(1) At least one logic operation unit that performs a logical operation on the state data of the input terminal of the logic gate and the first mask data, and a comparator that compares the output of the logic operation unit with the second mask data. A logic gate evaluation device comprising: an arithmetic device; and an encoder that receives an output from a comparator of the arithmetic device and generates output state data of the logic gate.
(2)論理ゲートの入力端子の状態データと第1のマス
クデータとの論理演算を行う論理演算工程と、前記論理
演算工程での論理演算結果と第2のマスクデータと比較
する比較工程とを備え、前記比較工程での比較結果によ
り該論理ゲートの出力状態データを決定するかまたは前
記論理演算工程と前記比較工程とを繰り返すことを特徴
とする論理ゲート評価方法。
(2) a logical operation step of performing a logical operation on the state data of the input terminal of the logic gate and the first mask data; and a comparison step of comparing the logical operation result in the logical operation step with the second mask data. A logic gate evaluation method comprising: determining output state data of the logic gate based on a comparison result in the comparison step, or repeating the logic operation step and the comparison step.
JP63169404A 1988-07-07 1988-07-07 Method and device for evaluation of logical gate Pending JPH0218632A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP63169404A JPH0218632A (en) 1988-07-07 1988-07-07 Method and device for evaluation of logical gate

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP63169404A JPH0218632A (en) 1988-07-07 1988-07-07 Method and device for evaluation of logical gate

Publications (1)

Publication Number Publication Date
JPH0218632A true JPH0218632A (en) 1990-01-22

Family

ID=15885974

Family Applications (1)

Application Number Title Priority Date Filing Date
JP63169404A Pending JPH0218632A (en) 1988-07-07 1988-07-07 Method and device for evaluation of logical gate

Country Status (1)

Country Link
JP (1) JPH0218632A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8669280B2 (en) 2005-06-24 2014-03-11 Biotron Limited Antiviral compounds and methods

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8669280B2 (en) 2005-06-24 2014-03-11 Biotron Limited Antiviral compounds and methods

Similar Documents

Publication Publication Date Title
Baker et al. Relativizations of the P=?NP question
JPH0746310B2 (en) Semiconductor logic circuit
US4648059A (en) N-bit magnitude comparator
Deaconu et al. A pure jump Markov process associated with Smoluchowski's coagulation equation
US4728927A (en) Apparatus and method for performing comparison of two signals
JPH0218632A (en) Method and device for evaluation of logical gate
CN108665002A (en) A kind of two classification task label noises tolerance grader learning method
Pomeranz et al. Test generation for path delay faults based on learning
Matsuoka et al. Factorizing a string into squares in linear time
Salameh Detection of intrusion using neural networks: A customized study
Saucier Next-state equations of asynchronous sequential machines
JP2832921B2 (en) Functional simulation device
US5325319A (en) Filtering a signal with the use of approximate arithmetical division
EP1067467A1 (en) Dynamic association of equations to unknowns during simulation of systems described by hardware description language
ROY CHOWDHURY et al. Modelling and simulation of combinational digital circuits using Petri nets
JP2003030270A (en) Method and device for verifying property of synchronous sequential circuit
JP2953405B2 (en) Method for speeding up logic simulation and logic simulation apparatus
Leung et al. Balancing Samples’ Contributions on GA Learning
CN112291054A (en) Side channel leakage detection method for low-entropy mask scheme
CN112667198A (en) Randomness detection method and device for industrial control system safety protection product
JPH0480854A (en) Password control system
JP2564881B2 (en) Bit string comparison method
CN1222031C (en) Method for establishing linlimited measuring vector in chip design verification
JPH07325131A (en) Inspection series compression system
Balcázar et al. Uniform Circuit Complexity