JPS58205870A - 論理回路シミユレ−シヨン装置 - Google Patents

論理回路シミユレ−シヨン装置

Info

Publication number
JPS58205870A
JPS58205870A JP57089315A JP8931582A JPS58205870A JP S58205870 A JPS58205870 A JP S58205870A JP 57089315 A JP57089315 A JP 57089315A JP 8931582 A JP8931582 A JP 8931582A JP S58205870 A JPS58205870 A JP S58205870A
Authority
JP
Japan
Prior art keywords
circuit
unit cell
register
function
logic
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.)
Granted
Application number
JP57089315A
Other languages
English (en)
Other versions
JPH0432348B2 (ja
Inventor
Kazuhiro Ueda
和宏 上田
Tsunetaka 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.)
Nippon Telegraph and Telephone Corp
Original Assignee
Nippon Telegraph and Telephone 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 Nippon Telegraph and Telephone Corp filed Critical Nippon Telegraph and Telephone Corp
Priority to JP57089315A priority Critical patent/JPS58205870A/ja
Publication of JPS58205870A publication Critical patent/JPS58205870A/ja
Publication of JPH0432348B2 publication Critical patent/JPH0432348B2/ja
Granted legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Tests Of Electronic Circuits (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Logic Circuits (AREA)

Abstract

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

Description

【発明の詳細な説明】 本発明は種々の論理回路を、主としてハードウェアを用
いてシミュレーションすることを可能とした汎用的な論
理回路シミュレーション装置に関するものである。  
□ 論理装置やLsI4どを設計・製造する場合、まず論理
装置やLSIの仕様に基づいて、論理設計を行う。この
場合、プリント回路基板やLSIのレイアウト設計に入
る前に、論理バグをできるだけ削除しておく必要がある
。とくに、LSIの場合には、あとの工程バグが発見さ
れると手戻りが大きいため、この論理設計段階でのバグ
吸収が強く望まれている。また、論理設計が完了すると
、その論理設計データを用いて、製造後の論理装置やL
SIが正常に動作しているかどうかを検査するためのテ
ストパターンを作成する必要がある。
従来、これらの論理設計の正常性の検証やテストパター
ン生成の手段として、ハードウェアシミュレータあるい
はソフトウェアシミュレータによる方法が用いられてい
る。
ハードウェアシミュレータは、論理設計したデータに基
づいて実際に製造すべき装置あるいはLSIを模擬した
装置を製造して、同装置が与えられた仕様を満足するか
否かを調べることによって、論理設計の正常性を検証す
るものである。併せて、そこで用いた入出カバターンの
セットをテストパターンとして使用することができる。
このようなハードウェアシミュレータは、実際にハード
ウェアを用いて構成するため、はぼ本番の装置に近い速
度で動作させることができるため、多量のデータを用い
てう/させることが可能であり、それがソフトウェアシ
ミュレータに比べて大きな長所となっている。しかし、
ハードウェアシミュレータは、一般に本番の装置とは異
なった部品を用いたり、より簡易的な作り方をするため
に、遅延などの電気的性能は本番の装置と大幅に異なる
のが普通であり、本方法によるシミュレーションでは、
論理的な機能の正常性の検証しか期待できない。
また、ハードウェアシミュレータは簡易的にしろ、本番
と同様の規模のハードウェア装置を設計・製造しなけれ
はならないために、設計・製造のデータのターンアラン
ド時間1とコストがかかるのが大きな欠点である。
一方、ソフトウェアシミュレータは、汎用計算機を用い
て、与えられた論理装置やLSI回路の論理接続情報を
受けて、シミュレーション処理に適した形に編集したの
ちに、メモリ上に格納する。
従って、ユーザに対しては、計算機中にあたかも論理装
置あるいはLSI回路が存在しているようにみえる。計
算機中に構成された回路の外部入力端子に、0,1など
の信号情報のシーケンスを入力すると、これらの外部入
力信号値と、すでに与えられている回路のゲート論理機
能とゲート間の接続関係等を用いて、回路内の各ゲート
や外部出力端子の信号値の変化を求めることができる。
このため、ある入力信号パターンを与えたとき、シミュ
レーションで得られた各ゲートや外部出力端子の信号値
と、あらかじめ予想された対応する信号値を比較するこ
とによって論理回路が正常か否かを調べることができる
このソフトウェアシミュレータの方法によれば、ゲート
や配線の遅延値も実際に製造する回路に近い形で指定で
きるため、論理機能の検証のみではなく、タイミング条
件まで含めて検証できる利点がある。また、ハードウェ
アシミュレータ設計・製造のターンアラウンド時間とコ
ストに比べて、かなり短かい期間とコストでシミュレー
ション環境が設定できるのが大きな利点である。しかし
、この方法においては、一般にシーケンシャル処理を行
う汎用計算機を用いて処理するため、一度に1ゲートあ
るいは、たかだが、■ワードで同時に処理可能なゲート
数しか並列処理できず、本質的にシーケンシャル処理と
なる。
このように、ソフトウェアによるシミュレーションでは
、本来、並列的に動作する論理回路を直列的な動作にお
きかえて、処理せざるを得ないことや、シミュレーショ
ン処理の大半の部分でメモリと演算装置との間のデータ
授受が必要となることに起因して、実際のハードウェア
が動作する場合に比べ、105〜106倍程度の時間が
ががり、これがソフトウェアシミュレーションの最大の
欠点である。
以上、ハードウェアシミュレータおよびソフトウェアシ
ミュレータともに、それぞれ大きな問題点を有しており
、これらの問題点を解決する手段が強く望まれている。
本発明の目的は、与えられた論理回路の接続情報に応じ
て容易に回路を構成でき、しかもハードウェアによって
高速にシミュレーション処理を行うことを可能とした汎
用的な論理回路シミュレーション装置を提供することに
ある。
しかして、本発明は任意の入力を任意の出力に接続する
構成のスイッチ回路と、該スイッチ回路の入力および出
力の一部に接続された単一あるいは複数の正常および/
または故障機能をもつ機能回路とを具備してなるユニッ
トセルをアレイ状態構成すると共に、各ユニットセル内
のスイッチ回路の接続状態の設定および機能回路の状態
の選択を制御する制御回路を設け、ユニットセル間の接
続及び各ユニットセル内の状態を電気的に変更すること
によって、種々の論理回路の実現を可能にするものであ
る。
以下、図面にもとづいて本発明の内容を詳細に説明する
第1図は本発明の一実施例にあって、■はユニットセル
、2は制御回路、ILIl、、 lL12.・・・IL
lkはユニットセル左側入力、IUII、 IU12.
・・・TIJkはユニットセル上側入力、I R11,
、I R]2.・・・IR,lkはユニットセル右側入
力、ID1.1. ID]2.・・・ID7にはユニッ
トセル下側入力、0LII、 0L12.・・・01J
kはユニットセル左側出力、0UII、 0U12.・
・・0Ulkはユニットセル上側出力、0R11,0F
t12.・・・OJkはユニットセル右側出力、0DI
I、 0D12.・・・0Dlkはユニットセル下側出
力、CT1はレジスタ制御線、RDlはユニットセル状
態読出し線である。
ユニットセル1は2次元アレイ状に配置され、隣接ユニ
ットセル同志が入出力線で結合されている。後述するよ
うに、各ユニットセル1はスイッチ回路と機能回路、該
機能回路の機能を選択するだめのレジスタ、および機能
回路の出力状態を保持するためのレジスタを含んでいる
。制御回路2ハユニツトセル1内のレジスタの値を設定
したり、ユニットセル1の内容を読出したりする機能を
司どる。この場合、ユニットセル1のスイッチ回路およ
び機能回路を制御するレジスタへの内容の設定はレジス
タ制御線CTlを通して行い、ユニットセル1の状態の
読出しはユニットセル状態読出し線RDIにより行う。
なお、実施例では、CTlおよびRDl線は全ユニット
セルを縦続に接続されているとする。
第2図はユニットセル1の詳細図である。第2図におい
て、21はスイッチ回路、22は機能回路、詔は機能選
択用レジスタ、24は機能回路出力表示用レジスタ、O
Fはスイッチ回路出力、IP・はスイッチ回路入力であ
る。
スイッチ回路21は上下左右の隣接ユニットセルおよび
/または同一ユニットセル内の機能回路から入力を受け
、また上下左右の任意の隣接ユニットセルおよび/また
は同一ユニットセル内の機能回路に出力することができ
る。機能回路22は単一または複数の正常および/また
は故障機能をもつ回路で、機能選択用レジスタ乙にセッ
トされた値によって、どの正常または故障機能を選択す
るかが決まる。機能回路22の出力値は機能回路出力表
示用レジスタ24にセットされ、ユニットセル1の外部
(第1図の制御回路2)からユニットセル状態読出し線
FtDlを介して読出される。
第8図はスイッチ回路21の詳細を示したもので、5y
iANDゲ−)、32.ハデコーダ、′38はレジスタ
である。ANDゲート31はデコーダ32のデコード出
力(二よってオンとなり、該ANI)ゲートを通して、
入力IU、、  IL  ・・・IFの任意のいずれか
一つのものIJI   IJI が出力OD、、、 OL、、、・・・OFの任意のもの
(=接続される。デコーダ32の入力はレジスタ33か
ら与えられ、レジスタ33の値はレジスタ制御線CTI
を介して制御回路2から設定される。
第4図は機能回路22の詳細である。第4図において、
41は正常および/または故障などの機能をもつ機能部
、42はトライステート・バッファ、43はデコーダで
ある。トライステート・バッファ42はデコーダ43に
よって選ばれたものだけが、対応する機能部iの信号値
を出力する。選ばれなかったトライステート・バッファ
の出カイ直はハイインピーダンス値をとる。したがって
、デコーダ43によって機能部1〜nの一つを選択する
ことができ、し7スタ24に設定される。デコーダ43
の入力は機能選択用レジスタ乙から与えられ、レジスタ
乙の値はレジスタ制御線CTlを介して制御回路2から
設定される。
いま、第5図に示すような簡単な論理回路を考えてみる
。ここで、A〜Iは論理機能を表わしている。この第5
図の論理回路は、第1図乃至第4図の回路を用いること
により第6図のよう(二実現される。なお、第6図の例
では■ユニットセルに1ゲートを対応させて割当てたが
、複数個のゲートを割当てることも当然可能である。
以上、実施例では、隣接ユニットセル間のデータ転送線
は2本パラレルとして構成した場合を示したが、一般に
n本パラレルとして構成することは当然可能である。ま
た、同じ〈実施例では、レジスタ制御線およびユニット
セル状態読出し線は全ユニットセルを縦続に接続してい
るが、データ転送を高速化するために、例えばユニット
セルの行あるいは列毎にパラレルにレジスタ制御線やユ
ニット状態読出し線を設けることも当然可能である。
以上説明したように、本発明の回路構成によれば、各種
の論理回路を、回路の一部の状態を電気的に書き替える
ことによって実現でき右ので、従来のハードウェアシミ
ュレータを設計・製造するのに比べ、極めて短時間でシ
ミュレータを実現することができる。また、同一のハー
ドウェアを繰返し使用することができるため、従来、各
品種毎に必要とされたハードウェアシミュレータ製造の
コストを大幅に削減することが期待できる。一方、シミ
ュレーション処理速度は従来のノ・−ドウエアシミュレ
ータとボンパラプルなオーダーが達成される。
また、ユニットセル内の機能を正常回路または故障回路
に任意に設定できるので、正常回路の論理シミュレーシ
ョンはもちろん、故障回路を含む論理シミュレーション
も容易に実行でき、テストパターン生成の目的にも利用
できる。
このように、本発明によれば、従来のハードウェアシミ
ュレータとソフトウェアシミュレータの長所を併わせも
つようなシミュレータが実現可能となる。
【図面の簡単な説明】
第1図は本発明による論理回路シミュレーション装置の
一実施例の全体構成図、第2図は第1図におけるユニッ
トセルの一実施例を示す図、第3図は第2図におけるス
イッチ回路部分の詳細図、第4図は第2図における機能
回路部分の詳細図、第5図は論理回路の一例を示す図、
第6図は第5図の論理回路を本発明装置で実現した回路
構成を示す図である。 ■・・・ユニットセル、2・・・制御回路、21・・・
スイッチ回路、22・・・機能回路、n・・・機能選択
用レジスタ、24・・・機能回路出力表示用レジスタ。

Claims (1)

    【特許請求の範囲】
  1. fll  任意の入力を任意の出力に接続する構成のス
    イッチ回路と、該スイッチ回路の入力および出力の一部
    に接続された単一あるいは複数の正常および/または故
    障機能をもつ機能回路とを具備してなるユニットセルを
    アレイ状に構成すると共に、各ユニットセル内のスイッ
    チ回路の接続状態の設定および機能回路の状態の選択を
    制御する制御回路を有し、種々の論理回路を構成できる
    ようにしたことを特徴とする論理回路シミュレーション
    装置。
JP57089315A 1982-05-26 1982-05-26 論理回路シミユレ−シヨン装置 Granted JPS58205870A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP57089315A JPS58205870A (ja) 1982-05-26 1982-05-26 論理回路シミユレ−シヨン装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP57089315A JPS58205870A (ja) 1982-05-26 1982-05-26 論理回路シミユレ−シヨン装置

Publications (2)

Publication Number Publication Date
JPS58205870A true JPS58205870A (ja) 1983-11-30
JPH0432348B2 JPH0432348B2 (ja) 1992-05-29

Family

ID=13967229

Family Applications (1)

Application Number Title Priority Date Filing Date
JP57089315A Granted JPS58205870A (ja) 1982-05-26 1982-05-26 論理回路シミユレ−シヨン装置

Country Status (1)

Country Link
JP (1) JPS58205870A (ja)

Cited By (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2578338A1 (fr) * 1985-03-01 1986-09-05 Simulog Inc Simulateur logique cable
US4749947A (en) * 1986-03-10 1988-06-07 Cross-Check Systems, Inc. Grid-based, "cross-check" test structure for testing integrated circuits
EP0405765A2 (en) * 1989-06-05 1991-01-02 Kawasaki Steel Corporation Configurable electronic circuit board, adapter therefor , and designing method of electronic circuit using the same board
US5036473A (en) * 1988-10-05 1991-07-30 Mentor Graphics Corporation Method of using electronically reconfigurable logic circuits
US5065090A (en) * 1988-07-13 1991-11-12 Cross-Check Technology, Inc. Method for testing integrated circuits having a grid-based, "cross-check" te
US5068603A (en) * 1987-10-07 1991-11-26 Xilinx, Inc. Structure and method for producing mask-programmed integrated circuits which are pin compatible substitutes for memory-configured logic arrays
US5155432A (en) * 1987-10-07 1992-10-13 Xilinx, Inc. System for scan testing of logic circuit networks
US5329470A (en) * 1988-12-02 1994-07-12 Quickturn Systems, Inc. Reconfigurable hardware emulation system
US5425036A (en) * 1992-09-18 1995-06-13 Quickturn Design Systems, Inc. Method and apparatus for debugging reconfigurable emulation systems
US5448496A (en) * 1988-10-05 1995-09-05 Quickturn Design Systems, Inc. Partial crossbar interconnect architecture for reconfigurably connecting multiple reprogrammable logic devices in a logic emulation system
US5475830A (en) * 1992-01-31 1995-12-12 Quickturn Design Systems, Inc. Structure and method for providing a reconfigurable emulation circuit without hold time violations
US5760607A (en) * 1995-07-10 1998-06-02 Xilinx, Inc. System comprising field programmable gate array and intelligent memory
US6377911B1 (en) 1988-12-02 2002-04-23 Quickturn Design Systems, Inc. Apparatus for emulation of electronic hardware system

Cited By (23)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2578338A1 (fr) * 1985-03-01 1986-09-05 Simulog Inc Simulateur logique cable
US4749947A (en) * 1986-03-10 1988-06-07 Cross-Check Systems, Inc. Grid-based, "cross-check" test structure for testing integrated circuits
US5068603A (en) * 1987-10-07 1991-11-26 Xilinx, Inc. Structure and method for producing mask-programmed integrated circuits which are pin compatible substitutes for memory-configured logic arrays
US5155432A (en) * 1987-10-07 1992-10-13 Xilinx, Inc. System for scan testing of logic circuit networks
US5065090A (en) * 1988-07-13 1991-11-12 Cross-Check Technology, Inc. Method for testing integrated circuits having a grid-based, "cross-check" te
US5452231A (en) * 1988-10-05 1995-09-19 Quickturn Design Systems, Inc. Hierarchically connected reconfigurable logic assembly
US5796623A (en) * 1988-10-05 1998-08-18 Quickturn Design Systems, Inc. Apparatus and method for performing computations with electrically reconfigurable logic devices
US5448496A (en) * 1988-10-05 1995-09-05 Quickturn Design Systems, Inc. Partial crossbar interconnect architecture for reconfigurably connecting multiple reprogrammable logic devices in a logic emulation system
US5036473A (en) * 1988-10-05 1991-07-30 Mentor Graphics Corporation Method of using electronically reconfigurable logic circuits
US5612891A (en) * 1988-10-05 1997-03-18 Quickturn Design Systems, Inc. Hardware logic emulation system with memory capability
US5812414A (en) * 1988-10-05 1998-09-22 Quickturn Design Systems, Inc. Method for performing simulation using a hardware logic emulation system
US5657241A (en) * 1988-10-05 1997-08-12 Quickturn Design Systems, Inc. Routing methods for use in a logic emulation system
US5734581A (en) * 1988-10-05 1998-03-31 Quickturn Design Systems, Inc. Method for implementing tri-state nets in a logic emulation system
US5329470A (en) * 1988-12-02 1994-07-12 Quickturn Systems, Inc. Reconfigurable hardware emulation system
US6842729B2 (en) 1988-12-02 2005-01-11 Quickturn Design Systems, Inc. Apparatus for emulation of electronic systems
US6377911B1 (en) 1988-12-02 2002-04-23 Quickturn Design Systems, Inc. Apparatus for emulation of electronic hardware system
US5477475A (en) * 1988-12-02 1995-12-19 Quickturn Design Systems, Inc. Method for emulating a circuit design using an electrically reconfigurable hardware emulation apparatus
US5644515A (en) * 1988-12-02 1997-07-01 Quickturn Design Systems, Inc. Hardware logic emulation system capable of probing internal nodes in a circuit design undergoing emulation
EP0405765A2 (en) * 1989-06-05 1991-01-02 Kawasaki Steel Corporation Configurable electronic circuit board, adapter therefor , and designing method of electronic circuit using the same board
US5649167A (en) * 1992-01-31 1997-07-15 Quickturn Design Systems, Inc. Methods for controlling timing in a logic emulation system
US5475830A (en) * 1992-01-31 1995-12-12 Quickturn Design Systems, Inc. Structure and method for providing a reconfigurable emulation circuit without hold time violations
US5425036A (en) * 1992-09-18 1995-06-13 Quickturn Design Systems, Inc. Method and apparatus for debugging reconfigurable emulation systems
US5760607A (en) * 1995-07-10 1998-06-02 Xilinx, Inc. System comprising field programmable gate array and intelligent memory

Also Published As

Publication number Publication date
JPH0432348B2 (ja) 1992-05-29

Similar Documents

Publication Publication Date Title
US5629876A (en) Method and apparatus for interim in-situ testing of an electronic system with an inchoate ASIC
US5339262A (en) Method and apparatus for interim, in-situ testing of an electronic system with an inchoate ASIC
US5263149A (en) Integrated circuit logic functions simulator for selectively connected series of preprogrammed PLA devices using generated sequence of address signals being provided between simulated clock cycles
JPH0773066A (ja) メモリ回路構成法および装置
JPS58205870A (ja) 論理回路シミユレ−シヨン装置
US6917998B1 (en) Reusable complex multi-bus system hardware prototype system
JP2002358340A (ja) 論理エミュレーションに使用される回路、その回路を備える論理基板、論理エミュレータ及び、論理エミュレーションにおける通信方法
US5798645A (en) Hardware emulations system with delay units
JP3176482B2 (ja) 論理シミュレーション装置
JPH063414A (ja) 疑似lsi装置及びそれを用いたデバッグ装置
US6381565B1 (en) Functional logic circuit verification device
JP2012143000A (ja) プログラマブル・ゲートアレイ部を備えたマスクプログラマブル論理装置
US7861197B2 (en) Method of verifying design of logic circuit
JPH1063704A (ja) 半導体試験装置
JP3173506B2 (ja) 機能論理回路検証装置
US20090030624A1 (en) Systems and methods for validating power integrity of integrated circuits
JPH0830653A (ja) 論理シミュレーション装置とその制御方法
JPH0712073B2 (ja) 故障検出回路付き大規模集積回路
JP2557128B2 (ja) スキャン・フリップフロップの初期化方式
JP2871921B2 (ja) 半導体集積回路のシミュレーション方法
CN117851146A (zh) 针对小芯片的fpga原型验证系统和原型验证方法
US20040225489A1 (en) Integrated self-testing of a reconfigurable interconnect
JPS62219300A (ja) 半導体集積回路
JPS61198752A (ja) 半導体集積回路
JPH04260975A (ja) 論理回路設計支援装置