JPH04367979A - Circuit diagram editing device - Google Patents

Circuit diagram editing device

Info

Publication number
JPH04367979A
JPH04367979A JP3170714A JP17071491A JPH04367979A JP H04367979 A JPH04367979 A JP H04367979A JP 3170714 A JP3170714 A JP 3170714A JP 17071491 A JP17071491 A JP 17071491A JP H04367979 A JPH04367979 A JP H04367979A
Authority
JP
Japan
Prior art keywords
circuit
information
circuit diagram
partial circuit
partial
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
JP3170714A
Other languages
Japanese (ja)
Inventor
Hiroki Sudo
須藤 宏樹
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.)
NEC Corp
Original Assignee
NEC Corp
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 NEC Corp filed Critical NEC Corp
Priority to JP3170714A priority Critical patent/JPH04367979A/en
Publication of JPH04367979A publication Critical patent/JPH04367979A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To curtail the time required for generating connection information by generating the connection information of a changed partial circuit, incorporating it to the connection information of the existing partial circuit and generating the connection, information of the whole circuit, in the device for editing a circuit diagram of a semiconductor integrated circuit. CONSTITUTION:A generating/updating means 1 divides a circuit diagram into partial circuit blocks, and generates and updates circuit diagram information by this block unit. A hierarchizing means 2 expands this partial circuit to a logical level chart, and also, expands it to a transistor level chart and hierarchizes it. An incorporating means 5 generates layout verification connecting information by a partial circuit unit, based on the circuit diagram information of the block unit, and incorporates the layout verification connecting information generated to the changed partial circuit to the layout verification connecting information generated to the existing partial circuit. A parameter giving means 4 gives a magnification parameter to gate width of a transistor contained in the transistor level chart of its lower hierarchy, to the logical level chart and/or the partial circuit block.

Description

【発明の詳細な説明】[Detailed description of the invention]

【0001】0001

【産業上の利用分野】本発明は、半導体集積回路の回路
図編集手段に利用する。特に、回路図情報およびレイア
ウト検証用接続情報の生成および管理手段に関する。
BACKGROUND OF THE INVENTION 1. Field of Industrial Application The present invention is applied to circuit diagram editing means for semiconductor integrated circuits. In particular, it relates to means for generating and managing circuit diagram information and layout verification connection information.

【0002】0002

【従来の技術】従来例では、全体回路を複数の部分回路
に分割して編集する場合に、図7に示すように、部分回
路の回路図を入力して個々の部分回路に対応する回路図
情報が生成される。また、回路図を変更する場合は、既
に生成されている回路図情報が変更される。そして個々
の回路図情報が併合され全体回路の回路図情報が生成さ
れる。レイアウト検証用接続情報は、個々の部分回路に
対応するものは生成せず、全体回路の回路図情報をもと
に全体回路に対応して一つだけを生成していた。また、
トランジスタのゲート幅の変更は、図8の801で示す
ように、トランジスタ・レベルの回路図の一つ一つのト
ランジスタに対して定義されているゲートサイズのパラ
メータを直接変更するか、または図9の901で示すよ
うに、1階層上位の論理ゲートに対して定義されている
倍率パラメータを変更していた。
[Prior Art] In a conventional example, when editing an entire circuit by dividing it into a plurality of partial circuits, the circuit diagrams of the partial circuits are input and the circuit diagrams corresponding to the individual partial circuits are created as shown in FIG. Information is generated. Furthermore, when changing the circuit diagram, the already generated circuit diagram information is changed. The individual circuit diagram information is then merged to generate circuit diagram information for the entire circuit. Layout verification connection information is not generated for each individual partial circuit, but only one piece of connection information is generated for the entire circuit based on the circuit diagram information of the entire circuit. Also,
The gate width of a transistor can be changed by directly changing the gate size parameter defined for each transistor in the transistor level circuit diagram, as shown at 801 in FIG. As shown at 901, the magnification parameter defined for the logic gate one layer higher was changed.

【0003】0003

【発明が解決しようとする課題】LSIの設計を行う場
合に回路設計とレイアウトは同時進行をとることが多く
、シミュレーションの結果次第で回路を変更し、それに
伴ってレイアウトを変更することが多いので、レイアウ
ト検証の回数は著しく多い。この従来の回路図編集手段
では、全体回路の回路図情報をもとに接続情報を生成し
ていたので、いくつかの部分回路を変更したときに接続
情報のうちの変更されなかった部分回路に対応する部分
も最初から作り直され、したがって変更の度に多くの時
間を要する欠点があった。
[Problem to be solved by the invention] When designing an LSI, circuit design and layout often proceed simultaneously, and the circuit is often changed depending on the simulation results, and the layout is often changed accordingly. , the number of layout verifications is significantly large. This conventional circuit diagram editing method generates connection information based on the circuit diagram information of the entire circuit, so when some partial circuits are changed, the connection information of the partial circuits that have not been changed is The corresponding parts were also rebuilt from scratch, which had the disadvantage of requiring a lot of time each time a change was made.

【0004】また、上位マクロブロックの下のトランジ
スタのゲート幅を一律に何倍かに変更する場合に、トラ
ンジスタ・レベルの階層のゲート幅のパラメータをすべ
て直接変更するかまたは論理ゲートに対して定義されて
いる倍率パラメータをすべて変更するので、トランジス
タ・サイズの変更に多くの工数を要する欠点があった。
[0004] In addition, when changing the gate width of transistors under the upper macroblock uniformly by several times, it is necessary to directly change all the gate width parameters at the transistor level or to define them for the logic gate. This method has the disadvantage that changing the transistor size requires a lot of man-hours because all the magnification parameters that have been set are changed.

【0005】本発明は、このような欠点を除去するもの
で、接続情報の作成に要する時間を削減できる回路図編
集装置を提供することを目的とする。
SUMMARY OF THE INVENTION An object of the present invention is to provide a circuit diagram editing device that eliminates these drawbacks and can reduce the time required to create connection information.

【0006】[0006]

【課題を解決するための手段】本発明は、半導体集積回
路の回路図を部分回路ブロックに分割し、この分割され
た部分回路ブロック単位に回路図情報を作成および更新
する手段と、この部分回路を論理レベル図に展開し、さ
らにこの論理レベル図をトランジスタレベル図に展開し
て階層化する手段とを備えた回路図編集装置において、
この部分回路ブロック単位に作成された回路図情報に基
づき部分回路単位にレイアウト検証用接続情報を作成し
、変更された部分回路に対して作成されたレイアウト検
証用接続情報を既存の部分回路に対して作成されたレイ
アウト検証用接続情報に併合する手段と、上記論理レベ
ル図およびまたは部分回路ブロックにその下位階層のト
ランジスタレベル図に含まれるトランジスタのゲート幅
に対する倍率パラメータを与える手段とを含むことを特
徴とする。
[Means for Solving the Problems] The present invention provides a means for dividing a circuit diagram of a semiconductor integrated circuit into partial circuit blocks, creating and updating circuit diagram information for each divided partial circuit block, and a means for dividing a circuit diagram of a semiconductor integrated circuit into partial circuit blocks. In a circuit diagram editing device equipped with a means for developing a logic level diagram into a logic level diagram, and further developing this logic level diagram into a transistor level diagram and hierarchizing the diagram,
Layout verification connection information is created for each partial circuit based on the circuit diagram information created for each partial circuit block, and the layout verification connection information created for the changed partial circuit is applied to the existing partial circuit. and means for giving the logic level diagram and/or partial circuit block a magnification parameter for the gate width of the transistor included in the transistor level diagram in the lower hierarchy. Features.

【0007】[0007]

【作用】回路図を分割して編集する場合に、個々の部分
回路単位に回路図情報と接続情報を生成し、それらを併
合して全体回路の回路図情報と全体回路の接続情報とを
生成する。回路図に変更があった場合に、変更された部
分回路に対応する回路図情報と接続情報とだけを更新し
、変更されなかった部分回路の回路図情報と接続情報と
は更新しない。そして、個々の部分回路に対応する接続
情報を併合して変更後の全体回路の接続情報を生成する
[Operation] When editing a circuit diagram by dividing it, generate circuit diagram information and connection information for each partial circuit, and merge them to generate circuit diagram information for the entire circuit and connection information for the entire circuit. do. When a circuit diagram is changed, only the circuit diagram information and connection information corresponding to the changed partial circuit are updated, and the circuit diagram information and connection information of the unchanged partial circuit are not updated. Then, connection information corresponding to each partial circuit is merged to generate connection information for the entire circuit after the change.

【0008】また、最下位のトランジスタ・レベルの階
層以外の任意の階層の任意のブロックに対して倍率パラ
メータを定義し、その下の階層のブロックの倍率パラメ
ータに掛ける。これを、最下位層に至るまで行い、パラ
メータの階層間の乗算の結果をトランジスタのゲート幅
に掛け、その値で接続情報を生成する。
Furthermore, a magnification parameter is defined for any block in any hierarchy other than the lowest transistor level hierarchy, and is multiplied by the magnification parameter of the block in the hierarchy below it. This is repeated until the lowest layer is reached, the gate width of the transistor is multiplied by the result of multiplication between the parameter layers, and connection information is generated using that value.

【0009】[0009]

【実施例】以下、本発明の一実施例について図面を参照
して説明する。図1は本発明の第一実施例の処理手順を
示すフローチャートであり、回路図入力、変更から接続
情報生成までの処理手順を示す。利用者が部分回路の回
路図を入力し、回路図情報が生成される。部分回路図の
変更の場合に、既に作成されている回路図情報に変更が
行われる。回路図情報が新しく作られたかまたは変更さ
れた場合に、回路図情報からその部分回路に対応する接
続情報を作成し、最新のものとして記録される。そして
個々の接続情報は併合され、全体回路の接続情報が生成
される。
DESCRIPTION OF THE PREFERRED EMBODIMENTS An embodiment of the present invention will be described below with reference to the drawings. FIG. 1 is a flowchart showing the processing procedure of the first embodiment of the present invention, and shows the processing procedure from circuit diagram input and modification to connection information generation. A user inputs a circuit diagram of a partial circuit, and circuit diagram information is generated. When a partial circuit diagram is changed, the circuit diagram information that has already been created is changed. When circuit diagram information is newly created or changed, connection information corresponding to the partial circuit is created from the circuit diagram information and recorded as the latest information. The individual connection information is then merged to generate connection information for the entire circuit.

【0010】すなわち、この実施例は、図10に示すよ
うに、半導体集積回路の回路図を部分回路ブロックに分
割し、この分割された部分回路ブロック単位に回路図情
報を作成および更新する作成更新手段1と、この部分回
路を論理レベル図に展開し、さらにこの論理レベル図を
トランジスタレベル図に展開して階層化する階層化手段
2と、この部分回路ブロック単位に作成された回路図情
報に基づき部分回路単位にレイアウト検証用接続情報を
作成し、変更された部分回路に対して作成されたレイア
ウト検証用接続情報を既存の部分回路に対して作成され
たレイアウト検証用接続情報に併合する併合手段3と、
上記論理レベル図およびまたは部分回路ブロックにその
下位階層のトランジスタレベル図に含まれるトランジス
タのゲート幅に対する倍率パラメータを与えるパラメー
タ付与手段4とを含むプログラムを備える。
That is, in this embodiment, as shown in FIG. 10, the circuit diagram of a semiconductor integrated circuit is divided into partial circuit blocks, and circuit diagram information is created and updated for each divided partial circuit block. means 1, hierarchizing means 2 for developing this partial circuit into a logic level diagram and further developing this logic level diagram into a transistor level diagram and hierarchizing the circuit diagram information created in units of this partial circuit block; Create layout verification connection information for each subcircuit based on the information, and merge the layout verification connection information created for the changed subcircuit with the layout verification connection information created for the existing subcircuit. Means 3 and
The present invention includes a program including a parameter providing means 4 for providing the logic level diagram and/or partial circuit block with a magnification parameter for the gate width of the transistor included in the transistor level diagram in the lower hierarchy.

【0011】図2はこの一実施例で作成された部分回路
の回路図情報と接続情報とが記録されている状態例を示
す。201は部分回路の回路図情報、202は部分回路
の接続情報を示す。
FIG. 2 shows an example of a state in which circuit diagram information and connection information of a partial circuit created in this embodiment are recorded. 201 shows circuit diagram information of the partial circuit, and 202 shows connection information of the partial circuit.

【0012】図3は、この実施例でマクロブロックに倍
率パラメータが定義された状態例である。301は倍率
パラメータを示す。このパラメータの値を下の階層のブ
ロックの倍率パラメータに掛ける。これを最下位層に至
るまで行い、パラメータの階層間の乗算の結果をトラン
ジスタのゲート幅に掛け、その値で接続情報を生成する
FIG. 3 shows an example of a state in which a magnification parameter is defined for a macroblock in this embodiment. 301 indicates a magnification parameter. Multiply the value of this parameter by the magnification parameter of the block in the lower layer. This is repeated until the lowest layer is reached, the gate width of the transistor is multiplied by the result of multiplication between the parameter layers, and connection information is generated using that value.

【0013】すなわち、図4のように回路を階層設計し
たとする。図中のLおよびWはそれぞれトランジスタの
長さおよび幅を表す。ここでは、インバータ、ナンドゲ
ートともに、下位階層のトランジスタ回路でLおよびW
の値が定義されている。従来例では、トランジスタ回路
より一つ上の論理回路図からK=3の形で倍率を与え、
W=20×K、W=10×Kでトランジスタの幅を決め
ていたが、一律に幅を3倍するときにもすべてのゲート
にK=3を与えなければならず、部分回路のゲート数が
多くなると変更が煩雑になる。もし、上位階層である部
分回路から倍率が指定できれば、S=3、K=3に対し
てW=20×K×S=120、W=10×K×S=60
にトランジスタサイズを指定することができる。このよ
うに、所望の階層、所望のブロックに倍率パラメータを
指定することにより、トランジスタサイズの変更を容易
に行うことができる。
That is, assume that the circuit is hierarchically designed as shown in FIG. L and W in the figure represent the length and width of the transistor, respectively. Here, both the inverter and the NAND gate are L and W in the lower layer transistor circuit.
The value of is defined. In the conventional example, a multiplication factor is given in the form of K = 3 from the logic circuit diagram one level higher than the transistor circuit.
The width of the transistor was determined by W = 20 × K and W = 10 × K, but even when the width is uniformly tripled, K = 3 must be given to all gates, and the number of gates in the partial circuit is When there are many, changes become complicated. If the magnification can be specified from the upper layer partial circuit, then W = 20 x K x S = 120, W = 10 x K x S = 60 for S = 3 and K = 3.
You can specify the transistor size. In this way, by specifying the magnification parameter for a desired layer and a desired block, the transistor size can be easily changed.

【0014】図5は本発明の第二実施例の処理手順を示
すフローチャートであり、回路図入力、変更から接続情
報生成までの処理手順を示す。利用者が部分回路を新し
く作成する場合に、部分回路の回路図を入力し、生成さ
れた回路図情報はその第1版として登録される。次に、
回路図情報の第1版から接続情報の第1版が生成される
。部分回路の変更の場合に、既に作成されている回路図
情報に変更が行われ、変更後の回路図情報は版数を一つ
繰り上げて新しく登録される。(版数の古いものも残し
ておく)次に、変更された部分回路の最新版の回路図情
報から部分回路の接続情報を生成し、回路図情報と同じ
版数で登録される。利用者は各部分回路の任意の版の接
続情報を選んで併合し、全体回路の接続情報を作ること
ができる。
FIG. 5 is a flowchart showing the processing procedure of the second embodiment of the present invention, from circuit diagram input and modification to connection information generation. When a user creates a new partial circuit, the user inputs the circuit diagram of the partial circuit, and the generated circuit diagram information is registered as the first version. next,
A first version of connection information is generated from the first version of the circuit diagram information. When a partial circuit is changed, the circuit diagram information that has already been created is changed, and the version number of the changed circuit diagram information is incremented by one and newly registered. (Old versions are also retained.) Next, partial circuit connection information is generated from the latest version of the circuit diagram information of the changed partial circuit, and is registered with the same version number as the circuit diagram information. Users can select any version of connection information for each partial circuit and merge them to create connection information for the entire circuit.

【0015】図6は、この第二実施例における部分回路
の回路図情報と接続情報とが記録されている状態例で、
501は回路図情報第1版、502は接続情報第1版、
503は回路図情報第2版、504は接続情報第2版を
示す。
FIG. 6 shows an example of a state in which circuit diagram information and connection information of a partial circuit in this second embodiment are recorded.
501 is the circuit diagram information 1st edition, 502 is the connection information 1st edition,
Reference numeral 503 indicates the second version of the circuit diagram information, and reference numeral 504 indicates the second version of the connection information.

【0016】[0016]

【発明の効果】本発明は、以上説明したように、回路図
を分割して編集した場合に、変更した部分回路の接続情
報だけを作りなおして既存の接続情報と併合することに
よって全体回路の接続情報を作成し、また、上位階層か
らトランジスタ・サイズの変更ができるので、接続情報
の作成に要する時間を削減できる効果がある。
[Effects of the Invention] As explained above, when a circuit diagram is edited by dividing it, the present invention regenerates only the connection information of the changed partial circuit and merges it with the existing connection information, thereby editing the entire circuit. Since the connection information can be created and the transistor size can be changed from the upper layer, the time required to create the connection information can be reduced.

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

【図1】本発明第一実施例の処理の内容を示す流れ図。FIG. 1 is a flowchart showing the contents of processing in a first embodiment of the present invention.

【図2】本発明第一実施例で作成された情報の記録状態
を示す図。
FIG. 2 is a diagram showing the recording state of information created in the first embodiment of the present invention.

【図3】本発明第一実施例による倍率パラメータの定義
状態を示す図。
FIG. 3 is a diagram showing the definition state of magnification parameters according to the first embodiment of the present invention.

【図4】本発明第一実施例による倍率パラメータの定義
動作を示す図。
FIG. 4 is a diagram showing a magnification parameter definition operation according to the first embodiment of the present invention.

【図5】本発明第二実施例の処理の内容を示す流れ図。FIG. 5 is a flowchart showing the contents of processing in a second embodiment of the present invention.

【図6】本発明第二実施例で作成された情報の記録状態
を示す図。
FIG. 6 is a diagram showing the recording state of information created in the second embodiment of the present invention.

【図7】従来例の処理の内容を示す流れ図。FIG. 7 is a flowchart showing the contents of processing in a conventional example.

【図8】従来例によるゲートサイズパラメータの定義状
態を示す図。
FIG. 8 is a diagram showing a definition state of gate size parameters according to a conventional example.

【図9】従来例による倍率パラメータの定義状態を示す
図。
FIG. 9 is a diagram showing a definition state of a magnification parameter according to a conventional example.

【図10】図1に示す処理を行う装置の構成を示す図。FIG. 10 is a diagram showing the configuration of an apparatus that performs the processing shown in FIG. 1.

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

1  作成更新手段 2  階層化手段 3  併合手段 4  パラメータ付与手段 201  回路図情報 202  接続情報 501  回路図情報第1版 502  接続情報第1版 503  回路図情報第2版 504  接続情報第2版 1 Creation and update means 2 Hierarchization means 3. Means of annexation 4 Parameter assignment means 201 Circuit diagram information 202 Connection information 501 Circuit diagram information 1st edition 502 Connection information 1st edition 503 Circuit diagram information 2nd edition 504 Connection information 2nd edition

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】  半導体集積回路の回路図を部分回路ブ
ロックに分割し、この分割された部分回路ブロック単位
に回路図情報を作成および更新する手段と、この部分回
路を論理レベル図に展開し、さらにこの論理レベル図を
トランジスタレベル図に展開して階層化する手段とを備
えた回路図編集装置において、この部分回路ブロック単
位に作成された回路図情報に基づき部分回路単位にレイ
アウト検証用接続情報を作成し、変更された部分回路に
対して作成されたレイアウト検証用接続情報を既存の部
分回路に対して作成されたレイアウト検証用接続情報に
併合する手段と、上記論理レベル図およびまたは部分回
路ブロックにその下位階層のトランジスタレベル図に含
まれるトランジスタのゲート幅に対する倍率パラメータ
を与える手段とを備えたことを特徴とする回路図編集装
置。
1. Means for dividing a circuit diagram of a semiconductor integrated circuit into partial circuit blocks, creating and updating circuit diagram information for each divided partial circuit block, and developing the partial circuit into a logic level diagram, Furthermore, in a circuit diagram editing device equipped with a means for developing and layering this logic level diagram into a transistor level diagram, connection information for layout verification is provided for each partial circuit based on the circuit diagram information created for each partial circuit block. and merging the layout verification connection information created for the changed partial circuit with the layout verification connection information created for the existing partial circuit, and the above logic level diagram and/or the partial circuit. A circuit diagram editing device comprising: means for giving a block a magnification parameter for a gate width of a transistor included in a transistor level diagram in a lower hierarchy thereof.
JP3170714A 1991-06-14 1991-06-14 Circuit diagram editing device Pending JPH04367979A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP3170714A JPH04367979A (en) 1991-06-14 1991-06-14 Circuit diagram editing device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP3170714A JPH04367979A (en) 1991-06-14 1991-06-14 Circuit diagram editing device

Publications (1)

Publication Number Publication Date
JPH04367979A true JPH04367979A (en) 1992-12-21

Family

ID=15910039

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3170714A Pending JPH04367979A (en) 1991-06-14 1991-06-14 Circuit diagram editing device

Country Status (1)

Country Link
JP (1) JPH04367979A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002189765A (en) * 2000-12-21 2002-07-05 Asahi Kasei Microsystems Kk Apparatus and method for supporting design of semiconductor device

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002189765A (en) * 2000-12-21 2002-07-05 Asahi Kasei Microsystems Kk Apparatus and method for supporting design of semiconductor device
JP4620241B2 (en) * 2000-12-21 2011-01-26 旭化成エレクトロニクス株式会社 Semiconductor device design support apparatus and method

Similar Documents

Publication Publication Date Title
US6298319B1 (en) Incremental compilation of electronic design for work group
US6678646B1 (en) Method for implementing a physical design for a dynamically reconfigurable logic circuit
KR100249251B1 (en) Logic circuit optimization apparatus and its method
US5805860A (en) Methods, data structures and apparatus for traversing a hierarchical netlist
CN106503282B (en) Incremental register retiming for integrated circuit designs
US6817007B2 (en) Interactive loop configuration in a behavioral synthesis tool
JP2004502259A (en) Method and system for checking tiered metal terminations, surroundings, and exposure
US5912819A (en) Method for designing an architectural system
JPH05108744A (en) Device and method for optimizing hierarchical circuit data base
GB2306728A (en) Programmable logic array design using parameterized logic modules
EP1963965B1 (en) Run-time tunable sample time in programming or modeling environments
JPH06274568A (en) Expansion method for hierarchical graphic data
JPH04367979A (en) Circuit diagram editing device
US7509246B1 (en) System level simulation models for hardware modules
US7353488B1 (en) Flow definition language for designing integrated circuit implementation flows
US5533179A (en) Apparatus and method of modifying hardware description language statements
US7181704B1 (en) Method and system for designing integrated circuits using implementation directives
JP3476688B2 (en) Netlist generation method and netlist generation device
US7082589B2 (en) Method of generating a schematic driven layout for a hierarchical integrated circuit design
Ivanova et al. Methods and algorithms for the logical-topological design of microelectronic circuits at the valve and inter-valve levels for promising technologies with a vertical transistor gate
US20040123263A1 (en) Extendable method for revising patterned microelectronic conductor layer layouts
JP2020052807A (en) Layout design device and layout design program
JPWO2003036523A1 (en) Simulation method, simulation program, and display processing method
JP2001053154A (en) Method for manufacturing cell, layout of cell, layout apparatus and recording medium
JP3648370B2 (en) Satisfaction judgment method and apparatus for sum product type logic