JP2000330786A - データ処理方法及びデータ処理装置並びにデータ処理プログラムを記録した記録媒体 - Google Patents
データ処理方法及びデータ処理装置並びにデータ処理プログラムを記録した記録媒体Info
- Publication number
- JP2000330786A JP2000330786A JP14077199A JP14077199A JP2000330786A JP 2000330786 A JP2000330786 A JP 2000330786A JP 14077199 A JP14077199 A JP 14077199A JP 14077199 A JP14077199 A JP 14077199A JP 2000330786 A JP2000330786 A JP 2000330786A
- Authority
- JP
- Japan
- Prior art keywords
- bdd
- node
- variable
- data processing
- data
- 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
- 238000012545 processing Methods 0.000 title claims abstract description 60
- 238000000034 method Methods 0.000 title claims description 27
- 230000006870 function Effects 0.000 claims abstract description 40
- 238000010586 diagram Methods 0.000 claims description 27
- 238000004364 calculation method Methods 0.000 claims description 24
- 238000003672 processing method Methods 0.000 claims description 12
- 238000006467 substitution reaction Methods 0.000 claims description 10
- 238000013500 data storage Methods 0.000 abstract description 26
- 101000845188 Homo sapiens Tetratricopeptide repeat protein 4 Proteins 0.000 description 12
- 102100031279 Tetratricopeptide repeat protein 4 Human genes 0.000 description 12
- 101100490566 Arabidopsis thaliana ADR2 gene Proteins 0.000 description 9
- 101100269260 Saccharomyces cerevisiae (strain ATCC 204508 / S288c) ADH2 gene Proteins 0.000 description 9
- 101100422887 Saccharomyces cerevisiae (strain ATCC 204508 / S288c) SWI1 gene Proteins 0.000 description 5
- 230000001343 mnemonic effect Effects 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 238000007630 basic procedure Methods 0.000 description 1
- 238000007796 conventional method Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000007726 management method Methods 0.000 description 1
- 230000003252 repetitive effect Effects 0.000 description 1
- 238000004904 shortening Methods 0.000 description 1
- 238000004088 simulation Methods 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/30—Computing systems specially adapted for manufacturing
Landscapes
- Executing Machine-Instructions (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
(57)【要約】
【課題】 論理関数をＢＤＤ（二分決定グラフ）で表現
して代入演算を行う際に、変数の値をチェックして０枝
または１枝の選択先の番地をたどるという複数の処理を
繰り返し行うことを不要とし、代入演算処理の処理時間
を短縮する。 【解決手段】論理関数を表すＢＤＤをあらかじめ実行可
能な機械語形式で記憶装置２００ａ内のＢＤＤデータ格
納メモリ２２０ａに格納し、記憶装置２００ａのＢＤＤ
処理プログラム格納メモリ２１０ａとＢＤＤデータ格納
メモリ２２０ａとにそれぞれ格納されているＢＤＤ処理
プログラムおよびＢＤＤデータを、基本処理装置１００
ａによって直接読み出して、解読および実行することに
よって、ＢＤＤの表す論理関数の変数に０または１を代
入して論理関数値を得る代入演算を高速に行うことがで
きる。
して代入演算を行う際に、変数の値をチェックして０枝
または１枝の選択先の番地をたどるという複数の処理を
繰り返し行うことを不要とし、代入演算処理の処理時間
を短縮する。 【解決手段】論理関数を表すＢＤＤをあらかじめ実行可
能な機械語形式で記憶装置２００ａ内のＢＤＤデータ格
納メモリ２２０ａに格納し、記憶装置２００ａのＢＤＤ
処理プログラム格納メモリ２１０ａとＢＤＤデータ格納
メモリ２２０ａとにそれぞれ格納されているＢＤＤ処理
プログラムおよびＢＤＤデータを、基本処理装置１００
ａによって直接読み出して、解読および実行することに
よって、ＢＤＤの表す論理関数の変数に０または１を代
入して論理関数値を得る代入演算を高速に行うことがで
きる。
Description
【０００１】
【発明の属する技術分野】本発明は、論理関数を表すＢ
ＤＤ（二分決定グラフ）に０又は１を代入して演算を行
うのに用いて好適なデータ処理方法及びデータ処理装置
並びにデータ処理プログラムを記録した記録媒体に関す
る。
ＤＤ（二分決定グラフ）に０又は１を代入して演算を行
うのに用いて好適なデータ処理方法及びデータ処理装置
並びにデータ処理プログラムを記録した記録媒体に関す
る。
【０００２】
【従来の技術】二分決定グラフ（ＢＤＤ；binary decis
ion diagram）は，計算機上における論理関数の表現法
の１つであり、論理関数をループのない有向グラフの形
で表すものである。ＢＤＤをある論理式に基づいた論理
回設計や、設計した論理回路の検証などに利用すると、
取り扱うことができる回路規模を大きくできる等の利点
があり、論理回設計のためのＣＡＤ（computer aided d
esign）への応用等が盛んに行われている。
ion diagram）は，計算機上における論理関数の表現法
の１つであり、論理関数をループのない有向グラフの形
で表すものである。ＢＤＤをある論理式に基づいた論理
回設計や、設計した論理回路の検証などに利用すると、
取り扱うことができる回路規模を大きくできる等の利点
があり、論理回設計のためのＣＡＤ（computer aided d
esign）への応用等が盛んに行われている。
【０００３】論理回路シミュレーションを行う際には、
入力信号に対して出力信号がどうなるか、実際に値（０
や１）を代入して結果（０か１か）を検証したい場合が
ある。その際、ＢＤＤで表現された論理関数に具体的な
値（０または１）を代入して関数値を計算する演算を行
うことになる。このような演算では、ＢＤＤの変数節点
の変数値が０か１か判断して、０枝か１枝かのいずれか
に進み、定数節点に到達するまでその条件分岐が繰り返
し行われることになる。
入力信号に対して出力信号がどうなるか、実際に値（０
や１）を代入して結果（０か１か）を検証したい場合が
ある。その際、ＢＤＤで表現された論理関数に具体的な
値（０または１）を代入して関数値を計算する演算を行
うことになる。このような演算では、ＢＤＤの変数節点
の変数値が０か１か判断して、０枝か１枝かのいずれか
に進み、定数節点に到達するまでその条件分岐が繰り返
し行われることになる。
【０００４】
【発明が解決しようとする課題】ここで、図面を参照し
て、本願発明の背景技術となったＢＤＤの代入演算処理
方法について説明する。図８はＢＤＤの一例を示す図で
あり、この図に示すＢＤＤは、２つの変数ｘ1，ｘ2を用
いた、ｘ2とｘ1の否定との論理積、ｘ2とｘ1の排他的論
理和、ｘ1の否定、およびｘ2とｘ1の否定との論理和の
４つの論理関数を表現している。節点Ｎ１〜Ｎ５は、変
数の値（０または１）によって分岐先の枝（０枝または
１枝）が決定される変数節点であって、節点Ｎ１〜Ｎ３
が変数ｘ2の値によって分岐条件が決定されるものであ
り、節点Ｎ４およびＮ５が変数ｘ1の値によって分岐条
件が決定されるものである。節点Ｎ６とＮ７は定数節点
であり、節点Ｎ６が定数０を、節点Ｎ７が定数１を表す
ものである。
て、本願発明の背景技術となったＢＤＤの代入演算処理
方法について説明する。図８はＢＤＤの一例を示す図で
あり、この図に示すＢＤＤは、２つの変数ｘ1，ｘ2を用
いた、ｘ2とｘ1の否定との論理積、ｘ2とｘ1の排他的論
理和、ｘ1の否定、およびｘ2とｘ1の否定との論理和の
４つの論理関数を表現している。節点Ｎ１〜Ｎ５は、変
数の値（０または１）によって分岐先の枝（０枝または
１枝）が決定される変数節点であって、節点Ｎ１〜Ｎ３
が変数ｘ2の値によって分岐条件が決定されるものであ
り、節点Ｎ４およびＮ５が変数ｘ1の値によって分岐条
件が決定されるものである。節点Ｎ６とＮ７は定数節点
であり、節点Ｎ６が定数０を、節点Ｎ７が定数１を表す
ものである。
【０００５】図８のＢＤＤを用いて、例えば、ｘ2とｘ1
の排他的論理和を求める場合、まず節点Ｎ２で変数ｘ2
の値に応じた０枝または１枝の選択を行う。一方、変数
ｘ2が０の場合は０枝を選択して節点Ｎ４へ進み、他
方、変数ｘ2が１の場合は１枝を選択して節点Ｎ５へ進
む。次に節点Ｎ４またはＮ５では変数ｘ1の値に応じて
０枝または１枝の選択を行う。節点Ｎ４で変数ｘ1が０
の場合は０枝を選択して定数節点Ｎ６へ進み、ｘ2とｘ1
の排他的論理和の演算結果が０に決定される。一方、節
点Ｎ４で変数ｘ1が１の場合は１枝を選択して定数節点
Ｎ７へ進み、演算結果は１となる。他方、節点Ｎ２から
節点Ｎ５へ進んだ場合、節点Ｎ５では、変数ｘ1が１の
場合は１枝を選択して定数節点Ｎ６へ進み、演算結果の
０が求められる。そして、節点Ｎ５で変数ｘ1が０の場
合は０枝を選択して定数節点Ｎ７へ進み、演算結果が１
となる。
の排他的論理和を求める場合、まず節点Ｎ２で変数ｘ2
の値に応じた０枝または１枝の選択を行う。一方、変数
ｘ2が０の場合は０枝を選択して節点Ｎ４へ進み、他
方、変数ｘ2が１の場合は１枝を選択して節点Ｎ５へ進
む。次に節点Ｎ４またはＮ５では変数ｘ1の値に応じて
０枝または１枝の選択を行う。節点Ｎ４で変数ｘ1が０
の場合は０枝を選択して定数節点Ｎ６へ進み、ｘ2とｘ1
の排他的論理和の演算結果が０に決定される。一方、節
点Ｎ４で変数ｘ1が１の場合は１枝を選択して定数節点
Ｎ７へ進み、演算結果は１となる。他方、節点Ｎ２から
節点Ｎ５へ進んだ場合、節点Ｎ５では、変数ｘ1が１の
場合は１枝を選択して定数節点Ｎ６へ進み、演算結果の
０が求められる。そして、節点Ｎ５で変数ｘ1が０の場
合は０枝を選択して定数節点Ｎ７へ進み、演算結果が１
となる。
【０００６】ｘ2とｘ1の否定との論理積に対しては節点
Ｎ１が演算開始の節点であり、ｘ1の否定に対しては節
点Ｎ５が演算開始の節点であり、また、ｘ2とｘ1の否定
との論理和に対しては節点Ｎ３が演算開始の節点であ
る。そして、ｘ2とｘ1の排他的論理和の演算の場合と同
様にして、各開始節点を起点として、変数節点では各変
数に０または１の値を代入して０枝または１枝の選択を
行って次の節点に進み、これを定数節点に至るまで繰り
返し行うことで、演算結果０または１を求めることがで
きる。なお、図８のＢＤＤにおいては、節点Ｎ１では、
変数ｘ2の値が０の場合は０枝を選択して定数節点Ｎ６
へ進み、他方、変数ｘ2が１の場合は１枝を選択して節
点Ｎ５へ進む。節点Ｎ３では、変数ｘ2の値が０の場合
は０枝を選択して定数節点Ｎ５へ進み、他方、変数ｘ2
が１の場合は１枝を選択して定数節点Ｎ７へ進む。
Ｎ１が演算開始の節点であり、ｘ1の否定に対しては節
点Ｎ５が演算開始の節点であり、また、ｘ2とｘ1の否定
との論理和に対しては節点Ｎ３が演算開始の節点であ
る。そして、ｘ2とｘ1の排他的論理和の演算の場合と同
様にして、各開始節点を起点として、変数節点では各変
数に０または１の値を代入して０枝または１枝の選択を
行って次の節点に進み、これを定数節点に至るまで繰り
返し行うことで、演算結果０または１を求めることがで
きる。なお、図８のＢＤＤにおいては、節点Ｎ１では、
変数ｘ2の値が０の場合は０枝を選択して定数節点Ｎ６
へ進み、他方、変数ｘ2が１の場合は１枝を選択して節
点Ｎ５へ進む。節点Ｎ３では、変数ｘ2の値が０の場合
は０枝を選択して定数節点Ｎ５へ進み、他方、変数ｘ2
が１の場合は１枝を選択して定数節点Ｎ７へ進む。
【０００７】次に、図８に示すＢＤＤの代入演算を、コ
ンピュータを用いて行う場合の具体例を図９〜図１３を
参照して説明する。図９は、ＢＤＤの演算処理を行うコ
ンピュータの基本構成を示すブロック図である。基本処
理装置１００は、プログラム・カウンタ、アキュムレー
タ、演算回路、各種レジスタ、割り込み制御回路等から
構成され、記憶装置２００に格納されているプログラム
を形成する命令の読み出し、解読、および実行を行う。
記憶装置２００は、ＲＯＭ（read-only memory）および
ＲＡＭ（random-access Memory）から構成され、基本処
理装置１００の主記憶として機能する。記憶装置２００
には、少なくともＢＤＤの演算処理を行うＢＤＤ処理プ
ログラムを格納するためのＢＤＤ処理プログラム格納メ
モリ２１０、ＢＤＤの各節点を定義するデータを格納す
るためのＢＤＤデータ格納メモリ２２０、および図８に
示すｘ1，ｘ2等の変数データを格納するための変数デー
タ格納メモリ２３０の３つの領域を有している。基本処
理装置１００は、ＢＤＤ処理プログラム格納メモリ２１
０に格納されているＢＤＤ処理プログラムを読み込み、
解読および実行しながら、ＢＤＤデータ格納メモリ２２
０に格納されているＢＤＤデータと、変数データ格納メ
モリ２３０に格納されている変数データと順次読み取り
ながら、ＢＤＤの演算処理を行う。
ンピュータを用いて行う場合の具体例を図９〜図１３を
参照して説明する。図９は、ＢＤＤの演算処理を行うコ
ンピュータの基本構成を示すブロック図である。基本処
理装置１００は、プログラム・カウンタ、アキュムレー
タ、演算回路、各種レジスタ、割り込み制御回路等から
構成され、記憶装置２００に格納されているプログラム
を形成する命令の読み出し、解読、および実行を行う。
記憶装置２００は、ＲＯＭ（read-only memory）および
ＲＡＭ（random-access Memory）から構成され、基本処
理装置１００の主記憶として機能する。記憶装置２００
には、少なくともＢＤＤの演算処理を行うＢＤＤ処理プ
ログラムを格納するためのＢＤＤ処理プログラム格納メ
モリ２１０、ＢＤＤの各節点を定義するデータを格納す
るためのＢＤＤデータ格納メモリ２２０、および図８に
示すｘ1，ｘ2等の変数データを格納するための変数デー
タ格納メモリ２３０の３つの領域を有している。基本処
理装置１００は、ＢＤＤ処理プログラム格納メモリ２１
０に格納されているＢＤＤ処理プログラムを読み込み、
解読および実行しながら、ＢＤＤデータ格納メモリ２２
０に格納されているＢＤＤデータと、変数データ格納メ
モリ２３０に格納されている変数データと順次読み取り
ながら、ＢＤＤの演算処理を行う。
【０００８】図１０は、ＢＤＤ処理プログラム格納メモ
リ２１０に格納されるＢＤＤ処理プログラムの一例を示
すフローチャートであり、図１１は、図１０に示すＢＤ
Ｄ処理プログラムをアセンブラでコーディングしたもの
である。ただし、図１０のフローチャートと図１１のプ
ログラムは、同一の演算結果を得るものであるが、詳細
な分岐判断の位置等は必ずしも一対一には対応していな
い。
リ２１０に格納されるＢＤＤ処理プログラムの一例を示
すフローチャートであり、図１１は、図１０に示すＢＤ
Ｄ処理プログラムをアセンブラでコーディングしたもの
である。ただし、図１０のフローチャートと図１１のプ
ログラムは、同一の演算結果を得るものであるが、詳細
な分岐判断の位置等は必ずしも一対一には対応していな
い。
【０００９】また、図１２は、ＢＤＤデータ格納メモリ
２２０に格納されているＢＤＤデータの一例を示すもの
であって、ＢＤＤデータはテーブル形式で格納され、そ
のテーブル（以下、ＢＤＤデータテーブル）には図８に
示すＢＤＤを構成する各節点のデータが各節点ごとに設
定されている。ＢＤＤの各節点は，変数の番号，０枝，
１枝の３つの属性をもち、０枝，１枝はそれぞれの行き
先の節点の番地として示され、また、定数節点は特別な
変数の番号をもつ節点のデータとしてメモリ上に格納さ
れる。各属性データは、１番地毎にメモリ上（基本処理
装置１００の主記憶（記憶装置２００ａ）上）に格納さ
れる。
２２０に格納されているＢＤＤデータの一例を示すもの
であって、ＢＤＤデータはテーブル形式で格納され、そ
のテーブル（以下、ＢＤＤデータテーブル）には図８に
示すＢＤＤを構成する各節点のデータが各節点ごとに設
定されている。ＢＤＤの各節点は，変数の番号，０枝，
１枝の３つの属性をもち、０枝，１枝はそれぞれの行き
先の節点の番地として示され、また、定数節点は特別な
変数の番号をもつ節点のデータとしてメモリ上に格納さ
れる。各属性データは、１番地毎にメモリ上（基本処理
装置１００の主記憶（記憶装置２００ａ）上）に格納さ
れる。
【００１０】図１２に示すテーブル中の番地は相対番地
を示すものであり、節点Ｎ１〜Ｎ３のデータがそれぞれ
番地３１３〜番地３１５、番地３１６〜番地３１８、お
よび番地３１９〜番地３２１に格納され、節点Ｎ４〜Ｎ
５のデータがそれぞれ番地３０７〜番地３０９、番地３
１０〜番地３１２に格納され、そして、節点Ｎ６〜Ｎ７
のデータがそれぞれ番地３０１〜番地３０３、番地３０
４〜番地３０６に格納されている。各節点データの先頭
番地３０１，３０４，３０７，３１０，３１３，３１
６，３１９は、それぞれ、ラベルＣＮＳ０，ＣＮＳ１，
ＡＤＲ２，ＡＤＲ３，ＡＤＲ４，ＡＤＲ５，ＡＤＲ６と
定義されていて、各節点データの０枝および１枝の値は
ラベルを用いて表されている。
を示すものであり、節点Ｎ１〜Ｎ３のデータがそれぞれ
番地３１３〜番地３１５、番地３１６〜番地３１８、お
よび番地３１９〜番地３２１に格納され、節点Ｎ４〜Ｎ
５のデータがそれぞれ番地３０７〜番地３０９、番地３
１０〜番地３１２に格納され、そして、節点Ｎ６〜Ｎ７
のデータがそれぞれ番地３０１〜番地３０３、番地３０
４〜番地３０６に格納されている。各節点データの先頭
番地３０１，３０４，３０７，３１０，３１３，３１
６，３１９は、それぞれ、ラベルＣＮＳ０，ＣＮＳ１，
ＡＤＲ２，ＡＤＲ３，ＡＤＲ４，ＡＤＲ５，ＡＤＲ６と
定義されていて、各節点データの０枝および１枝の値は
ラベルを用いて表されている。
【００１１】節点Ｎ１〜Ｎ３のデータの変数の番号は、
変数ｘ2の添え字２であり、０枝および１枝の値は、そ
れぞれ、節点Ｎ１（先頭番地：ＡＤＲ４）でＣＮＳ０
（０枝：定数節点Ｎ６）とＡＤＲ３（１枝：節点Ｎ
５）、節点Ｎ２（先頭番地：ＡＤＲ５）でＡＤＲ２（節
点Ｎ４）とＡＤＲ３（節点Ｎ５）、節点Ｎ３（先頭番
地：ＡＤＲ６）でＡＤＲ３（節点Ｎ５）とＣＮＳ１（定
数節点Ｎ７）である。節点Ｎ４〜Ｎ５のデータの変数の
番号は、変数ｘ1の添え字１であり、０枝および１枝の
値は、それぞれ、節点Ｎ４（先頭番地：ＡＤＲ２）でＣ
ＮＳ０（定数節点Ｎ６）とＣＮＳ１（定数節点Ｎ７）、
節点Ｎ５（先頭番地：ＡＤＲ３）でＣＮＳ１（定数節点
Ｎ７）と ＣＮＳ０（定数節点Ｎ６）である。そして、
定数節点Ｎ６〜Ｎ７は、それぞれ、変数の番号を０と−
１（１を負の符号としたのは変数ｘ1の変数番号と区別
するため）とし、０枝および１枝の値は設定されていな
い。
変数ｘ2の添え字２であり、０枝および１枝の値は、そ
れぞれ、節点Ｎ１（先頭番地：ＡＤＲ４）でＣＮＳ０
（０枝：定数節点Ｎ６）とＡＤＲ３（１枝：節点Ｎ
５）、節点Ｎ２（先頭番地：ＡＤＲ５）でＡＤＲ２（節
点Ｎ４）とＡＤＲ３（節点Ｎ５）、節点Ｎ３（先頭番
地：ＡＤＲ６）でＡＤＲ３（節点Ｎ５）とＣＮＳ１（定
数節点Ｎ７）である。節点Ｎ４〜Ｎ５のデータの変数の
番号は、変数ｘ1の添え字１であり、０枝および１枝の
値は、それぞれ、節点Ｎ４（先頭番地：ＡＤＲ２）でＣ
ＮＳ０（定数節点Ｎ６）とＣＮＳ１（定数節点Ｎ７）、
節点Ｎ５（先頭番地：ＡＤＲ３）でＣＮＳ１（定数節点
Ｎ７）と ＣＮＳ０（定数節点Ｎ６）である。そして、
定数節点Ｎ６〜Ｎ７は、それぞれ、変数の番号を０と−
１（１を負の符号としたのは変数ｘ1の変数番号と区別
するため）とし、０枝および１枝の値は設定されていな
い。
【００１２】図１３は、図９の変数データ格納メモリ２
３０内の変数データの格納方法を示した図であり、この
場合、変数ｘ1，ｘ2，…，ｘi+1（ｉは自然数）は、そ
れぞれ番地ＴＡＤＲ，ＴＡＤＲ＋１，…，ＴＡＤＲ＋ｉ
に格納されるようになっている（以下、図１３のテーブ
ルを変数データテーブルという）。
３０内の変数データの格納方法を示した図であり、この
場合、変数ｘ1，ｘ2，…，ｘi+1（ｉは自然数）は、そ
れぞれ番地ＴＡＤＲ，ＴＡＤＲ＋１，…，ＴＡＤＲ＋ｉ
に格納されるようになっている（以下、図１３のテーブ
ルを変数データテーブルという）。
【００１３】図１４は、この例における図９の基本処理
装置１００内の各レジスタの用途を示す図であり、レジ
スタＲ０には常に０が格納され、レジスタＲ１にはＢＤ
Ｄデータテーブル中の所定の節点のデータの先頭番地が
格納され、以下、レジスタＲ２６，Ｒ２７，Ｒ２８，Ｒ
２９，Ｒ３０，およびＲ３１には、それぞれ、変数
ｘ 1，ｘ2等の変数値（Ｒ２６）、変数番号が０節点か１
節点かを判断するための比較値発生用の値である比較値
（Ｒ２７）、変数ｘ1，ｘ2等の添え字１，２等の変数番
号（Ｒ２８）、論理関数を求める際に代入演算を開始す
る節点をＢＤＤデータテーブル内の節点データの先頭番
地で表した根の番地（Ｒ２９）、ＢＤＤによる演算の結
果である返却する論理関数値（Ｒ３０）、および次の処
理ルーチンの先頭命令番地である戻り番地（Ｒ３１）が
格納される。
装置１００内の各レジスタの用途を示す図であり、レジ
スタＲ０には常に０が格納され、レジスタＲ１にはＢＤ
Ｄデータテーブル中の所定の節点のデータの先頭番地が
格納され、以下、レジスタＲ２６，Ｒ２７，Ｒ２８，Ｒ
２９，Ｒ３０，およびＲ３１には、それぞれ、変数
ｘ 1，ｘ2等の変数値（Ｒ２６）、変数番号が０節点か１
節点かを判断するための比較値発生用の値である比較値
（Ｒ２７）、変数ｘ1，ｘ2等の添え字１，２等の変数番
号（Ｒ２８）、論理関数を求める際に代入演算を開始す
る節点をＢＤＤデータテーブル内の節点データの先頭番
地で表した根の番地（Ｒ２９）、ＢＤＤによる演算の結
果である返却する論理関数値（Ｒ３０）、および次の処
理ルーチンの先頭命令番地である戻り番地（Ｒ３１）が
格納される。
【００１４】図１０に示すフローチャートを参照して、
ＢＤＤ処理プログラムによる演算の基本的な手順につい
て説明する。まず、求める根を指定するとともに、演算
に必要な変数の値を変数データテーブル（図１３）に設
定した所定のメインルーチンから、図１０のＢＤＤ処理
プログラムが呼び出されたとすると、レジスタＲ１に、
代入演算対象の論理関数を表すＢＤＤの根の節点データ
の先頭番地（ＡＤＲ３〜ＡＤＲ６のいずれか）が代入さ
れる（ステップＳ１１）。次に、レジスタＲ１に設定さ
れている番地の節点データ中の変数の番号が基本処理装
置１００内に読み込まれる（ステップＳ１２）。変数の
番号が定数節点を表す値（０または−１）であるときに
は（ステップＳ１３）、定数節点の定数値（０または
１）を論理演算結果としてレジスタＲ３０に設定し（図
１４参照）、レジスタＲ３１に設定された番地の命令に
処理を渡して図１０のＢＤＤ処理プログラムが終了する
（ステップ１８）
ＢＤＤ処理プログラムによる演算の基本的な手順につい
て説明する。まず、求める根を指定するとともに、演算
に必要な変数の値を変数データテーブル（図１３）に設
定した所定のメインルーチンから、図１０のＢＤＤ処理
プログラムが呼び出されたとすると、レジスタＲ１に、
代入演算対象の論理関数を表すＢＤＤの根の節点データ
の先頭番地（ＡＤＲ３〜ＡＤＲ６のいずれか）が代入さ
れる（ステップＳ１１）。次に、レジスタＲ１に設定さ
れている番地の節点データ中の変数の番号が基本処理装
置１００内に読み込まれる（ステップＳ１２）。変数の
番号が定数節点を表す値（０または−１）であるときに
は（ステップＳ１３）、定数節点の定数値（０または
１）を論理演算結果としてレジスタＲ３０に設定し（図
１４参照）、レジスタＲ３１に設定された番地の命令に
処理を渡して図１０のＢＤＤ処理プログラムが終了する
（ステップ１８）
【００１５】一方、ステップＳ１３で、変数の番号が定
数節点を表す値でないと判断された場合は、変数データ
テーブルから変数番号が示す変数データが読み込まれる
（ステップＳ１４）。読み込んだ変数データが０のとき
には、レジスタＲ１に設定されている番地を先頭番地と
する節点データの０枝に設定されている番地でレジスタ
Ｒ１を更新し（ステップＳ１７）、変数データが０でな
いときには、レジスタＲ１に設定されている番地を先頭
番地とする節点データの１枝に設定されている番地でレ
ジスタＲ１を更新して（ステップＳ１６）、ステップＳ
１２へ戻り、上述した処理が繰り返し行われる。
数節点を表す値でないと判断された場合は、変数データ
テーブルから変数番号が示す変数データが読み込まれる
（ステップＳ１４）。読み込んだ変数データが０のとき
には、レジスタＲ１に設定されている番地を先頭番地と
する節点データの０枝に設定されている番地でレジスタ
Ｒ１を更新し（ステップＳ１７）、変数データが０でな
いときには、レジスタＲ１に設定されている番地を先頭
番地とする節点データの１枝に設定されている番地でレ
ジスタＲ１を更新して（ステップＳ１６）、ステップＳ
１２へ戻り、上述した処理が繰り返し行われる。
【００１６】次に、図１１を参照して、ＢＤＤ処理プロ
グラムによる演算処理手順をより詳細に説明する。図１
１に示すアセンブラプログラムでは、各節点について、
以下の〜の各手順を繰り返すループを含む処理を行
うことによって、ＢＤＤの演算を実行している。
グラムによる演算処理手順をより詳細に説明する。図１
１に示すアセンブラプログラムでは、各節点について、
以下の〜の各手順を繰り返すループを含む処理を行
うことによって、ＢＤＤの演算を実行している。
【００１７】節点の情報が格納されているテーブルの
先頭番地を取り込むステップ（ＬＯＯＰ： ＭＯＶ Ｒ
２９，Ｒ１）…レジスタＲ２９（＝根の番地）をレジス
タＲ１に代入。
先頭番地を取り込むステップ（ＬＯＯＰ： ＭＯＶ Ｒ
２９，Ｒ１）…レジスタＲ２９（＝根の番地）をレジス
タＲ１に代入。
【００１８】節点の種類（変数節点か定数節点か）の
情報を取り込むステップ（ＬＷ Ｒ２８，０（Ｒ１））
…レジスタＲ１の示す番地の内容をレジスタＲ２８に代
入。
情報を取り込むステップ（ＬＷ Ｒ２８，０（Ｒ１））
…レジスタＲ１の示す番地の内容をレジスタＲ２８に代
入。
【００１９】定数節点ならばＢＤＤ演算ルーチンを終
了し、次の処理ルーチンに移るステップ（定数０の場
合：ＢＥＱＺ Ｒ２８，ＣＮＳ＿０⇒ＣＮＳ＿０：ＭＯ
Ｖ Ｒ０，Ｒ３０⇒ＪＭＰ Ｒ３１／定数１の場合：Ａ
ＤＤＩ Ｒ２７，Ｒ２８，１⇒ＢＥＱＺ Ｒ２７，ＣＮ
Ｓ＿１⇒ＣＮＳ＿１：ＭＯＶ Ｒ０，Ｒ３０⇒ＡＤＤＩ
Ｒ３０，Ｒ３０，１⇒ＪＭＰ Ｒ３１）…０の場合：レ
ジスタＲ２８が０ならばＣＮＳ＿０にジャンプ⇒レジス
タＲ３０←レジスタＲ０（＝０）⇒呼び出し元に復帰／
１の場合：レジスタＲ２７←レジスタＲ２８＋１⇒レジ
スタＲ２７が０，つまりレジスタＲ２８が−１ならばＣ
ＮＳ＿１にジャンプ⇒レジスタＲ３０←レジスタＲ０
（＝０）⇒レジスタＲ３０←レジスタＲ３０＋１⇒呼び
出し元に復帰。
了し、次の処理ルーチンに移るステップ（定数０の場
合：ＢＥＱＺ Ｒ２８，ＣＮＳ＿０⇒ＣＮＳ＿０：ＭＯ
Ｖ Ｒ０，Ｒ３０⇒ＪＭＰ Ｒ３１／定数１の場合：Ａ
ＤＤＩ Ｒ２７，Ｒ２８，１⇒ＢＥＱＺ Ｒ２７，ＣＮ
Ｓ＿１⇒ＣＮＳ＿１：ＭＯＶ Ｒ０，Ｒ３０⇒ＡＤＤＩ
Ｒ３０，Ｒ３０，１⇒ＪＭＰ Ｒ３１）…０の場合：レ
ジスタＲ２８が０ならばＣＮＳ＿０にジャンプ⇒レジス
タＲ３０←レジスタＲ０（＝０）⇒呼び出し元に復帰／
１の場合：レジスタＲ２７←レジスタＲ２８＋１⇒レジ
スタＲ２７が０，つまりレジスタＲ２８が−１ならばＣ
ＮＳ＿１にジャンプ⇒レジスタＲ３０←レジスタＲ０
（＝０）⇒レジスタＲ３０←レジスタＲ３０＋１⇒呼び
出し元に復帰。
【００２０】変数節点ならばその変数値を取り込むス
テップ（ＬＷ Ｒ２６，ＴＡＤＲ（Ｒ２８））…レジス
タＲ２８が変数番号なので、その値をレジスタＲ２６に
代入。
テップ（ＬＷ Ｒ２６，ＴＡＤＲ（Ｒ２８））…レジス
タＲ２８が変数番号なので、その値をレジスタＲ２６に
代入。
【００２１】変数値が０か１か比較判断するステップ
（変数値＝０の場合：ＢＥＱＺ Ｒ２６，ＺＥＲＯ／変
数値≠０の場合：ＢＲ ＯＮＥ）…０の場合：レジスタ
Ｒ２６（＝変数の値）が０ならばＺＥＲＯにジャンプ／
１の場合：無条件にＯＮＥにジャンプ。
（変数値＝０の場合：ＢＥＱＺ Ｒ２６，ＺＥＲＯ／変
数値≠０の場合：ＢＲ ＯＮＥ）…０の場合：レジスタ
Ｒ２６（＝変数の値）が０ならばＺＥＲＯにジャンプ／
１の場合：無条件にＯＮＥにジャンプ。
【００２２】行き先番地の設定ステップ（０枝：ＬＷ
Ｒ２９，１（Ｒ１）／１枝：ＬＷＲ２９，２（Ｒ
１））…０枝：レジスタＲ１の示す次の番地の内容をレ
ジスタＲ２９に代入／１枝：レジスタＲ１の示す次の次
の番地の内容をレジスタＲ２９に代入。
Ｒ２９，１（Ｒ１）／１枝：ＬＷＲ２９，２（Ｒ
１））…０枝：レジスタＲ１の示す次の番地の内容をレ
ジスタＲ２９に代入／１枝：レジスタＲ１の示す次の次
の番地の内容をレジスタＲ２９に代入。
【００２３】に戻るステップ（ＢＲ ＬＯＯＰ）…
無条件にＬＯＯＰにジャンプ。
無条件にＬＯＯＰにジャンプ。
【００２４】上記のように、ＢＤＤが表す関数の変数に
０または１を代入して関数値を求める代入演算を実行す
るときは，関数を表すＢＤＤの根の番地から出発し、変
数の値により０枝または１枝を選択しながら順次選択先
の番地をたどり、定数節点に到達するまで繰り返す処理
を行っていた。
０または１を代入して関数値を求める代入演算を実行す
るときは，関数を表すＢＤＤの根の番地から出発し、変
数の値により０枝または１枝を選択しながら順次選択先
の番地をたどり、定数節点に到達するまで繰り返す処理
を行っていた。
【００２５】例えば、求める根をｘ2とｘ1の排他的論理
和とし、各変数値をｘ1＝０，ｘ2＝１とすると、図１１
の左端部分の矢印で示されるように、ラベルＬＯＯＰを
先頭とする処理を３回繰り返す処理が行われることにな
る。すなわち、（１）メインルーチンにおいて、ＡＤＲ
５を根の番地としてレジスタＲ２９に設定して図１１の
プログラムを呼び出し、次に、（２）レジスタＲ２９を
レジスタＲ１に設定し…ＭＯＶ Ｒ２９，Ｒ１、そし
て、（３）節点変数番号（図１２の番地３１６）をＲ２
８に設定する…ＬＷ Ｒ２８，０（Ｒ１）。次に、
（４）変数番号＝０（定数節点０）かどうかを判断し…
ＢＥＱＺ Ｒ２８，ＣＮＳ＿０、（５）（４）が否なの
で変数番号＝−ｌ（定数節点１）かどうかを判断し…Ａ
ＤＤＩ Ｒ２７，Ｒ２８，１、ＢＥＱＺ Ｒ２８，ＣＮ
Ｓ＿１、（６）（５）も否なので変数値をレジスタＲ２
６に設定する…ＬＷ Ｒ２６，ＴＡＤＲ（Ｒ２８）。そ
して、（７）変数値＝０ならば０枝ルーチンＺＥＲＯに
ジャンプするが…ＢＥＱＺ Ｒ２６，ＺＥＲＯ、（８）
（７）が否なので１枝ルーチンＯＮＥにジャンプする…
ＢＲ ＯＮＥ。
和とし、各変数値をｘ1＝０，ｘ2＝１とすると、図１１
の左端部分の矢印で示されるように、ラベルＬＯＯＰを
先頭とする処理を３回繰り返す処理が行われることにな
る。すなわち、（１）メインルーチンにおいて、ＡＤＲ
５を根の番地としてレジスタＲ２９に設定して図１１の
プログラムを呼び出し、次に、（２）レジスタＲ２９を
レジスタＲ１に設定し…ＭＯＶ Ｒ２９，Ｒ１、そし
て、（３）節点変数番号（図１２の番地３１６）をＲ２
８に設定する…ＬＷ Ｒ２８，０（Ｒ１）。次に、
（４）変数番号＝０（定数節点０）かどうかを判断し…
ＢＥＱＺ Ｒ２８，ＣＮＳ＿０、（５）（４）が否なの
で変数番号＝−ｌ（定数節点１）かどうかを判断し…Ａ
ＤＤＩ Ｒ２７，Ｒ２８，１、ＢＥＱＺ Ｒ２８，ＣＮ
Ｓ＿１、（６）（５）も否なので変数値をレジスタＲ２
６に設定する…ＬＷ Ｒ２６，ＴＡＤＲ（Ｒ２８）。そ
して、（７）変数値＝０ならば０枝ルーチンＺＥＲＯに
ジャンプするが…ＢＥＱＺ Ｒ２６，ＺＥＲＯ、（８）
（７）が否なので１枝ルーチンＯＮＥにジャンプする…
ＢＲ ＯＮＥ。
【００２６】次に、（９）次節点（１枝）の番地（番地
３１８）の内容（ＡＤＲ３：番地３１０）をレジスタＲ
２９に設定し、ＬＯＯＰルーチン（２）に戻る…ＬＷ
Ｒ２９，２（Ｒ１）、ＢＲ ＬＯＯＰ。次に、（１０）
レジスタＲ２９（番地）をレジスタＲ１に設定し…ＭＯ
Ｖ Ｒ２９，Ｒ１、（１１）節点変数番号（番地３１
０）をレジスタＲ２８に設定する…ＬＷ Ｒ２８，０
（Ｒ１）。（１２）変数番号＝０（定数節点０）かどう
かを判断し…ＢＥＱＺ Ｒ２８，ＣＮＳ＿１、（１３）
（１２）が否なので変数番号＝−１（定数節点１）かど
うかを判断し…ＡＤＤＩ Ｒ２７，Ｒ２８，１、ＢＥＱ
Ｚ Ｒ２８，ＣＮＳ＿０、（１４）（１３）も否なので
変数値をレジスタＲ２６に設定する…ＬＷ Ｒ２６，Ｔ
ＡＤＲ（Ｒ２８）。ここで、（１５）変数値＝０なので
０枝ルーチンＺＥＲＯにジャンプし…ＢＥＱＺ Ｒ２
６，ＺＥＲＯ、（１６）次節点（０枝）の番地（番地３
１１の内容（ＣＮＳ１））をレジスタＲ２９に設定し、
ＬＯＯＰルーチンに戻る…ＬＷＲ２９，１（Ｒ１）、Ｂ
Ｒ ＬＯＯＰ。
３１８）の内容（ＡＤＲ３：番地３１０）をレジスタＲ
２９に設定し、ＬＯＯＰルーチン（２）に戻る…ＬＷ
Ｒ２９，２（Ｒ１）、ＢＲ ＬＯＯＰ。次に、（１０）
レジスタＲ２９（番地）をレジスタＲ１に設定し…ＭＯ
Ｖ Ｒ２９，Ｒ１、（１１）節点変数番号（番地３１
０）をレジスタＲ２８に設定する…ＬＷ Ｒ２８，０
（Ｒ１）。（１２）変数番号＝０（定数節点０）かどう
かを判断し…ＢＥＱＺ Ｒ２８，ＣＮＳ＿１、（１３）
（１２）が否なので変数番号＝−１（定数節点１）かど
うかを判断し…ＡＤＤＩ Ｒ２７，Ｒ２８，１、ＢＥＱ
Ｚ Ｒ２８，ＣＮＳ＿０、（１４）（１３）も否なので
変数値をレジスタＲ２６に設定する…ＬＷ Ｒ２６，Ｔ
ＡＤＲ（Ｒ２８）。ここで、（１５）変数値＝０なので
０枝ルーチンＺＥＲＯにジャンプし…ＢＥＱＺ Ｒ２
６，ＺＥＲＯ、（１６）次節点（０枝）の番地（番地３
１１の内容（ＣＮＳ１））をレジスタＲ２９に設定し、
ＬＯＯＰルーチンに戻る…ＬＷＲ２９，１（Ｒ１）、Ｂ
Ｒ ＬＯＯＰ。
【００２７】次に、（１７）レジスタＲ２９をレジスタ
Ｒ１に設定し…ＭＯＶ Ｒ２９，Ｒ１、（１８）節点変
数番号（番地３０４）をレジスタＲ２８に設定する…Ｌ
ＷＲ２８，０（Ｒ１）。ここで、（１９）変数番号＝０
（定数節点０）かどうかを判断し…ＢＥＱＺ Ｒ２８，
ＣＮＳ＿０、（２０）（１９）が否なので変数番号＝−
１（定数節点１）かどうかを判断し…ＡＤＤＩ Ｒ２
７，Ｒ２Ｂ，１、ＢＥＱＺ Ｒ２８，ＣＮＳ＿０、（２
１）（２０）が正なのでＢＤＤの分岐処理が終了して、
ＣＮＳ＿０ルーチンを実行し、レジスタＲ３０に結果を
格納して、メインルーチンに復帰する…ＭＯＶ Ｒ０，
Ｒ３０、ＪＭＰ Ｒ３１。
Ｒ１に設定し…ＭＯＶ Ｒ２９，Ｒ１、（１８）節点変
数番号（番地３０４）をレジスタＲ２８に設定する…Ｌ
ＷＲ２８，０（Ｒ１）。ここで、（１９）変数番号＝０
（定数節点０）かどうかを判断し…ＢＥＱＺ Ｒ２８，
ＣＮＳ＿０、（２０）（１９）が否なので変数番号＝−
１（定数節点１）かどうかを判断し…ＡＤＤＩ Ｒ２
７，Ｒ２Ｂ，１、ＢＥＱＺ Ｒ２８，ＣＮＳ＿０、（２
１）（２０）が正なのでＢＤＤの分岐処理が終了して、
ＣＮＳ＿０ルーチンを実行し、レジスタＲ３０に結果を
格納して、メインルーチンに復帰する…ＭＯＶ Ｒ０，
Ｒ３０、ＪＭＰ Ｒ３１。
【００２８】以上のように、本願発明が背景とした技術
においては、変数の値をチェックして０枝または１枝の
選択先の番地をたどるという複数の処理を繰り返し行う
プログラムが必要であり、代入演算結果を得るのに処理
時間がかかっているという課題があった。また、この原
因の一因は、ＢＤＤを純粋なデータとしてメモリ上に格
納して処理していたことであると考えられた。
においては、変数の値をチェックして０枝または１枝の
選択先の番地をたどるという複数の処理を繰り返し行う
プログラムが必要であり、代入演算結果を得るのに処理
時間がかかっているという課題があった。また、この原
因の一因は、ＢＤＤを純粋なデータとしてメモリ上に格
納して処理していたことであると考えられた。
【００２９】そこで、本発明は、論理関数をＢＤＤで表
現して代入演算を行う際に、変数の値をチェックして０
枝または１枝の選択先の番地をたどるという複数の処理
を繰り返し行う手順を不要とし、代入演算結果を得るた
めに要する処理時間を短縮することができるデータ処理
方法及びデータ処理装置並びにデータ処理プログラムを
記録した記録媒体を提供することを目的とする。
現して代入演算を行う際に、変数の値をチェックして０
枝または１枝の選択先の番地をたどるという複数の処理
を繰り返し行う手順を不要とし、代入演算結果を得るた
めに要する処理時間を短縮することができるデータ処理
方法及びデータ処理装置並びにデータ処理プログラムを
記録した記録媒体を提供することを目的とする。
【００３０】
【課題を解決するための手段】上記課題を解決するた
め、請求項１記載の発明は、ＢＤＤ（二分決定グラフ）
の演算開始から演算終了までを、演算すべきＢＤＤを定
義したテーブルのみを使用して演算を行うことを特徴と
している。
め、請求項１記載の発明は、ＢＤＤ（二分決定グラフ）
の演算開始から演算終了までを、演算すべきＢＤＤを定
義したテーブルのみを使用して演算を行うことを特徴と
している。
【００３１】また、請求項２記載の発明は、前記テーブ
ルが、少なくともＢＤＤの変数節点の番地及び条件ジャ
ンプ命令とを格納していることを特徴としている。ま
た、請求項３記載の発明は、前記テーブルが、根又は節
点の内容によってジャンプ先が決まる条件ジャンプ命令
と、ジャンプ先の節点の番地とを１組の情報として格納
していることを特徴としている。また、請求項４記載の
発明は、前記テーブルが、根又は節点の内容が１か０か
によってジャンプ先が各々決まる２つの条件ジャンプ命
令と、各ジャンプ先の節点の番地をそれぞれ備える２つ
の命令列を１組の情報として格納していることを特徴と
している。
ルが、少なくともＢＤＤの変数節点の番地及び条件ジャ
ンプ命令とを格納していることを特徴としている。ま
た、請求項３記載の発明は、前記テーブルが、根又は節
点の内容によってジャンプ先が決まる条件ジャンプ命令
と、ジャンプ先の節点の番地とを１組の情報として格納
していることを特徴としている。また、請求項４記載の
発明は、前記テーブルが、根又は節点の内容が１か０か
によってジャンプ先が各々決まる２つの条件ジャンプ命
令と、各ジャンプ先の節点の番地をそれぞれ備える２つ
の命令列を１組の情報として格納していることを特徴と
している。
【００３２】また、請求項５記載の発明は、前記テーブ
ルの格納領域が、データメモリ領域に設けられているこ
とを特徴としている。また、請求項６記載の発明は、前
記テーブルが、ＲＡＭに設けられていることを特徴とし
ている。また、請求項７記載の発明は、前記条件ジャン
プ命令とジャンプ先の節点の番地とを同時に取り込み、
実行することによって、演算を行うことを特徴としてい
る。
ルの格納領域が、データメモリ領域に設けられているこ
とを特徴としている。また、請求項６記載の発明は、前
記テーブルが、ＲＡＭに設けられていることを特徴とし
ている。また、請求項７記載の発明は、前記条件ジャン
プ命令とジャンプ先の節点の番地とを同時に取り込み、
実行することによって、演算を行うことを特徴としてい
る。
【００３３】また、請求項８記載の発明は、根又は節点
が取りうる２つの定数値について各々決められた行き先
番地と、前記定数値の値を判断して前記行き先番地の何
れかを選択する条件判断命令コードとを１組の情報とし
て有するテーブルを用い、前記条件判断命令コードと行
き先番地とを前記テーブルから同時に読み出し、ＢＤＤ
（二分決定グラフ）の演算処理を行うことを特徴として
いる。
が取りうる２つの定数値について各々決められた行き先
番地と、前記定数値の値を判断して前記行き先番地の何
れかを選択する条件判断命令コードとを１組の情報とし
て有するテーブルを用い、前記条件判断命令コードと行
き先番地とを前記テーブルから同時に読み出し、ＢＤＤ
（二分決定グラフ）の演算処理を行うことを特徴として
いる。
【００３４】また、請求項９記載の発明は、論理関数を
表すＢＤＤ（二分決定グラフ）をあらかじめ実行可能な
機械語形式で記憶手段に格納し、前記記憶手段に格納さ
れている機械語プログラムを直接実行することによっ
て、ＢＤＤの表す論理関数の変数に０または１を代入し
て、論理関数値を得る代入演算を行うことを特徴として
いる。
表すＢＤＤ（二分決定グラフ）をあらかじめ実行可能な
機械語形式で記憶手段に格納し、前記記憶手段に格納さ
れている機械語プログラムを直接実行することによっ
て、ＢＤＤの表す論理関数の変数に０または１を代入し
て、論理関数値を得る代入演算を行うことを特徴として
いる。
【００３５】また、請求項１０記載の発明は、演算すべ
きＢＤＤ（二分決定グラフ）を定義したテーブルと、Ｂ
ＤＤの演算開始から演算終了までを、前記テーブルのみ
を使用して演算を行う演算手段とを備えることを特徴と
している。
きＢＤＤ（二分決定グラフ）を定義したテーブルと、Ｂ
ＤＤの演算開始から演算終了までを、前記テーブルのみ
を使用して演算を行う演算手段とを備えることを特徴と
している。
【００３６】また、請求項１１記載の発明は、論理関数
を表すＢＤＤ（二分決定グラフ）をあらかじめ実行可能
な機械語形式で格納した記憶手段と、前記記憶手段に格
納されている機械語プログラムを直接実行することによ
って、ＢＤＤの表す論理関数の変数に０または１を代入
して、論理関数値を得る代入演算を行う演算手段とを備
えることを特徴としている。
を表すＢＤＤ（二分決定グラフ）をあらかじめ実行可能
な機械語形式で格納した記憶手段と、前記記憶手段に格
納されている機械語プログラムを直接実行することによ
って、ＢＤＤの表す論理関数の変数に０または１を代入
して、論理関数値を得る代入演算を行う演算手段とを備
えることを特徴としている。
【００３７】また、請求項１２記載の発明は、請求項１
０又は１１に記載のデータ処理装置によって実行される
ＢＤＤの演算を行うためのプログラムを記録した計算機
読み取り可能な記録媒体である。
０又は１１に記載のデータ処理装置によって実行される
ＢＤＤの演算を行うためのプログラムを記録した計算機
読み取り可能な記録媒体である。
【００３８】
【発明の実施の形態】以下、図面を参照して本発明によ
るデータ処理装置の実施の形態について説明する。図１
は、本発明によってＢＤＤの演算処理を行うコンピュー
タの基本構成を示すブロック図である。基本処理装置１
００ａは、プログラム・カウンタ、アキュムレータ、演
算回路、各種レジスタ、割り込み制御回路等から構成さ
れ、記憶装置２００ａに格納されているプログラムを構
成する機械語命令の読み出し、解読、および実行を行
う。なお、図１の基本処理装置１００ａは、上述した図
９に示す基本処理装置１００に対して、図１に図示して
いない内部レジスタの使用方法が異なっている。
るデータ処理装置の実施の形態について説明する。図１
は、本発明によってＢＤＤの演算処理を行うコンピュー
タの基本構成を示すブロック図である。基本処理装置１
００ａは、プログラム・カウンタ、アキュムレータ、演
算回路、各種レジスタ、割り込み制御回路等から構成さ
れ、記憶装置２００ａに格納されているプログラムを構
成する機械語命令の読み出し、解読、および実行を行
う。なお、図１の基本処理装置１００ａは、上述した図
９に示す基本処理装置１００に対して、図１に図示して
いない内部レジスタの使用方法が異なっている。
【００３９】記憶装置２００ａは、ＲＯＭおよびＲＡＭ
から構成され、基本処理装置１００ａの主記憶として機
能する。記憶装置２００ａには、少なくともＢＤＤの演
算処理を行うためのＢＤＤ処理プログラムを格納するた
めのＢＤＤ処理プログラム格納メモリ２１０ａ、図８に
示すようなＢＤＤの各節点を定義するデータを格納する
ためのＢＤＤデータ格納メモリ２２０ａ、および図８に
示すものと同じ変数データ格納メモリ２３０の３つのデ
ータメモリ領域を有している。なお、ＢＤＤ処理プログ
ラムとＢＤＤデータは、あらかじめＲＯＭに格納してお
いてもよいし、あるいはハードディスク等の外部記憶装
置に記憶しておいて、プログラムを実行する際に、全部
一度にＲＡＭに読み込んで、あるいは部分的に逐次ＲＡ
Ｍに読み込みながら、基本処理装置１００ａがアクセス
できるようにしておく。ただし、ＲＡＭに、一旦ＢＤＤ
処理プログラムおよびＢＤＤデータの全部を読み込んで
からプログラムを実行するようにした方が、ＲＯＭから
読み込む場合に比べて読み込み速度を高速化できるの
で、記憶容量に余裕がある場合には、ＢＤＤ処理プログ
ラムとＢＤＤデータをすべてＲＡＭに読み込んでからプ
ログラムを開始するようにすることが望ましい。
から構成され、基本処理装置１００ａの主記憶として機
能する。記憶装置２００ａには、少なくともＢＤＤの演
算処理を行うためのＢＤＤ処理プログラムを格納するた
めのＢＤＤ処理プログラム格納メモリ２１０ａ、図８に
示すようなＢＤＤの各節点を定義するデータを格納する
ためのＢＤＤデータ格納メモリ２２０ａ、および図８に
示すものと同じ変数データ格納メモリ２３０の３つのデ
ータメモリ領域を有している。なお、ＢＤＤ処理プログ
ラムとＢＤＤデータは、あらかじめＲＯＭに格納してお
いてもよいし、あるいはハードディスク等の外部記憶装
置に記憶しておいて、プログラムを実行する際に、全部
一度にＲＡＭに読み込んで、あるいは部分的に逐次ＲＡ
Ｍに読み込みながら、基本処理装置１００ａがアクセス
できるようにしておく。ただし、ＲＡＭに、一旦ＢＤＤ
処理プログラムおよびＢＤＤデータの全部を読み込んで
からプログラムを実行するようにした方が、ＲＯＭから
読み込む場合に比べて読み込み速度を高速化できるの
で、記憶容量に余裕がある場合には、ＢＤＤ処理プログ
ラムとＢＤＤデータをすべてＲＡＭに読み込んでからプ
ログラムを開始するようにすることが望ましい。
【００４０】なお、本実施の形態のＢＤＤ処理プログラ
ムおよびＢＤＤデータの両者あるいはいずれか一方は、
コンピュータ読み取り可能な記録媒体に記録して頒布す
ることが可能である。
ムおよびＢＤＤデータの両者あるいはいずれか一方は、
コンピュータ読み取り可能な記録媒体に記録して頒布す
ることが可能である。
【００４１】図１に示す本発明のデータ処理装置では、
論理関数を表すＢＤＤにおいて、定数節点を、定数値
（０または１）を特定レジスタに格納して戻る機械語命
令列としてＢＤＤデータ格納メモリ２２０ａに格納する
とともに、定数節点以外の節点を、論理変数に対応させ
たレジスタの値により条件分岐を行う機械語命令列とし
てＢＤＤデータ格納メモリ２２０ａ上に格納するように
している。そして、ＢＤＤの表す関数において変数に０
または１を代入して関数値を求める代入演算を実行する
ときは、関数を表すＢＤＤの根の番地から、ＢＤＤデー
タ格納メモリ２２０ａに格納されている機械語プログラ
ムを実行すること、すなわち、求めようとするＢＤＤの
根の番地を基本処理装置１００ａのプログラムカウンタ
に設定してプログラムを実行することによって、演算結
果を得るものである。したがって、基本処理装置１００
ａは、ＢＤＤ処理プログラム格納メモリ２１０ａに格納
されているＢＤＤ処理プログラムを読み込み、解読およ
び実行するとともに、 変数データ格納メモリ２３０に
格納されている変数データを順次読み取りながら、ＢＤ
Ｄデータ格納メモリ２２０ａに格納されているＢＤＤデ
ータ、すなわち機械語データを読み込み、解読および実
行することによって、ＢＤＤの演算処理を行う。
論理関数を表すＢＤＤにおいて、定数節点を、定数値
（０または１）を特定レジスタに格納して戻る機械語命
令列としてＢＤＤデータ格納メモリ２２０ａに格納する
とともに、定数節点以外の節点を、論理変数に対応させ
たレジスタの値により条件分岐を行う機械語命令列とし
てＢＤＤデータ格納メモリ２２０ａ上に格納するように
している。そして、ＢＤＤの表す関数において変数に０
または１を代入して関数値を求める代入演算を実行する
ときは、関数を表すＢＤＤの根の番地から、ＢＤＤデー
タ格納メモリ２２０ａに格納されている機械語プログラ
ムを実行すること、すなわち、求めようとするＢＤＤの
根の番地を基本処理装置１００ａのプログラムカウンタ
に設定してプログラムを実行することによって、演算結
果を得るものである。したがって、基本処理装置１００
ａは、ＢＤＤ処理プログラム格納メモリ２１０ａに格納
されているＢＤＤ処理プログラムを読み込み、解読およ
び実行するとともに、 変数データ格納メモリ２３０に
格納されている変数データを順次読み取りながら、ＢＤ
Ｄデータ格納メモリ２２０ａに格納されているＢＤＤデ
ータ、すなわち機械語データを読み込み、解読および実
行することによって、ＢＤＤの演算処理を行う。
【００４２】図２は、ＢＤＤ処理プログラム格納メモリ
２１０ａに格納されているＢＤＤ処理プログラムの一例
を示すフローチャート、図３は、ＢＤＤデータ格納メモ
リ２２０ａに格納されているＢＤＤデータの一例を示す
図、そして、図４は、本実施の形態における基本処理装
置１００ａ内の各レジスタの用途を示す図である。ただ
し、変数データ格納メモリ２３０は、上述した図１３に
示すものと同一である。
２１０ａに格納されているＢＤＤ処理プログラムの一例
を示すフローチャート、図３は、ＢＤＤデータ格納メモ
リ２２０ａに格納されているＢＤＤデータの一例を示す
図、そして、図４は、本実施の形態における基本処理装
置１００ａ内の各レジスタの用途を示す図である。ただ
し、変数データ格納メモリ２３０は、上述した図１３に
示すものと同一である。
【００４３】まず、図４を参照して、基本処理装置１０
０ａ内の各レジスタの用途について説明する。本実施の
形態では、レジスタＲ０〜Ｒ１とレジスタＲ２９〜Ｒ３
１の５つのレジスタを用いている。レジスタＲ０には常
に０が格納され、レジスタＲ１には変数の値が代入され
る。レジスタＲ２９には常に１が格納され、レジスタＲ
３０およびＲ３１には、ＢＤＤによる演算の結果である
返却する論理関数値および次の処理ルーチンの先頭命令
番地である戻り番地が格納される。なお、レジスタＲ２
は後述する本実施の形態の変形例において用いられる。
０ａ内の各レジスタの用途について説明する。本実施の
形態では、レジスタＲ０〜Ｒ１とレジスタＲ２９〜Ｒ３
１の５つのレジスタを用いている。レジスタＲ０には常
に０が格納され、レジスタＲ１には変数の値が代入され
る。レジスタＲ２９には常に１が格納され、レジスタＲ
３０およびＲ３１には、ＢＤＤによる演算の結果である
返却する論理関数値および次の処理ルーチンの先頭命令
番地である戻り番地が格納される。なお、レジスタＲ２
は後述する本実施の形態の変形例において用いられる。
【００４４】次に、図３に示すＢＤＤデータ格納メモリ
２２０ａ内のＢＤＤデータについて詳細に説明する。図
３に示すように、ＢＤＤデータはテーブル形式で格納さ
れる。図３は、ＢＤＤデータテーブルに、一例として、
図８に示すＢＤＤを構成する各節点のデータを節点ごと
に設定したものである。ＢＤＤの各節点は、上述したよ
うに、定数節点（節点Ｎ６およびＮ７）が、定数値（０
（レジスタＲ０の値）または１（レジスタＲ２９の
値））を、特定のレジスタＲ３０に格納して戻る実行可
能な機械語命令列で、また、定数節点以外の節点（節点
Ｎ１〜Ｎ５）が、論理変数ｘ1またはｘ2の値が代入され
たレジスタＲ１の値により条件分岐を行う実行可能な機
械語命令列で表されている。ただし、図３では、ＢＤＤ
データテーブルのデータとして、機械語命令（２進、１
６進数等の数字列）を直接記載するのではなく、対応す
るアセンブラのニーモニックを記述している。また、各
節点のデータは、番地順に実行される。
２２０ａ内のＢＤＤデータについて詳細に説明する。図
３に示すように、ＢＤＤデータはテーブル形式で格納さ
れる。図３は、ＢＤＤデータテーブルに、一例として、
図８に示すＢＤＤを構成する各節点のデータを節点ごと
に設定したものである。ＢＤＤの各節点は、上述したよ
うに、定数節点（節点Ｎ６およびＮ７）が、定数値（０
（レジスタＲ０の値）または１（レジスタＲ２９の
値））を、特定のレジスタＲ３０に格納して戻る実行可
能な機械語命令列で、また、定数節点以外の節点（節点
Ｎ１〜Ｎ５）が、論理変数ｘ1またはｘ2の値が代入され
たレジスタＲ１の値により条件分岐を行う実行可能な機
械語命令列で表されている。ただし、図３では、ＢＤＤ
データテーブルのデータとして、機械語命令（２進、１
６進数等の数字列）を直接記載するのではなく、対応す
るアセンブラのニーモニックを記述している。また、各
節点のデータは、番地順に実行される。
【００４５】図３に示すＢＤＤデータテーブル中の番地
は相対番地を示すものであり、節点Ｎ１〜Ｎ３のデータ
がそれぞれ番地１１１〜番地１１３、番地１１４〜番地
１１６、および番地１１７〜番地１１９に格納され、節
点Ｎ４〜Ｎ５のデータがそれぞれ番地１０５〜番地１０
７、番地１０８〜番地１１０に格納され、そして、節点
Ｎ６〜Ｎ７のデータがそれぞれ番地１０１〜番地１０
２、番地１０３〜番地１０４に格納されている。各節点
データの先頭番地１０１，１０３，１０５，１０８，１
１１，１１４，１１７には、それぞれ、ラベルＣＮＳ
０，ＣＮＳ１，ＡＤＲ２，ＡＤＲ３，ＡＤＲ４，ＡＤＲ
５，ＡＤＲ６が定義されている。
は相対番地を示すものであり、節点Ｎ１〜Ｎ３のデータ
がそれぞれ番地１１１〜番地１１３、番地１１４〜番地
１１６、および番地１１７〜番地１１９に格納され、節
点Ｎ４〜Ｎ５のデータがそれぞれ番地１０５〜番地１０
７、番地１０８〜番地１１０に格納され、そして、節点
Ｎ６〜Ｎ７のデータがそれぞれ番地１０１〜番地１０
２、番地１０３〜番地１０４に格納されている。各節点
データの先頭番地１０１，１０３，１０５，１０８，１
１１，１１４，１１７には、それぞれ、ラベルＣＮＳ
０，ＣＮＳ１，ＡＤＲ２，ＡＤＲ３，ＡＤＲ４，ＡＤＲ
５，ＡＤＲ６が定義されている。
【００４６】節点Ｎ１〜Ｎ３のデータは、変数ｘ2を番
地ＴＡＤＲ＋１（図１３参照）からレジスタＲ１に読み
込む命令（ＬＷ Ｒ１，ＴＡＤＲ＋１（Ｒ０（＝
０）））と、レジスタＲ１の値に応じた０枝および１枝
の２つの条件分岐命令の各３ステップの命令から形成さ
れている。ここで、ＢＥＱＺ Ｒ１，ＣＮＳ０は、レジ
スタＲ１＝０のとき、番地ＣＮＳ０へ分岐する命令であ
り、ＢＮＥＺ Ｒ１，ＡＤＲ３は、レジスタＲ１≠０の
とき、番地ＡＤＲ３へ分岐する命令である。また、ＢＥ
ＱＺ Ｒ１，ＡＤＲ２は、レジスタＲ１＝０のとき、番
地ＡＤＲ２へ分岐する命令であり、ＢＥＱＺ Ｒ１，Ａ
ＤＲ３は、レジスタＲ１＝０のとき、番地ＡＤＲ３へ分
岐する命令であり、そして、ＢＮＥＺ Ｒ１，ＣＮＳ１
は、レジスタＲ１≠０のとき、番地ＣＮＳ１へ分岐する
命令である。
地ＴＡＤＲ＋１（図１３参照）からレジスタＲ１に読み
込む命令（ＬＷ Ｒ１，ＴＡＤＲ＋１（Ｒ０（＝
０）））と、レジスタＲ１の値に応じた０枝および１枝
の２つの条件分岐命令の各３ステップの命令から形成さ
れている。ここで、ＢＥＱＺ Ｒ１，ＣＮＳ０は、レジ
スタＲ１＝０のとき、番地ＣＮＳ０へ分岐する命令であ
り、ＢＮＥＺ Ｒ１，ＡＤＲ３は、レジスタＲ１≠０の
とき、番地ＡＤＲ３へ分岐する命令である。また、ＢＥ
ＱＺ Ｒ１，ＡＤＲ２は、レジスタＲ１＝０のとき、番
地ＡＤＲ２へ分岐する命令であり、ＢＥＱＺ Ｒ１，Ａ
ＤＲ３は、レジスタＲ１＝０のとき、番地ＡＤＲ３へ分
岐する命令であり、そして、ＢＮＥＺ Ｒ１，ＣＮＳ１
は、レジスタＲ１≠０のとき、番地ＣＮＳ１へ分岐する
命令である。
【００４７】節点Ｎ４〜Ｎ５のデータは、変数ｘ1を番
地ＴＡＤＲ（図１３参照）からレジスタＲ１に読み込む
命令（ＬＷ Ｒ１，ＴＡＤＲ（Ｒ０））と、レジスタＲ
１の値に応じた０枝および１枝の２つの条件分岐命令の
各３ステップの命令から形成されている。ここで、ＢＥ
ＱＺ Ｒ１，ＣＮＳ１は、レジスタＲ１＝０のとき、番
地ＣＮＳ１へ分岐する命令であり、ＢＮＥＺ Ｒ１，Ｃ
ＮＳ０は、レジスタＲ１≠０のとき、番地ＣＮＳ０へ分
岐する命令である。
地ＴＡＤＲ（図１３参照）からレジスタＲ１に読み込む
命令（ＬＷ Ｒ１，ＴＡＤＲ（Ｒ０））と、レジスタＲ
１の値に応じた０枝および１枝の２つの条件分岐命令の
各３ステップの命令から形成されている。ここで、ＢＥ
ＱＺ Ｒ１，ＣＮＳ１は、レジスタＲ１＝０のとき、番
地ＣＮＳ１へ分岐する命令であり、ＢＮＥＺ Ｒ１，Ｃ
ＮＳ０は、レジスタＲ１≠０のとき、番地ＣＮＳ０へ分
岐する命令である。
【００４８】節点Ｎ６〜Ｎ７のデータは、定数（０（Ｒ
０の格納値）または１（Ｒ１の格納値））を、返却する
論理関数値を格納するレジスタＲ３０に代入する命令
（ＭＯＶ Ｒ０，Ｒ３０またはＭＯＶ Ｒ１，Ｒ３０）
と、メインルーチンへ復帰する命令（ＪＭＰ Ｒ３１）
とから構成されている。
０の格納値）または１（Ｒ１の格納値））を、返却する
論理関数値を格納するレジスタＲ３０に代入する命令
（ＭＯＶ Ｒ０，Ｒ３０またはＭＯＶ Ｒ１，Ｒ３０）
と、メインルーチンへ復帰する命令（ＪＭＰ Ｒ３１）
とから構成されている。
【００４９】なお、図３のＢＤＤデータテーブルは、連
続するメモリ領域に作っても良いし、節点毎（２行また
は３行ずつ）に離散させてつくってもよい。必須の要件
は、節点毎にＢＥＱＺ命令が実行されなかった場合、次
の命令が自動的に取り込まれ、実行されるように並べて
おくことである。格納するメモリ領域の番地を例示した
が、これは自由に決めることができる。また、ＢＮＥＺ
命令はＢＲ命令（無条件分岐命令）に変えても良い（Ｂ
ＥＱＺ命令の行き先でなければ、自動的に行き先にいく
ため、条件判断の必要はないからである）。
続するメモリ領域に作っても良いし、節点毎（２行また
は３行ずつ）に離散させてつくってもよい。必須の要件
は、節点毎にＢＥＱＺ命令が実行されなかった場合、次
の命令が自動的に取り込まれ、実行されるように並べて
おくことである。格納するメモリ領域の番地を例示した
が、これは自由に決めることができる。また、ＢＮＥＺ
命令はＢＲ命令（無条件分岐命令）に変えても良い（Ｂ
ＥＱＺ命令の行き先でなければ、自動的に行き先にいく
ため、条件判断の必要はないからである）。
【００５０】次に、図１のＢＤＤ処理プログラム格納メ
モリ２１０ａに格納されるＢＤＤ処理プログラム（メイ
ンルーチン）の処理の流れについて説明する。まず、論
理関数の代入演算に必要な各変数ｘi値を図１３に示す
変数データテーブルの番地ＴＡＤＲ＋ｉ−１に格納する
（ステップＳ１０１）。次に、レジスタＲ３１に代入演
算処理後の戻り番地を設定する（ステップＳ１０２）。
すなわち、レジスタＲ３１に、ステップＳ１０３の代入
演算処理を終了した後、次に実行する処理ルーチンの先
頭命令の番地を設定する。次に、代入演算対象の論理関
数を表すＢＤＤ（ここでは図８のＢＤＤとする）の根の
番地（図３のラベルＡＤＲ３〜ＡＤＲ６のいずれか）を
プログラム・カウンタに設定し、図３のＢＤＤデータテ
ーブルに設定されている機械語プログラムを実行する。
そして、ＢＤＤデータテーブル内の機械語プログラムが
順次、実行されて、定数節点Ｎ６またはＮ７の命令ＪＭ
ＰＲ３１が実行されたところで、レジスタＲ３１に設定
されている番地を先頭命令とする処理ルーチンの実行が
開始されるが、この時、レジスタＲ３０に代入演算結果
が得られている（ステップＳ１０４）。
モリ２１０ａに格納されるＢＤＤ処理プログラム（メイ
ンルーチン）の処理の流れについて説明する。まず、論
理関数の代入演算に必要な各変数ｘi値を図１３に示す
変数データテーブルの番地ＴＡＤＲ＋ｉ−１に格納する
（ステップＳ１０１）。次に、レジスタＲ３１に代入演
算処理後の戻り番地を設定する（ステップＳ１０２）。
すなわち、レジスタＲ３１に、ステップＳ１０３の代入
演算処理を終了した後、次に実行する処理ルーチンの先
頭命令の番地を設定する。次に、代入演算対象の論理関
数を表すＢＤＤ（ここでは図８のＢＤＤとする）の根の
番地（図３のラベルＡＤＲ３〜ＡＤＲ６のいずれか）を
プログラム・カウンタに設定し、図３のＢＤＤデータテ
ーブルに設定されている機械語プログラムを実行する。
そして、ＢＤＤデータテーブル内の機械語プログラムが
順次、実行されて、定数節点Ｎ６またはＮ７の命令ＪＭ
ＰＲ３１が実行されたところで、レジスタＲ３１に設定
されている番地を先頭命令とする処理ルーチンの実行が
開始されるが、この時、レジスタＲ３０に代入演算結果
が得られている（ステップＳ１０４）。
【００５１】次に、図５を参照して、図８のＢＤＤを用
い、具体例として、変数ｘ1＝０，変数ｘ2＝１とした場
合に、ｘ2とｘ1の排他的論理和を求める手順について説
明する。なお、図５は、図３に示したＢＤＤデータテー
ブルと同様のＢＤＤデータテーブルを記憶装置２００ａ
上に展開したＢＤＤデータ格納メモリ２２０ｂを示すも
のであるが、この場合、図３と異なり、各節点のデータ
間を離散させて配置している。また、求めようとする論
理関数に対する演算処理の流れを示す矢印を他の論理関
数を求める処理の流れのものよりも太い線で示してい
る。
い、具体例として、変数ｘ1＝０，変数ｘ2＝１とした場
合に、ｘ2とｘ1の排他的論理和を求める手順について説
明する。なお、図５は、図３に示したＢＤＤデータテー
ブルと同様のＢＤＤデータテーブルを記憶装置２００ａ
上に展開したＢＤＤデータ格納メモリ２２０ｂを示すも
のであるが、この場合、図３と異なり、各節点のデータ
間を離散させて配置している。また、求めようとする論
理関数に対する演算処理の流れを示す矢印を他の論理関
数を求める処理の流れのものよりも太い線で示してい
る。
【００５２】まず、メインルーチンで、ｘ2とｘ1の排他
的論理和の根の番地ＡＤＲ５に対応する番地がプログラ
ム・カウンタに設定され、番地ＡＤＲ５の命令ＬＷ Ｒ
１，ＴＡＤＲ＋１（Ｒ０）が実行される。この場合、Ｔ
ＡＤＲ＋１（Ｒ０）すなわち変数ｘ2は１なので、命令
ＢＥＱＺ Ｒ１，ＡＤＲ２では分岐せず、命令ＢＮＥＺ
Ｒ１，ＡＤＲ３によって、番地ＡＤＲ３への分岐が行
われる。
的論理和の根の番地ＡＤＲ５に対応する番地がプログラ
ム・カウンタに設定され、番地ＡＤＲ５の命令ＬＷ Ｒ
１，ＴＡＤＲ＋１（Ｒ０）が実行される。この場合、Ｔ
ＡＤＲ＋１（Ｒ０）すなわち変数ｘ2は１なので、命令
ＢＥＱＺ Ｒ１，ＡＤＲ２では分岐せず、命令ＢＮＥＺ
Ｒ１，ＡＤＲ３によって、番地ＡＤＲ３への分岐が行
われる。
【００５３】番地ＡＤＲ３では、命令ＬＷ Ｒ１，ＴＡ
ＤＲ（Ｒ０）が実行される。ＴＡＤＲ（Ｒ０）すなわち
変数ｘ1は０なので、命令ＢＥＱＺ Ｒ１，ＡＤＲ２で
分岐処理がなされ、番地ＣＮＳ１へ分岐する。番地ＣＮ
Ｓ１では、命令ＭＯＶ Ｒ２９，Ｒ３０が実行されて、
レジスタＲ３０に１が格納され、次いで、命令ＪＭＰＲ
３１が実行されて、メインルーチンへ復帰し、演算結果
１がレジスタＲ３１に得られる。
ＤＲ（Ｒ０）が実行される。ＴＡＤＲ（Ｒ０）すなわち
変数ｘ1は０なので、命令ＢＥＱＺ Ｒ１，ＡＤＲ２で
分岐処理がなされ、番地ＣＮＳ１へ分岐する。番地ＣＮ
Ｓ１では、命令ＭＯＶ Ｒ２９，Ｒ３０が実行されて、
レジスタＲ３０に１が格納され、次いで、命令ＪＭＰＲ
３１が実行されて、メインルーチンへ復帰し、演算結果
１がレジスタＲ３１に得られる。
【００５４】以上のように、本実施の形態によれば、図
５の左側の部分に下向きの３つの太矢印で示したよう
に、ＢＤＤ内の選択、分岐処理が、図１１に示した同条
件の代入演算処理におけるＬＯＯＰ内の処理のような、
繰り返し処理を行わずに実行される。
５の左側の部分に下向きの３つの太矢印で示したよう
に、ＢＤＤ内の選択、分岐処理が、図１１に示した同条
件の代入演算処理におけるＬＯＯＰ内の処理のような、
繰り返し処理を行わずに実行される。
【００５５】次に、図６を参照して、図３に示すＢＤＤ
データテーブルの変形例について説明する。図６に示す
ＢＤＤデータテーブルは、図３に示すＢＤＤデータテー
ブルと同様、図８のＢＤＤを示すものであるが、構成の
簡略化を図ったものである。ただし、図６に示すＢＤＤ
データテーブルを用いて代入演算を行う場合には、あら
かじめ、レジスタＲ１に変数ｘ1の値を、レジスタＲ２
に変数ｘ2の値を格納しておいて、その後にＢＤＤデー
タテーブル内の求めようとする節点に対応する番地に処
理を移す必要がある。
データテーブルの変形例について説明する。図６に示す
ＢＤＤデータテーブルは、図３に示すＢＤＤデータテー
ブルと同様、図８のＢＤＤを示すものであるが、構成の
簡略化を図ったものである。ただし、図６に示すＢＤＤ
データテーブルを用いて代入演算を行う場合には、あら
かじめ、レジスタＲ１に変数ｘ1の値を、レジスタＲ２
に変数ｘ2の値を格納しておいて、その後にＢＤＤデー
タテーブル内の求めようとする節点に対応する番地に処
理を移す必要がある。
【００５６】図６に示す図１のＢＤＤデータ格納メモリ
２２０ａに対応するＢＤＤデータ格納メモリ２２０ｃに
格納されるＢＤＤデータテーブルにおいて、定数節点Ｎ
６およびＮ７に対するデータは、図３のものと同一であ
る。これに対し、変数接点Ｎ１〜Ｎ５に対するデータで
は、第１に、図３のテーブルにおいて分岐判断（命令Ｂ
ＥＱＺあるいは命令ＢＮＥＺ）の前に設けていたレジス
タＲ１への変数の値の代入処理（ＬＷ命令）を省略する
とともに、変数に応じて、分岐判断の基準となるデータ
をレジスタＲ１（変数ｘ1の場合）とレジスタＲ２（変
数ｘ2の場合）のどちらか一方を直接指定するようにし
た点が異なっている。また、第２に、各節点における２
番目の分岐命令を、無条件分岐命令（命令ＢＲ）とし
て、レジスタの参照を省略している。これらの変形によ
って、ＢＤＤデータテーブルのデータ量を減少させてい
る。
２２０ａに対応するＢＤＤデータ格納メモリ２２０ｃに
格納されるＢＤＤデータテーブルにおいて、定数節点Ｎ
６およびＮ７に対するデータは、図３のものと同一であ
る。これに対し、変数接点Ｎ１〜Ｎ５に対するデータで
は、第１に、図３のテーブルにおいて分岐判断（命令Ｂ
ＥＱＺあるいは命令ＢＮＥＺ）の前に設けていたレジス
タＲ１への変数の値の代入処理（ＬＷ命令）を省略する
とともに、変数に応じて、分岐判断の基準となるデータ
をレジスタＲ１（変数ｘ1の場合）とレジスタＲ２（変
数ｘ2の場合）のどちらか一方を直接指定するようにし
た点が異なっている。また、第２に、各節点における２
番目の分岐命令を、無条件分岐命令（命令ＢＲ）とし
て、レジスタの参照を省略している。これらの変形によ
って、ＢＤＤデータテーブルのデータ量を減少させてい
る。
【００５７】なお、図６のＢＤＤデータテーブルにおい
て、節点Ｎ１，Ｎ２，Ｎ３，Ｎ４，Ｎ５を示すデータ
は、それぞれテーブル内の相対番地２０９〜２１０，２
１１〜２１２，２１３〜２１４，２０５〜２０６，２０
７〜２０８に、節点Ｎ６，Ｎ７を示すデータは、番地２
０１〜２０２，２０３〜２０４に設定されている。
て、節点Ｎ１，Ｎ２，Ｎ３，Ｎ４，Ｎ５を示すデータ
は、それぞれテーブル内の相対番地２０９〜２１０，２
１１〜２１２，２１３〜２１４，２０５〜２０６，２０
７〜２０８に、節点Ｎ６，Ｎ７を示すデータは、番地２
０１〜２０２，２０３〜２０４に設定されている。
【００５８】図７は、図６のＢＤＤデータテーブルの各
節点のデータを離散させて、ＢＤＤデータ格納メモリ２
２０ｄ（図１のＢＤＤデータ格納メモリ２２０ａに対
応）に格納した場合の各節点に設定された機械語の実行
手順について示す図である。図７に示す場合、図５に示
したものより、処理ステップの削減がはかられている。
節点のデータを離散させて、ＢＤＤデータ格納メモリ２
２０ｄ（図１のＢＤＤデータ格納メモリ２２０ａに対
応）に格納した場合の各節点に設定された機械語の実行
手順について示す図である。図７に示す場合、図５に示
したものより、処理ステップの削減がはかられている。
【００５９】上述したように、本発明の各実施の形態に
よれば、各節点の条件選択のための繰り返し処理が不要
となるので、ＢＤＤのグラフの大きさに比例する時間で
代入演算が実行でき、しかも機械語命令を直接実行する
ため高速に代入演算を実行できる。また、ＢＤＤの構造
はそのまま保っているため、ＢＤＤの対する他の種類の
演算、たとえばapply演算なども従来の方式そのままで
実行できる。これらは、ＢＤＤのメモリ上のデータ表現
の中に実行可能な機械語命令列を埋め込んでいることな
どによるものである。
よれば、各節点の条件選択のための繰り返し処理が不要
となるので、ＢＤＤのグラフの大きさに比例する時間で
代入演算が実行でき、しかも機械語命令を直接実行する
ため高速に代入演算を実行できる。また、ＢＤＤの構造
はそのまま保っているため、ＢＤＤの対する他の種類の
演算、たとえばapply演算なども従来の方式そのままで
実行できる。これらは、ＢＤＤのメモリ上のデータ表現
の中に実行可能な機械語命令列を埋め込んでいることな
どによるものである。
【００６０】なお、上記の実施の形態では、ＢＤＤデー
タテーブルに直接機械語を記述することとしているが、
図３や図６に示したとおりにＢＤＤデータテーブルをア
センブラのニーモニックで記述して、一旦、外部の記憶
装置等に格納し、必要時にそれをアセンブルして実行可
能な機械語形式に変換して記憶装置２００ａに格納して
使用するようにすることもできる。この場合、操作者に
よるデータの管理が用意になる。また、ＢＤＤデータテ
ーブルに設定するニーモニックの条件分岐命令のオペラ
ンド部を、ＢＤＤのグラフにおける各節点の番地に対応
して定義したラベルとしているので、メインルーチン
と、ＢＤＤデータテーブルのアセンブルを同時に行うよ
うにしたときには、メインルーチンとＢＤＤデータテー
ブル内の各節点に対応したルーチンとの間の呼び出し
や、復帰にかかる命令を効率的にコーディングすること
が容易に可能となる。
タテーブルに直接機械語を記述することとしているが、
図３や図６に示したとおりにＢＤＤデータテーブルをア
センブラのニーモニックで記述して、一旦、外部の記憶
装置等に格納し、必要時にそれをアセンブルして実行可
能な機械語形式に変換して記憶装置２００ａに格納して
使用するようにすることもできる。この場合、操作者に
よるデータの管理が用意になる。また、ＢＤＤデータテ
ーブルに設定するニーモニックの条件分岐命令のオペラ
ンド部を、ＢＤＤのグラフにおける各節点の番地に対応
して定義したラベルとしているので、メインルーチン
と、ＢＤＤデータテーブルのアセンブルを同時に行うよ
うにしたときには、メインルーチンとＢＤＤデータテー
ブル内の各節点に対応したルーチンとの間の呼び出し
や、復帰にかかる命令を効率的にコーディングすること
が容易に可能となる。
【００６１】
【発明の効果】以上説明したように、本発明によれば、
ＢＤＤデータの変数による選択処理を繰り返し行う必要
がなくなるので、高速に代入演算を実行できるという効
果が得られる。
ＢＤＤデータの変数による選択処理を繰り返し行う必要
がなくなるので、高速に代入演算を実行できるという効
果が得られる。
【図１】 本発明によるデータ処理装置を構成するコン
ピュータの基本構成を示すブロック図。
ピュータの基本構成を示すブロック図。
【図２】 図１のコンピュータで実行するＢＤＤ処理プ
ログラムのフローチャート。
ログラムのフローチャート。
【図３】 図１のＢＤＤデータ格納メモリ２２０ａに格
納されるＢＤＤデータの一例を示す図。
納されるＢＤＤデータの一例を示す図。
【図４】 図１の基本処理装置１００ａの内部レジスタ
を示す図。
を示す図。
【図５】 図３のＢＤＤデータを用いたＢＤＤの代入演
算処理手順を示す図。
算処理手順を示す図。
【図６】 図３のＢＤＤデータの変形例を示す図。
【図７】 図７のＢＤＤデータを用いたＢＤＤの代入演
算処理手順を示す図。
算処理手順を示す図。
【図８】 ＢＤＤの一例を示す図。
【図９】 本発明の背景技術となったデータ処理装置を
構成するコンピュータの基本構成を示すブロック図。
構成するコンピュータの基本構成を示すブロック図。
【図１０】 図９のコンピュータで実行するＢＤＤ処理
プログラムのフローチャート。
プログラムのフローチャート。
【図１１】 図９のコンピュータで実行するＢＤＤ処理
プログラムをアセンブラで記述した図。
プログラムをアセンブラで記述した図。
【図１２】 図９のＢＤＤデータ格納メモリ２２０に格
納されるＢＤＤデータの一例を示す図。
納されるＢＤＤデータの一例を示す図。
【図１３】 図１および図９の変数データ格納メモリ２
３０に格納される変数データテーブルの一例を示す図。
３０に格納される変数データテーブルの一例を示す図。
【図１４】 図９の基本処理装置１００の内部レジスタ
を示す図。
を示す図。
１００ａ 基本処理装置 ２００ａ 記憶装置 ２１０ａ ＢＤＤ処理プログラム格納メモリ ２２０ａ，２２０ｂ，２２０ｃ，２２０ｄ ＢＤＤデー
タ格納メモリ ２３０ 変数データ格納メモリ
タ格納メモリ ２３０ 変数データ格納メモリ
Claims (12)
- 【請求項１】 ＢＤＤ（二分決定グラフ）の演算開始か
ら演算終了までを、演算すべきＢＤＤを定義したテーブ
ルのみを使用して演算を行うことを特徴とするデータ処
理方法。 - 【請求項２】 前記テーブルが、少なくともＢＤＤの変
数節点の番地及び条件ジャンプ命令とを格納しているこ
とを特徴とする請求項１記載のデータ処理方法。 - 【請求項３】 前記テーブルが、根又は節点の内容によ
ってジャンプ先が決まる条件ジャンプ命令と、ジャンプ
先の節点の番地とを１組の情報として格納していること
を特徴とする請求項１又は２に記載のデータ処理方法。 - 【請求項４】 前記テーブルが、根又は節点の内容が１
か０かによってジャンプ先が各々決まる２つの条件ジャ
ンプ命令と、各ジャンプ先の節点の番地をそれぞれ備え
る２つの命令列を１組の情報として格納していることを
特徴とする請求項３に記載のデータ処理方法。 - 【請求項５】 前記テーブルの格納領域が、データメモ
リ領域に設けられていることを特徴とする請求項１〜４
の何れか１項に記載のデータ処理方法。 - 【請求項６】 前記テーブルが、ＲＡＭに設けられてい
ることを特徴とする請求項１〜５の何れか１項に記載の
データ処理方法。 - 【請求項７】 前記条件ジャンプ命令とジャンプ先の節
点の番地とを同時に取り込み、実行することによって、
演算を行うことを特徴とする請求項３又は４に記載のデ
ータ処理方法。 - 【請求項８】 根又は節点が取りうる２つの定数値につ
いて各々決められた行き先番地と、前記定数値の値を判
断して前記行き先番地の何れかを選択する条件判断命令
コードとを１組の情報として有するテーブルを用い、 前記条件判断命令コードと行き先番地とを前記テーブル
から同時に読み出し、ＢＤＤ（二分決定グラフ）の演算
処理を行うことを特徴とするデータ処理方法。 - 【請求項９】 論理関数を表すＢＤＤ（二分決定グラ
フ）をあらかじめ実行可能な機械語形式で記憶手段に格
納し、 前記記憶手段に格納されている機械語プログラムを直接
実行することによって、ＢＤＤの表す論理関数の変数に
０または１を代入して、論理関数値を得る代入演算を行
うことを特徴とするデータ処理方法。 - 【請求項１０】 演算すべきＢＤＤ（二分決定グラフ）
を定義したテーブルと、ＢＤＤの演算開始から演算終了
までを、前記テーブルのみを使用して演算を行う演算手
段とを備えることを特徴とするデータ処理装置。 - 【請求項１１】 論理関数を表すＢＤＤ（二分決定グラ
フ）をあらかじめ実行可能な機械語形式で格納した記憶
手段と、 前記記憶手段に格納されている機械語プログラムを直接
実行することによって、ＢＤＤの表す論理関数の変数に
０または１を代入して、論理関数値を得る代入演算を行
う演算手段とを備えることを特徴とするデータ処理装
置。 - 【請求項１２】 請求項１０又は１１に記載のデータ処
理装置によって実行されるＢＤＤの演算を行うためのプ
ログラムを記録した計算機読み取り可能な記録媒体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP14077199A JP2000330786A (ja) | 1999-05-20 | 1999-05-20 | データ処理方法及びデータ処理装置並びにデータ処理プログラムを記録した記録媒体 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP14077199A JP2000330786A (ja) | 1999-05-20 | 1999-05-20 | データ処理方法及びデータ処理装置並びにデータ処理プログラムを記録した記録媒体 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2000330786A true JP2000330786A (ja) | 2000-11-30 |
Family
ID=15276377
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP14077199A Pending JP2000330786A (ja) | 1999-05-20 | 1999-05-20 | データ処理方法及びデータ処理装置並びにデータ処理プログラムを記録した記録媒体 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2000330786A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2010204969A (ja) * | 2009-03-03 | 2010-09-16 | Kyushu Institute Of Technology | ブランチング・プログラム・マシン及び並列プロセッサ |
| US8655921B2 (en) | 2008-08-11 | 2014-02-18 | Fujitsu Limited | True/false decision method for deciding whether search query containing logical expression is true or false |
-
1999
- 1999-05-20 JP JP14077199A patent/JP2000330786A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8655921B2 (en) | 2008-08-11 | 2014-02-18 | Fujitsu Limited | True/false decision method for deciding whether search query containing logical expression is true or false |
| JP2010204969A (ja) * | 2009-03-03 | 2010-09-16 | Kyushu Institute Of Technology | ブランチング・プログラム・マシン及び並列プロセッサ |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US9383999B2 (en) | Conditional compare instruction | |
| JP5573134B2 (ja) | ベクトル型計算機及びベクトル型計算機の命令制御方法 | |
| JP2006350686A (ja) | 命令セット・シミュレータ生成装置及びシミュレータ生成方法 | |
| JPH0810428B2 (ja) | データ処理装置 | |
| JPS5975347A (ja) | 論理回路のシミユレ−シヨン装置 | |
| SNOW III | AUTOMATION OF MODULE SET INDEPENDENT REGISTER-TRANSFER LEVEL DESIGN. | |
| JP2008176453A (ja) | シミュレーション装置 | |
| US11068463B2 (en) | System and method for managing log data | |
| JP2004030638A (ja) | マイクロプロセッサキャッシュ設計初期化 | |
| JP2000330786A (ja) | データ処理方法及びデータ処理装置並びにデータ処理プログラムを記録した記録媒体 | |
| US20070011440A1 (en) | Processor and processing method | |
| JP2000268074A (ja) | 検証プログラム自動生成装置および方法並びにプロパティ自動生成装置および方法 | |
| JP4159586B2 (ja) | 情報処理装置および情報処理の高速化方法 | |
| US7181595B1 (en) | Method for decoding composite VLIW packets utilizing a tree structure | |
| JP2004118518A (ja) | シミュレータ、そのシミュレータをコンピュータ読み取り可能に記録した記録媒体 | |
| Froehlich et al. | Lim-hdl: Hdl-based synthesis for in-memory computing | |
| JP3594106B2 (ja) | 自動プログラミング装置、自動プログラミング方法および記録媒体 | |
| Fürtler et al. | SPOT—development tool for software pipeline optimization for VLIW-DSPs used in real-time image processing | |
| JPH1165622A (ja) | プログラマブルコントローラ | |
| JPH11242598A (ja) | コンパイル方法およびコンパイル装置ならびにオブジェクトプログラム実行方法およびオブジェクトプログラム実行装置ならびにプログラム記憶媒体 | |
| JP2005149297A (ja) | プロセッサおよびそのアセンブラ | |
| JPS6336337A (ja) | スカラ／ベクトル命令の融合スケジユ−リング処理方式 | |
| JP2743947B2 (ja) | マイクロプログラム制御方式 | |
| JPH05250156A (ja) | Ｒｉｓｃプロセッサ | |
| JP2835179B2 (ja) | 並列処理計算機 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20031104 |