JP2870919B2 - Ｐｌｄ論理シミュレータ - Google Patents
Ｐｌｄ論理シミュレータInfo
- Publication number
- JP2870919B2 JP2870919B2 JP2015197A JP1519790A JP2870919B2 JP 2870919 B2 JP2870919 B2 JP 2870919B2 JP 2015197 A JP2015197 A JP 2015197A JP 1519790 A JP1519790 A JP 1519790A JP 2870919 B2 JP2870919 B2 JP 2870919B2
- Authority
- JP
- Japan
- Prior art keywords
- pld
- netlist
- logic
- input
- 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.)
- Expired - Lifetime
Links
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Description
【発明の詳細な説明】 〔産業上の利用分野〕 本発明はPLD論理シミュレータに関する。
近年の装置回路設計においてはPLDを多用し、それに
伴いPLDを含んだ回路を論理シミュレーションするとい
うニーズも大きくなってきている。
伴いPLDを含んだ回路を論理シミュレーションするとい
うニーズも大きくなってきている。
PLDは、工場出荷時もしくは電気的に消去された初期
状態では、その回路は初期状態の接続を持っており、そ
れにヒューズの切断もしくは電気的な書き込みを行う事
により所望の論理を実現する事が出来る。
状態では、その回路は初期状態の接続を持っており、そ
れにヒューズの切断もしくは電気的な書き込みを行う事
により所望の論理を実現する事が出来る。
従来のPLD論理シミュレータは、PLD専用の論理演算部
を持っていた。
を持っていた。
例えば、特開昭58−147236に示されるダイナミックPL
Aは、同一の積項線に対して論理積をとる論理積回路
と、同一の和項線に対して論理和をとる論理和回路とを
含んで構成される。
Aは、同一の積項線に対して論理積をとる論理積回路
と、同一の和項線に対して論理和をとる論理和回路とを
含んで構成される。
上述した従来のPLD論理シミュレータは、PLD専用の論
理演算部が必要なので、構成が複雑になり高価になって
しまうという欠点があった。
理演算部が必要なので、構成が複雑になり高価になって
しまうという欠点があった。
本発明のPLD論理シミュレータの構成は、PLDを含む回
路ネットワークリストと該PLDのヒューズの切られてい
ない状態の接続を論理ゲートで表したPLDネットリスト
とを読み込んで展開ネットリストを作る展開ネットリス
ト作成手段と、前記展開ネットリストからシミュレータ
ロードデータを作成するシミュレータロードデータ作成
手段と、被シミュレーションPLDのどのヒューズが切ら
れているかを表すヒューズマップと該PLDネットリスト
に対応したヒューズマップ−入力固定値対応表とからゲ
ート入力値固定情報を作成するゲート入力値固定情報作
成手段と、前記情報に従いシミュレータロードデータの
入力値を固定するゲート入力値固定手段と、前記設定を
した被シミュレーションPLDを含む回路を論理シミュレ
ーションする論理シミュレーション手段とを含んで構成
される。
路ネットワークリストと該PLDのヒューズの切られてい
ない状態の接続を論理ゲートで表したPLDネットリスト
とを読み込んで展開ネットリストを作る展開ネットリス
ト作成手段と、前記展開ネットリストからシミュレータ
ロードデータを作成するシミュレータロードデータ作成
手段と、被シミュレーションPLDのどのヒューズが切ら
れているかを表すヒューズマップと該PLDネットリスト
に対応したヒューズマップ−入力固定値対応表とからゲ
ート入力値固定情報を作成するゲート入力値固定情報作
成手段と、前記情報に従いシミュレータロードデータの
入力値を固定するゲート入力値固定手段と、前記設定を
した被シミュレーションPLDを含む回路を論理シミュレ
ーションする論理シミュレーション手段とを含んで構成
される。
次に、本発明の実施例について、図面を参照して詳細
に説明する。
に説明する。
第１図は本発明の一実施例を示すブロック図である。
第１図に示すPLD論理シミュレータは、論理ゲートとPLD
を含む回路ネットリスト１とそこに含まれるPLDの品種
に対応した論理ゲートで構成されるPLDネットリスト２
とから展開ネットリスト５を作成する展開ネットリスト
作成手段３と、展開ネットリスト５からシミュレーショ
ンロードデータ26を作成するシミュレーションロードデ
ータ作成手段７と、回路ネットリスト１と回路ネットリ
スト１に含まれる参照情報とから個々のPLDに対応した
ヒューズマップ４と品種に対応したヒューズマップ入力
固定値対応表６とを参照してゲート入力固定情報９を作
成するゲート入力値固定情報作成手段８と、ゲート入力
値固定情報９を参照して論理シミュレーション手段12内
のシミュレーションデータ13の指定されたゲートの入力
を、指定された値に固定するゲート入力値固定手段10
と、シミュレーションロードデータ26を読み込み、ゲー
ト入力固定手段10の処理を受け付け、シミュレーション
データとして入力パターン11を入力し、論理シミュレー
ションを行い、出力パターン14を出力する論理シミュレ
ーション手段12とを含んで構成される。
第１図に示すPLD論理シミュレータは、論理ゲートとPLD
を含む回路ネットリスト１とそこに含まれるPLDの品種
に対応した論理ゲートで構成されるPLDネットリスト２
とから展開ネットリスト５を作成する展開ネットリスト
作成手段３と、展開ネットリスト５からシミュレーショ
ンロードデータ26を作成するシミュレーションロードデ
ータ作成手段７と、回路ネットリスト１と回路ネットリ
スト１に含まれる参照情報とから個々のPLDに対応した
ヒューズマップ４と品種に対応したヒューズマップ入力
固定値対応表６とを参照してゲート入力固定情報９を作
成するゲート入力値固定情報作成手段８と、ゲート入力
値固定情報９を参照して論理シミュレーション手段12内
のシミュレーションデータ13の指定されたゲートの入力
を、指定された値に固定するゲート入力値固定手段10
と、シミュレーションロードデータ26を読み込み、ゲー
ト入力固定手段10の処理を受け付け、シミュレーション
データとして入力パターン11を入力し、論理シミュレー
ションを行い、出力パターン14を出力する論理シミュレ
ーション手段12とを含んで構成される。
以下、第１図をさらに詳細に説明する。
回路ネットリスト１は、論理ゲートA1,A2,A4と、品種
名がPLDAでヒューズマップがfmapA3のPLD A3と、それら
を接続するネットで構成される。ここでA1,A2,…はゲー
ト名である。
名がPLDAでヒューズマップがfmapA3のPLD A3と、それら
を接続するネットで構成される。ここでA1,A2,…はゲー
ト名である。
PLDネットリスト２及びヒューズマップ−入力固定値
対応表６は、品種に対応して作られている。ヒューズマ
ップ４は、回路ネットリスト１上の各PLDに対して設計
された論理を実現する様に、個別に作成される。
対応表６は、品種に対応して作られている。ヒューズマ
ップ４は、回路ネットリスト１上の各PLDに対して設計
された論理を実現する様に、個別に作成される。
品種PLDAのPLDネットリスト２において、論理ゲートG
1,G2,G3,G4,G5が存在する。G3及びG4は入力11,12,13,14
を持つ。品種PLDAのPLDは、入力11,12,13,14がヒューズ
を持ち、ヒューズが切られていない状態では、PLDネッ
トリスト２の接続で、ある入力のヒューズが切られる
と、その入力に信号値‘1'入力された状態で動作する。
1,G2,G3,G4,G5が存在する。G3及びG4は入力11,12,13,14
を持つ。品種PLDAのPLDは、入力11,12,13,14がヒューズ
を持ち、ヒューズが切られていない状態では、PLDネッ
トリスト２の接続で、ある入力のヒューズが切られる
と、その入力に信号値‘1'入力された状態で動作する。
展開ネットリスト５は、展開ネットリスト作成手段３
が展開ネットリスト１のゲートA3に、PLD品種PLDAのPLD
ネットリスト２を展開し、論理ゲートで構成されたネッ
トリストを作成する。
が展開ネットリスト１のゲートA3に、PLD品種PLDAのPLD
ネットリスト２を展開し、論理ゲートで構成されたネッ
トリストを作成する。
ヒューズマップ−入力固定値対応表６において、各行
の要素は‘,'で区切られ、第１要素16は、ヒューズマッ
プの第何番目の要素に対応するかを表し、第２要素は、
PLDネットリスト上のゲート名17と‘:'と入力の名前18
で構成され、第３要素19は、ヒューズマップ15において
第１要素16の示す要素が１だったら、第２要素の示す論
理ゲート名17の入力18を固定する値を表す。
の要素は‘,'で区切られ、第１要素16は、ヒューズマッ
プの第何番目の要素に対応するかを表し、第２要素は、
PLDネットリスト上のゲート名17と‘:'と入力の名前18
で構成され、第３要素19は、ヒューズマップ15において
第１要素16の示す要素が１だったら、第２要素の示す論
理ゲート名17の入力18を固定する値を表す。
ヒューズマップ４は、各要素は‘0'あるいは‘1'が並
べられる。‘0'はヒューズが切られていない状態、‘1'
は切られている状態を表す。
べられる。‘0'はヒューズが切られていない状態、‘1'
は切られている状態を表す。
fmapA3において、各要素は、順にPLDネットリスト２
の論理ゲートG3の11,12,13,14、論理ゲートG4の11,12,1
3,14に対応する。
の論理ゲートG3の11,12,13,14、論理ゲートG4の11,12,1
3,14に対応する。
ゲート入力値固定情報９において、各行の要素は‘,'
で区切られ、第１要素は、回路ネットリスト１上のPLD
のゲート名20と、‘/'と、PLDネットリスト上のゲート
名21で構成される展開ネットリスト上のゲート名
と、‘:'と、入力の名前22で構成され、第２要素は、第
１要素で示された入力をどんな値に固定するかを表す。
で区切られ、第１要素は、回路ネットリスト１上のPLD
のゲート名20と、‘/'と、PLDネットリスト上のゲート
名21で構成される展開ネットリスト上のゲート名
と、‘:'と、入力の名前22で構成され、第２要素は、第
１要素で示された入力をどんな値に固定するかを表す。
例として、ヒューズマップ４の第２要素は‘1'で、PL
Dネットリスト２の論理ゲートG3の入力12に対応するヒ
ューズを切ることを表す。ヒューズマップ−入力固定値
対応表６の第２行15は、ヒューズマップ４の第２要素が
‘1'ならば、展開ネットリスト５において、PLDネット
リスト２の論理ゲートG3の入力11を状態値‘1'に固定す
ることを表す。
Dネットリスト２の論理ゲートG3の入力12に対応するヒ
ューズを切ることを表す。ヒューズマップ−入力固定値
対応表６の第２行15は、ヒューズマップ４の第２要素が
‘1'ならば、展開ネットリスト５において、PLDネット
リスト２の論理ゲートG3の入力11を状態値‘1'に固定す
ることを表す。
ゲート入力値固定情報作成手段８の出力したゲート出
力値固定情報９の第１行24は、論理シミュレーション手
段12内のシミュレーションデータ11のA3/G3:14に固定値
‘1'を設定することを表し、ゲート入力値固定手段10
は、それに従い固定値を設定する。
力値固定情報９の第１行24は、論理シミュレーション手
段12内のシミュレーションデータ11のA3/G3:14に固定値
‘1'を設定することを表し、ゲート入力値固定手段10
は、それに従い固定値を設定する。
論理シミュレーション手段12は、以上の様に準備され
たシミュレーションデータ13と入力パターン11とによ
り、論理シミュレーションを実行して出力パターン14を
出力する。
たシミュレーションデータ13と入力パターン11とによ
り、論理シミュレーションを実行して出力パターン14を
出力する。
本発明のPLD論理シミュレータは、PLDのヒューズの切
断を対応するゲートの入力をヒューズの切断された状態
に固定して表現することにより、通常のゲートのみを対
象とした論理シミュレータと同じ論理シミュレーション
手段によるPLDの論理シミュレーションができ、PLD専用
の論理演算部なしで構成できるため、安価にできるとい
う効果がある。
断を対応するゲートの入力をヒューズの切断された状態
に固定して表現することにより、通常のゲートのみを対
象とした論理シミュレータと同じ論理シミュレーション
手段によるPLDの論理シミュレーションができ、PLD専用
の論理演算部なしで構成できるため、安価にできるとい
う効果がある。
第１図は本発明の一実施例を示すブロック図である。 １…回路ネットリスト、２…PLDネットリスト、３…展
開ネットリスト作成手段、４…ヒューズマップ、５…展
開ネットリスト、６…ヒューズマップ入力固定値対応
表、７…シミュレータロードデータ作成手段、８…ゲー
ト入力値固定情報作成手段、９…ゲート入力値固定情
報、10…ゲート入力値固定手段、11…入力パターン、12
…論理シミュレーション手段、13…シミュレーションデ
ータ、14…出力パターン、15…ヒューズマップ−入力固
定値対応表６第２行、16…同第１要素、17…同第２要素
ゲート名、18…同第２要素入力名、19…同第３要素、20
…ゲート入力値固定情報９第１要素回路ネット上のゲー
ト名、21…同PLDネットリスト上のゲート名、22…同入
力の名前、23…入力固定値、24…同第１行、25…24によ
り設定された入力固定値、26…シミュレーションロード
データ。
開ネットリスト作成手段、４…ヒューズマップ、５…展
開ネットリスト、６…ヒューズマップ入力固定値対応
表、７…シミュレータロードデータ作成手段、８…ゲー
ト入力値固定情報作成手段、９…ゲート入力値固定情
報、10…ゲート入力値固定手段、11…入力パターン、12
…論理シミュレーション手段、13…シミュレーションデ
ータ、14…出力パターン、15…ヒューズマップ−入力固
定値対応表６第２行、16…同第１要素、17…同第２要素
ゲート名、18…同第２要素入力名、19…同第３要素、20
…ゲート入力値固定情報９第１要素回路ネット上のゲー
ト名、21…同PLDネットリスト上のゲート名、22…同入
力の名前、23…入力固定値、24…同第１行、25…24によ
り設定された入力固定値、26…シミュレーションロード
データ。
フロントページの続き (58)調査した分野(Int.Cl.6，ＤＢ名) G06F 17/50 ＦＩＣＳＴファイル（ＪＯＩＳ)
Claims (1)
- 【請求項１】PLDを含む回路ネットワークリストと該PLD
のヒューズの切られていない状態の接続を論理ゲートで
表したPLDネットリストとを読み込んで展開ネットリス
トを作る展開ネットリスト作成手段と、前記展開ネット
リストからシミュレータロードデータを作成するシミュ
レータロードデータ作成手段と、被シミュレーションPL
Dのどのヒューズが切られているかを表すヒューズマッ
プと該PLDネットリストに対応したヒューズマップ−入
力固定値対応表とからゲート入力値固定情報を作成する
ゲート入力値固定情報作成手段と、前記情報に従いシミ
ュレータロードデータの入力値を固定するゲート入力値
固定手段と、前記設定をした被シミュレーションPLDを
含む回路を論理シミュレーションする論理シミュレーシ
ョン手段とを含むことを特徴とするPLD論理シミュレー
タ。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2015197A JP2870919B2 (ja) | 1990-01-24 | 1990-01-24 | Ｐｌｄ論理シミュレータ |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2015197A JP2870919B2 (ja) | 1990-01-24 | 1990-01-24 | Ｐｌｄ論理シミュレータ |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH03219367A JPH03219367A (ja) | 1991-09-26 |
| JP2870919B2 true JP2870919B2 (ja) | 1999-03-17 |
Family
ID=11882139
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2015197A Expired - Lifetime JP2870919B2 (ja) | 1990-01-24 | 1990-01-24 | Ｐｌｄ論理シミュレータ |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2870919B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102279564A (zh) * | 2011-04-29 | 2011-12-14 | 南京航空航天大学 | 应用智能pid控制器的飞行仿真转台控制系统及方法 |
-
1990
- 1990-01-24 JP JP2015197A patent/JP2870919B2/ja not_active Expired - Lifetime
Non-Patent Citations (2)
| Title |
|---|
| 情報処理学会第３７回全国大会講演論文集（▲ＩＩＩ▼）１８３５−１８３６頁 和田直人ほか「ＰＬＤ混在装置設計支援システム」 |
| 熊本県工業技術センター研究報告 Ｎｏ．２６ ６２−７５頁 上田直行「ＰＬＤ用論理回路シュミレーションの開発」 |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102279564A (zh) * | 2011-04-29 | 2011-12-14 | 南京航空航天大学 | 应用智能pid控制器的飞行仿真转台控制系统及方法 |
| CN102279564B (zh) * | 2011-04-29 | 2013-03-13 | 南京航空航天大学 | 应用智能pid控制器的飞行仿真转台控制系统及方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH03219367A (ja) | 1991-09-26 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP3027009B2 (ja) | 設計取り込みシステム | |
| CN1307586C (zh) | 高效逻辑打包的现场可编程门阵列核心单元 | |
| US5416719A (en) | Computerized generation of truth tables for sequential and combinatorial cells | |
| US6959272B2 (en) | Method and system for generating an ATPG model of a memory from behavioral descriptions | |
| KR0138946B1 (ko) | 데이타경로 회로 레이아웃 생성 시스템 | |
| JP2870919B2 (ja) | Ｐｌｄ論理シミュレータ | |
| JP5056511B2 (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
| US4815016A (en) | High speed logical circuit simulator | |
| US5910901A (en) | Logic simulator | |
| JP2752923B2 (ja) | 論理シミュレーション装置および論理回路情報作成方法 | |
| JP3229193B2 (ja) | 回路シミュレーション支援システム | |
| JPH06268067A (ja) | Ｌｓｉ設計用ｃａｄシステム | |
| JP2539049B2 (ja) | 諭理シミュレ―ション装置 | |
| JPH07262233A (ja) | アナログｌｓｉにおける素子の形状決定方法及びその形状決定装置 | |
| JP3057786B2 (ja) | レイアウト検証システム | |
| JPH05266126A (ja) | テストデータ端子名変換方式 | |
| JP2606659B2 (ja) | 論理回路階層展開装置および方法 | |
| JP2830563B2 (ja) | 回路図作成装置 | |
| JPH08287113A (ja) | シミュレーションモデル作成方式 | |
| JPH09251483A (ja) | セルライブラリ作成方法 | |
| JPH01236352A (ja) | 論理シミュレーション結果出力方式 | |
| Wuu et al. | NetList/sup+: a simple language for fast ASIC prototyping | |
| JPH03282781A (ja) | 自動レイアウトシステム | |
| JPH0471072A (ja) | アナログ／ディジタル混載集積回路のシミュレーション方法 | |
| JP2000276510A (ja) | 回路設計装置および回路設計プログラム記憶媒体 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (prs date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090110 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (prs date is renewal date of database) |
Year of fee payment: 7 Free format text: PAYMENT UNTIL: 20100110 |
|
| FPAY | Renewal fee payment (prs date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100110 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (prs date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110110 Year of fee payment: 8 |
|
| LAPS | Cancellation because of no payment of annual fees |