JPH04123269A

JPH04123269A - Ｐｌａのシミュレーション方式

Info

Publication number: JPH04123269A
Application number: JP2242614A
Authority: JP
Inventors: Kazuhiro Matsuzaki; 和浩松崎
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 1990-09-14
Filing date: 1990-09-14
Publication date: 1992-04-23
Also published as: US5258932A

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】（概　　　要〕ＰＬＡの論理シミュレーションに使用するデータ量を減
らし、シミュレーション処理の効率を向上するＰＬＡの
シミュレーション方式に関し、ＰＬＡデータのデータ容
量を小さくして、回路の論理シミュレーションの効率を
向上することを目的とし、回路設計を行なう場合の論理シミュレーション・システ
ムにおいて、論理シミュレーションの前処理として、多
入力多出力のＰＬＡのデータを論理圧縮する論理圧縮手
段と、前記論理圧縮手段によって圧縮したＰＬＡデータ
をもとに、ＰＬＡの出力（ｉｆｉｆ　ヲシミュレーショ
ンする論理シミュレーション手段とを有するように構成
する。

〔産業上の利用分野〕

本発明は、論理シミュレーショ更に詳しくは、ＰＬＡの論理シミ使用するデータ量を減らし、シミ理の効率を向上するＰＬＡのシミ式に関する。

ン方式に係り、ニレ−ジョンにニレージョン処ニレージョン方（従来の技術）ＰＬＡ、（プログラム・ロジック・アレイ）は、多数の
入力データから、その入力データの組み合わせに対応し
た所望の多数の出力データを得るためのディジタル回路
モジュールである。

第６図はＰＬＡの説明図である。同図では、４人力２出
力のＰＬＡを説明している。多数の入力ピンから入力デ
ータ（ａｏ、ａｌ、ａ２、ａ３）が入力され、この入力
データの値の組み合わせによって、出力ピンから出力デ
ータ（ｂｏ、ｂ１）を出力する。

入力データの系列と出力データの系列の関係をテーブル
として表したのがＰＬＡデータ（同図（ｂ））である。

ＰＬＡデータは、例えば、入力系列（ａＯｌａｌ、ａ２
、ａ３）の値がそれぞれ０“０°　　“ｏ”ｏ’ならば
出力（ｂＯ，ｂ１）として１“、　“０゛を出力し、入
力系列の値が′０゛、“０′、°０”、“１゛ならば出
力として’１”１’を出力するといったように、入力系
列データのすべての組み合わせに対する出力値を定義す
る。各ＰＬＡモジュールは、それぞれＰＬＡデータを有
する。

従来、回路の論理シミュレーションでは、ＰＬＡモジュ
ールのシミュレーションを行なうときに、このＰＬＡデ
ータを使用している。すなわち、ＰＬＡモジュールに入
力する設計人力データに対して、該ＰＬＡモジュールの
ＰＬＡデータを検索し、設計入力データと同一の入力系
列を見つけ、この入力系列に対応して書かれている出力
を該ＰＬＡモジュールの出力値とするのである。

〔発明が解決しようとする課題］しかしながら、従来の方式はＰＬＡデータの規模が大き
くなった場合に、シミュレーション速度を低下させると
いう問題を有する。

ＰＬＡデータの規模は入力系列数の増加によってべき級
数的に大きくなる。すなわち、入力系列数がｎならば、
ＰＬＡデータのデータ数は２ｎになるのである。従来の
方式では、このＰＬＡデータをすべて検索し、設計入力
データとＰＬＡデータのなかの入力系列とが一致するデ
ータを探す処理を行なう。このため、入力系列数が多く
、ＰＬＡデータの規模が大きくなると、この検索に要す
る時間が長くなり、その結果としてシミュレーション速
度が低下するのである。

また、ＰＬＡデータとして大量のデータをシミュレーシ
ョン処理のタスクに持つことによって、シミュレーショ
ン対象の回路規模を小さく限定してしまうという問題も
ある。

すなわち、一つのシミュレーション処理で持てる回路デ
ータの量は無限ではなく、有限であるため、ＰＬＡデー
タがそのデータ量のうちの大きな部分を専有してしまう
ことによって、全体としてのシミュレーションできる回
路の規模が小さくなってしまうのである。

本発明は、ＰＬＡデータのデータ容量を小さくして、回
路の論理シミュレーションの効率を向上することを目的
とする。

〔課題を解決するための手段〕

第１図は、本発明の機能ブロック図である。本発明は、
回路設計の論理シミュレーションのなかのＰＬＡについ
ての論理シミュレーションを前提にする。

まず、ＰＬＡデータ１のデータ容量を圧縮する論理圧縮
手段２を有する。

論理圧縮手段２は、ＰＬＡデータ１のなかから出力値の
いずれかが‘１’となるようなデータのみを抽出したデ
ータの集合である“ｏｎ　　ｃｏｖｅｒ’か、あるいは
、ＰＬＡデータ１のなかから出力値のいずれかが“０”
となるようなデータのみを抽出したデータの集合である
’ｏｆｆ　　ｃ。

ｖｅｒ’を作成する。’ｏｎ　　ｃｏｖｅｒ’　もｏｆ
ｆ　　ｃｏｖｅｒ’　も、元のＰＬＡデータの規模より
も小さなデータ集合となるので、どちらの場合でもデー
タは圧縮される。

また、’ｏｎ　　ｃｏｖｅｒ’　と　ｏｆｆ　　ｃ。

ｖｅｒ’のデータ量を比較し、データ量の小さい方をＰ
ＬＡデータとすることもできる。この場合、データ量は
最も小さく圧縮されることになる。

次に、前記論理圧縮手段２で圧縮したＰＬＡのデータを
もとに論理シミュレーションを実行する論理シミュレー
ション手段３を有する。論理シミュレーション手段３は
、圧縮したＰＬＡのデータから、全ＰＬＡデータを使用
したのと同一のシミュレーション結果を得る。

まず、ＰＬＡモジュールへの設計入力データが前記論理
圧縮手段２によって求めた圧縮データの集合に含まれる
か、交わるか、あるいは、設計入力データが圧縮データ
の集合を含むか、設計入力データと圧縮データの集合は
無関係かを判定する。

すなわち、圧縮データ集合のなかのデータを検索し、入
力データが圧縮データ集合のなかに存在し、かつ、圧縮
データ集合外の値を取らない場合には入力データが圧縮
データ集合に含まれると判断し、また、入力データが圧
縮データ集合のなかに存在し、かつ、圧縮データ集合外
の値を取る場合には入力データが圧縮データ集合と交わ
ると判断し、また、圧縮データの集合のなかのすべての
データが入力データのなかに存在する場合には圧縮デー
タの集合が入力データに含まれると判断し、また、入力
データが圧縮データ集合のなかに存在しない場合には入
力データが圧縮データ集合と無関係と判断する。

入力データが圧縮データ集合に含まれる場合、ｏｎ　　
ｃｏｖｅｒ’の圧縮データ集合を使用していれば、その
圧縮データ集合内のデータで確定できる出力を１′にし
、　　ｏｆｆ　　ｃｏｖｅｒの圧縮データ集合を使用し
ていれば、その圧縮データ集合内のデータで確定できる
出力を“０°にする。また、入力データが圧縮データ集
合と交わる場合、および、入力データが圧縮データ集合
を含む場合には、その圧縮データ集合内のデータで確定
できる出力を不定にする。さらに、入力データが圧縮デ
ータ集合と無関係の場合には、　“０ｎｃｏｖｅｒ’　
の圧縮データ集合を使用していれば、その圧縮データ集
合のデータでは出力は決定せず、出力をすべて０′にす
る。また、　“Ｏｆｆ　　ｃｏｖｅｒ’　の圧縮データ
集合を使用していれば、出力をすべて“１゛にする。

〔作　　用〕

ユーザは、回路の論理シミュレーションを実行しようと
する場合、まず、設計データを論理シミュレーション・
システムに入力する。ＰＬＡモジュールに関しては、ユ
ーザは、ＰＬＡモジュールの入力系列と出力系列の関係
をテーブルの形式で記述したＰＬＡデータ１を設計デー
タとして入力する。

論理シミュレーション・システムは、まず、この設計デ
ータをもとにシミュレーションの対象にする回路のモデ
ルを作成する。このとき、論理圧縮手段２は、ＰＬＡデ
ータ１を圧縮する処理を実行する。

すなわち、ＰＬＡデータ１のなかの出力系列のいずれか
の値が“１”となるデータ（入力系列と出力系列の一対
の組からなるデータ）を抽出し、該データの集合を作成
する。この処理で出来上がった集合を’ｏｎ　　ｃｏｖ
ｅｒ’の圧縮ＰＬＡデータと呼ぶ。また、ＰＬＡデータ
１のなかの出力系列のいずれかの値が“０゛となるデー
タを抽出し、該データの集合を作成する。この処理で出
来上がった集合を“ｏｆｆ　　ｃｏｖｅｒ”の圧１ＰＬ
Ａデータと呼ぶ。

そして、’ｏｎ　　ｃｏｖｅｒ’あるいは’ｏｆｆ　　
ｃｏｖｅｒ’　の圧縮ＰＬＡデータのうち、データ容量
の少ない方を選択し、シミュレーションの回路モデルに
おける該ＰＬＡモジュールのデータとする。一方、’ｏ
ｎ　　ｃｏｖｅｒ’　と’ｏｆｆ　　ｃｏｖｅｒ’　の
両方を作成してデータ量の少ない方を選択するというの
ではなく、前もって’ｏ　ｎ　　ｃ　ｏ　ｖ　ｅ　ｒ’
あるいは’ｏｆｆ　　ｃｏｖｅｒ″のどちらか一方だけ
を作成することに決めておき、一方の圧縮ＰＬＡデータ
だけを作成してもよい。この場合でもＰＬＡデータは圧
縮されている。

以上の処理で求めたＰＬＡモジュールの圧縮ＰＬＡデー
タと、それ以外の回路のモデル・データを合わせること
によって全体のシミュレーション・モデルが完成する。

次に、このシミュレーション・モデルに対して論理シミ
ュレーションを実行する。

論理シミュレーション手段３は、シミュレーション・モ
デルのなかのＰＬＡモジュールのデータに対して入力デ
ータを与えて、シミュレーションを実行する。ごの場合
、使用する圧縮ＰＬＡデータは’ｏｎ　　ｃｏｖｅｒ’
あるいは　ｏｆｆ　　ｃｏｖｅｒ’　のどちらか一方で
ある。

まず、入力データが圧縮ＰＬＡデータの集合に含まれる
のか、あるいは、交わるのか、あるいは入力データと圧
縮ＰＬＡデータは無関係なのか、あるいは入力データが
圧縮ＰＬＡデータを含むのかを判定する。

すなわち、まず、ＰＬＡモジュールへの入力系列データ
が圧縮ＰＬＡデータのなかに存在するか否かを検索する
。存在しない場合、入力データは圧縮ＰＬＡデータの集
合と無関係であると識別する。一方、存在する場合、入
力系列データのすべてが圧縮ＰＬＡデータのなかに存在
するか否かを判定する。すべての入力系列データが圧縮
ＰＬＡデータのなかに存在する場合には、入力系列デー
タは圧縮ＰＬＡデータに含まれると識別する。さらに、
入力系列データの一部が圧縮ＰＬＡデータと一致し、他
の一部は一致しない場合には、一致したデータが圧縮Ｐ
ＬＡデータのすべてであるか否かを判定する。すべてで
はなく、圧縮ＰＬＡデータに他の一致しないデータが存
在する場合には、入力系列データと圧縮ＰＬＡデータは
交わると識別する。最後に、一致したデータ以外に圧縮
ＰＬＡデータにデータがない場合には、入力データが圧
縮ＰＬＡデータを含むを識別する。

そして、入力データが圧縮ＰＬＡデータに含まれる場合
には、圧縮ＰＬＡデータが°ｏｎ　　ｃ。

ｖｅｒ”ならば圧縮ＰＬＡデータで確定する出力値を１
′にし、　’ｏｆｆ　　ｃｏｖｅｒ’　ならば圧縮ＰＬ
Ａデータで確定する出力値を“０”にする。一方、入力
データが圧縮ＰＬＡデータと交わる場合、および、入力
データが圧縮ＰＬＡデータを含む場合には、圧縮ＰＬＡ
データで確定する出力値を不定にする。さらに、入力デ
ータと圧縮ＰＬＡデータが無関係の場合には、該圧縮Ｐ
ＬＡデータでは出力値が確定しないことになり、圧縮Ｐ
ＬＡデータが“ｏｎ　　ｃｏｖｅｒ’の場合には該出力
値を０′に、’ｏｆｆ　　ｃｏｖｅｒ’の場合には該出
力値を１゛にする。

以上の処理により、ＰＬＡモジュールの論理シミュレー
ション処理が完了する。

Ｃ実　　施　　例〕以下、第２スル第５図を参照しながら実施例を説明する
。

第２図は、本発明の一実施例のシステム構成図である。

本実施例は、ユーザが作成しようとする回路の設計デー
タ１０と、設計データ１０を展開し、シミュレーション
する回路全体のモデルを作成するシミュレーション・モ
デル作成１１、作成したシミュレーション・モデルから
なるファイル１２、シミュレーション・モデルのファイ
ル１２から読み込んだシミュレーション・モデルをもと
に論理シミュレーションを実行する論理シミュレータ１
３、論理シミュレーションの際に回路モデルの入力とす
るための入カバターン・ファイル１４、論理シミュレー
タ１３による論理シミュレーション結果を蓄える出カバ
ターン・ファイル１５からなる。

設計データ１０は、ユーザが作成しようとする回路のネ
ット・リストや、各モジュールのデータが含まれる。該
回路を構成するモジュールのなかにＰＬＡがある場合に
は、設計データとして、ＰＬＡデータを含めることにな
る。ＰＬＡデータは、ＨｐＬＡへの入力データと、その
入力データに対応する出力データの関係をテーブルの形
式に表したデータである。該ＰＬＡに対する全入力デー
タ・パターンとそれぞれの入力に対する出力データが含
まれる。

次に、設計データ１０はシミュレーション・モデル作成
１１に入力される。設計データ１０は、ネット・リスト
や、ネット・リストに含まれるモジュールの詳細なデー
タ等、階層構造になっている。シミュレーション・モデ
ル作成１１は、この階層構造をすべて展開し、シミュレ
ーションを実行できるかたちのデータ構造にする。

設計データ１０は、ＡＮＤゲートやＮＡＮＤゲートとい
ったゲートについてのデータやＰＬＡデータ等を含むが
、シミュレーション・モデル作成１１は、ＰＬＡデータ
に対しては圧縮処理を実行する。圧縮処理については後
述する。

ＰＬＡデータについては圧縮処理を実行し、設計データ
１００階層構造をすべて展開したシミュレーション・モ
デルは、シミュレーション・モデ）Ｌｔ（ＤファイルＩ
２に格納される。そして、論理シミュレータ１３は、こ
のファイル１２からシミュレーション・モデルを、また
、入カバターン・ファイル１４から入カバターンを読み
込み、論理シミュレーションを実行する。

論理シミュレーション１３は、イベント・ドリブンで各
モジュールの動作をシミュレーションする。ＰＬＡモジ
ュールは、このなかのさまざまなモジュールの一つとし
て存在し、シミュレーション・モデル全体についての入
力データによって各モジュールが順次動作し、その出力
データがＰＬＡモジュールの入力データとなる。ＰＬＡ
モジュールについては、その入力データとシミュレーシ
ョン・モデル作成１１で作成した圧縮済みのＰＬＡデー
タをもとにシミュレーションを実行する。

ＰＬＡモジュールのシミュレーションの詳細については
後述する。

論理シミュレータ１３は、一つ一つのモジュールの動作
をシミュレーションし、全体の動作のシミュレーション
ヲ完了すると、シミュレーション結果として、そのシミ
ュレーション・モデル全体としての出力値を決定する。

シミュレーション結果は出カバターンのファイル５に格
納される。

以上の処理によって、回路の論理シミュレーシゴン処理
が完了する。

次に、ＰＬＡデータの論理圧縮について、第３図の論理
圧縮の説明図に沿って説明する。

同図（ａ）は、論理圧縮の処理の流れの説明図である。

まず、ＰＬＡデータ２０が存在する。このＰＬＡデータ
２０は、ＰＬＡモジュールの全入力データ・パターンと
それぞれの入力データに対応する出力データを含む。例
えば、４人力２出力のＰＬＡモジュールであれば、それ
ぞれの入力ビンに対して°１゛または°Ｏ”の値が入力
される可能性があるので、２４紐の入力データ・パター
ンが存在することになる。そして２’Ｍｉのそれぞれの
入力データに対応した出力データが存在する。ＰＬＡデ
ータ２０は、この２４組の入力データと対応する出力デ
ータからなるテーブルである。

このＰＬＡデータ２０に対して圧縮処理２１を実行し、
圧縮したＰＬＡデータである“ｏｎ　　ｃｏｖｅｒ’　
２２、あるいは’ｏｆｆ　　ｃｏｖｅｒ２３を作成する
。

ｏｎ　　ｃｏｖｅｒ’２２は、該ＰＬＡモジュールの出
力系列のいずれかの値が“１°になるＰＬＡデータをま
とめた集合であり、　“ｏｆｆ　　ｃｏｖｅｒ’　　２
３は、該ＰＬＡモジュールの出力系列のいずれかの値が
Ｏ°になるＰＬＡデータをまとめた集合である。

ｏｎ　　ｃｏｖｅｒ’２２を作成する場合には、論理圧
縮処理２１は、まず、ＰＬＡデータ２０の出力データを
検索し、出力データに“１゛を含むＰＬＡデータ（入力
データと出力データからなる）をすべて取り出す。すな
わち、４人力２出力のＰＬＡであれば、２ビツトの出力
（ｂＯ，ｂ１）のいずれかが“１゛の値をとる入力デー
タと出力データの組を一つ一つ取り出していくのである
。その結果得られる全データの組が“ｏｎ　　ｃｏｖｅ
ｒ゛　２２となる。

一方、’ｏｆｆ　　ｃｏｖｅｒ’２３を作成する場合に
は、論理圧縮処理２１は、ＰＬＡデータ２０の出力デー
タのいずれかのビットが“０′の値を取るような入力デ
ータと出力データの組をすべて取り出す。取り出された
全データの組が°Ｏｆｆ　　ｃｏｖｅｒ’２３となる。

同図（ｂ）は、圧縮済みのＰＬＡデータの説明図である
。４人力２出力のＰＬＡについて“０ｎｃｏｖｅｒ’　
２２の圧縮済みデータの一例を示している。

例えば、２出力（ｂＯｌｂ１）のうちｂｏが値‘１’を
とるデータの組（入力系列データ（ａＯｌａｌ、ａ２、
ａ３）が“０“０゛０′ 、出力（ｂＯｌｂ１）が“１゛、°゛）や２出力（ｂｏ
、ｂ１）がともに１°をとるデータの組（入力系列デー
タが“Ｏ“、　‘１’、°−゛、出力データが’１”１
“）が’ｏｎ　　ｃｏｖｅｒ’の圧縮データに含まれる。

データの個数は入力ピン数がｎの場合、２″以下である
。

ここで、　−”はｄｏｎ’ｔ　　ｃａｒｅを、゛は入力
系列に対して出力値を１′に決定しない（ｏｎ　　ｃｏ
ｖｅｒ’の場合）ことを表す。すなわち、入力系列デー
タが“０°、　“０′、０゛、“−゛の場合は、　ｌ　
ＯＩ　　　“０°　　“０゛０°および“０”　　Ｏ°
　　“０″　　１゛を表す。また、出力データがＯ”、
　“は、出力データｂ１は値“１゛には決まらない（‘
ｏｎｃｏｖｅｒ”のとき）ことを示す。

ｏｆｆ　　ｃｏｖｅｒ’　の圧縮データについても同様
のテーブルで表される。但し、出力系列（ｂＯ，ｂ１）
のいずれかの値が０゛になる入力系列と出力を集めたテ
ーブルである。

論理圧縮処理２１では、ｏｎ　　ｃｏｖｅｒあるいは’
ｏｆｆ　　ｃｏｖｅｒ’のどちらか一方を作成して論理
シミュレーションに使うようにするか、または、両方を
作成して、データの量が少ない方の圧縮データを論理シ
ミュレーションに使うようにする。どちらの場合でも、
基のＰＬＡデータ２０のデータ規模よりデータ容量は小
さく、論理シミュレーションをより効率よく実行できる
が、論理シミュレーションの効率のみを考えるならば、
　’ｏｎ　　ｃｏｖｅｒ’　、　’ｏｆｆ　　ｃｏｖｅ
ｒ’の両方を求めてデータ容量の小さい方を論理シミュ
レーションに使用する方が効率は良くなる。

以下に、圧縮ＰＬＡデータを使用した場合の論理シミュ
レーション方法を説明する。

第４図はＰＬＡの出力値決定のフローチャートである。

この処理を開始する前に、処理に使用する圧縮データの
種類（’ｏｎ　　ｃｏｖｅｒ’　と“ｏｆｆ　　ｃｏｖ
ｅｒ″のいずれか）を決定しておく必要がある。

まず、ＰＬＡモジュールへの入力データを取り込む（３
３０）。このとき、０”および“１の両方を取りうるデ
ータについては不定を示す“−′を入力データとする。

次に、該ＰＬＡモジュールの出力値の初期化を行なう（
Ｓ３１）。　’ｏｎ　　ｃｏｖｅｒ’　を使用する場合
には、すべての出力値を“０“に、′Ｏｆｆ　　ｃｏｖ
ｅｒ”を使用する場合には、すべての出力値を“１”に
設定しておく。

初期化が完了したら、シミュレーション処理を開始する
。ここで、圧縮ＰＬＡデータを構成するそれぞれのデー
タの組（入力系列と出力からなるデータの組）をｃｕｂ
ｅと呼ぶことにする。

まず、圧縮ＰＬＡデータに含まれる全ｃｕｂｅを検索し
、入力データがｃｕｂｅに含まれるのか（■）、入力デ
ータとｃｕｂｅが交わるか、あるいは入力データがｃｕ
ｂｅを含むのか（■）、入力データが全ｃｕｂｅと無関
係なのか（■）を判定する。’ｃ　ｕ　ｂ　ｅの集合と
入力データの包含関係について、第５図の論理シミュレ
ーションの説明図を使って説明する。

同図（ａ）は、入力データがｃｕｂｅに含まれる場合（
ｃｕｂｅｐ現入力）、すなわち■の説明図である。１／
叶えば、４人力の入力データが°１゜１、−、Ｏ）であ
り、入力系列が“１．−＋　−。

０゛のｃｕｂｅがｃｕｂｅの集合のなかに存在する場合
である。ｄｏｎ’　　ｔ　　ｃａｒｅ　（’−’　）に
′１′、あるいは′０″の値を代入すると、人力データ
は’ｌ、　　１．　１．　　Ｏｏあるいは’１．　１゜
０．０″であり、ｃｕｂｅの入力系列は、　“１゜１．
１．０”　　　“１，０，１．０’、“１．ｌ。

０．０°　　“１，０，０．Ｏ”の４通りのデータを取
り得る。ｃｕｂｅの４通りのデータに入力データが含ま
れており、このような場合、ｃｕｂｅコ現入力と判断す
る。

同図（ｂ）は、ｃｕｂｅと入力データが交わる場合（■
）の説明図である。例えば、入力データが−，ｉ、−＋
　　Ｏ’で、ｃｕｂｅの入力系列が１、　−、　−、Ｏ
’　の場合がこの例である。　“に°１゛あるいは°０
°の値を代入すると、入力データは、　’１．１，１．
０″　　’１，１．０゜０°、　’０，１，１．０”０
，１，０．０’の４通り、ｃｕｂｅの入力データは’ｌ
、Ｉ、Ｉ。

０”１．１，０．Ｏ’　　　“１，０，１．Ｏ”’１．
Ｏ，Ｏ，Ｏ“の４通りのデータを取り得る。

すなわち、入力データの“１，１，１．Ｏ”および’ｌ
、　　１．０．　　Ｏｏの２データはｃｕｂｅのデータ
に含まれるが、他の２データは含まれない。

このような場合、ｃｕｂｅと入力データが交わっている
と判断する。

同図（ｃ）は、ｃｕｂｅが入力データに含まれる場合（
■）の説明図である。例えば、入力データが“Ｉ、−、
−、−’で、（ｕｂｅの入力系列が“１．１．−、Ｏ’
の場合がある。この場合、入力データは８通りのデータ
を取り、ｃｕｂｅは２通りのデータを取る。そしてｃｕ
ｂｅの２通りのデータはどちらも入力データに含まれる
。このような場合、ｃｕｂｅＣ入力データと判断する。

最後に、同図（ｄ）は、ｃｕｂｅと入力データが無関係
の場合（■）の説明図である。例えば、入力データが’
Ｏ，Ｏ，−、１で、ｃｕｂｅの入力系列が’］、１．−
、Ｏ”の場合がある。この場合、ｄｏｎ’ｔ　　ｃａｒ
ｅ（”　）に’。

１゛のいずれの値を入れても、入力データとＣｕｂｅの
入力系列に同一データが存在しない。このような場合、
ｃ、　ｕ、　ｂ　ｅと入力データは無関係と判断する。

以上のようにして、ｃｕｂｅの集合と入カデタの包含関
係を識別する。そして、識別した■■、■の包含関係（
■は、入力データがｃｕｂｅと交わる場合、および、入
力データがｃｕｂｅを含む場合のどちらかの包含関係で
ある）に対して、ＰＬＡモジュールの出力を与える。

すなわち、入力データがｃｕｂｅに含まれる■の場合（
第５図（ａ））は、　ｏｎ　　ｃｏｖｅｒを使用してし
・るなら、該入力データと一致する入力系列をもつｃｕ
ｂｅによって確定する出力信号を“１゛にし、　’ｏｆ
ｆ　　ｃｏｖｅｒ’を使用しているなら、該入力データ
と一致する入力系列をもつｃｕｂｅによって確定する出
力信号を　０にする。

また、入力データとｃｕｂｅが交わるか、入力データが
ｃｕｂｅを含む■の場合（第５図（ｂ）、（Ｃ））は、
該入力データと一敗する入力系列をもつｃｕｂｅで確定
する出力信号を不定を示すｘ゛に設定する。出力が′１
”になる可能性と０′に可能性の両方があるからである
。

最後に、入力データとｃ、　ｕ　ｂ　ｅが無関係■の場
合（第５図（ｄ））は、存在するｃｕｂｅでは出力値が
決定できない。このことは、使用しているｃｕｂｅが’
ｏｎ　　ｃｏｖｅｒ’であれば人力データが’ｏｆｆ　
　ｃｏｖｅｒ’　に含まれるＣ　ｕ　ｂｅの入力系列と
一致し、入力データがｏｆｆｃｏｖｅｒ’のｃｕｂｅに
含まれることを、また、使用しているｃｕｂｅが’ｏｆ
ｆ　　ｃｏｖｅｒであれば入力データがｏｎ　　ｃｏｖ
ｅｒ″Ｑコ含まれるｃｕｂｅの入力系列と一致し、入力
デー々が’ｏｎ　　ｃｏｖｅｒ’　のｃｕｂｅに含まれ
ることを示す。このため、このＰ　Ｌ　Ａモジュールの
出力値は、初期設定で設定した値のまま、使用している
ｃｕｂｅがｏｎ　　ｃｏｖｅｒ’　ならばすべて“０“
に、使用しているｃｕｂｅが　ｏｆｆｃｏｖｅｒ”　な
らばすべて′１゛にしておく。

以上の処理によって、圧縮していないＰＬＡデータ２０
を使用する場合と同様の論理シミュレーションが実行で
きる。

〔発明の効果］本発明によって、論理シミュレーションで使用するＰＬ
Ａデータを圧縮し、圧縮したＰＬＡデータを使用して論
理シミュレーションを実行することが可能ムごなる。そ
の結果、論理シミュレーションの処理速度が向上すると
ともに、データ容量の大きさよって限定される論理シミ
ュレーションの回路規模の限界が緩和され、より大きな
規模の回路に関する論理シミュレーションが可能になる
。

【図面の簡単な説明】

第１図は本発明の機能ブロック図、第２図は一実施例のシステム構成図、第３図は論理圧縮の説明図、第４図はＰＬＡの出力値決定のフローチャート、第５図
は論理シミュレーションの説明図、第６図はＰＬＡの説
明図である。１・・・ＰＬＡデータ、２・・・論理圧縮手段、３・・・論理シミュレーション手段。

Claims

【特許請求の範囲】１）回路設計を行なう場合の論理シミュレーション・シ
ステムにおいて、論理シミュレーションの前処理として、多入力多出力の
ＰＬＡ（プログラム・ロジック・アレイ）のデータ（１
）を論理圧縮する論理圧縮手段（２）と、前記論理圧縮手段（１）によって圧縮したＰＬＡデータ
をもとに、ＰＬＡの出力値をシミュレーションする論理
シミュレーション手段（３）とを有することを特徴とす
るＰＬＡのシミュレーション方式。２）前記論理圧縮手段（２）は、ＰＬＡデータ（１）の
なかから、多出力の出力系列のうちのいずれかの出力値
が‘１’となるデータの集合‘ｏｎ　ｃｏｖｅｒ’を抽
出し、且つ出力値が‘０’となるデータの集合‘ｏｆｆ
　ｃｏｖｅｒ’を抽出し、ＰＬＡデータ（１）を圧縮す
る請求項１記載のＰＬＡのシミュレーション方式。３）前記論理圧縮手段（２）は、ＰＬＡデータ（１）か
ら抽出したデータの集合‘ｏｎ　ｃｏｖｅｒ’と‘ｏｆ
ｆ　ｃｏｖｅｒ’のどちらか一方を論理シミュレーショ
ンに使用する請求項１記載のＰＬＡのシミュレーション
方式。４）前記論理圧縮手段（２）は、ＰＬＡデータ（１）か
ら抽出したデータの集合‘ｏｎ　ｃｏｖｅｒ’と“ｏｆ
ｆ　ｃｏｖｅｒ’のうちで、含まれるデータ数の小さい
どちらか一方の集合を選択し、ＰＬＡデータ（１）をさ
らに圧縮する請求項１記載のＰＬＡのシミュレーション
方式。５）前記論理シミュレーション手段（３）は、前記論理
圧縮手段（２）によって求めた圧縮データを基に、全Ｐ
ＬＡデータ（１）を使用するのと同等のシミュレーショ
ン結果を得る請求項１記載のＰＬＡのシミュレーション
方式。６）前記論理シミュレーション手段（３）は、前記論理
圧縮手段（２）によって抽出した圧縮済みＰＬＡデータ
‘ｏｎ　ｃｏｖｅｒ’あるいは‘ｏｆｆ　ｃｏｖｅｒ’
と、ＰＬＡへの入力系列データの包含関係から、ＰＬＡ
の出力値を決定する請求項１記載のＰＬＡのシミュレー
ション方式。７）前記論理シミュレーション手段（３）は、ＰＬＡデ
ータとして‘ｏｎ　ｃｏｖｅｒ’を使用するとき、入力
系列データが‘ｏｎ　ｃｏｖｅｒ’のデータ集合に含ま
れる場合には該‘ｏｎ　ｃｏｖｅｒ’のデータで確定す
る出力値を‘１’にし、また、入力系列データが‘ｏｎ
　ｃｏｖｅｒ’のデータ集合と交わるか、あるいは、入
力系列データが‘ｏｎ　ｃｏｖｅｒ’のデータ集合を含
む場合には該‘ｏｎ　ｃｏｖｅｒ’のデータで確定する
出力値を不定にし、入力系列データが‘ｏｎ　ｃｏｖｅ
ｒ’のデータ集合と無関係の場合には全出力値を‘０’
にする請求項１記載のＰＬＡのシミュレーション方式。８）前記論理シミュレーション手段（３）は、ＰＬＡデ
ータとして‘ｏｆｆ　ｃｏｖｅｒ’を使用するとき、入
力系列データが‘ｏｆｆ　ｃｏｖｅｒ’のデータ集合に
含まれる場合には該‘ｏｆｆｃｏｖｅｒ’のデータで確
定する出力値を‘０’にし、また、入力系列データが‘
ｏｆｆ　ｃｏｖｅｒ’のデータ集合と交わるか、あるい
は、入力系列データが‘ｏｆｆ　ｃｏｖｅｒ’のデータ
集合を含む場合には該‘ｏｆｆ　ｃｏｖｅｒ’のデータ
で確定する出力値を不定にし、入力系列データが‘ｏｆ
ｆ　ｃｏｖｅｒ’のデータ集合と無関係の場合には全出
力値を‘１’にする請求項１記載のＰＬＡのシミュレー
ション方式。