JPH03257586A - 論理回路のタイミングシミュレーション方式 - Google Patents

論理回路のタイミングシミュレーション方式

Info

Publication number
JPH03257586A
JPH03257586A JP2057016A JP5701690A JPH03257586A JP H03257586 A JPH03257586 A JP H03257586A JP 2057016 A JP2057016 A JP 2057016A JP 5701690 A JP5701690 A JP 5701690A JP H03257586 A JPH03257586 A JP H03257586A
Authority
JP
Japan
Prior art keywords
gate
level
circuit
simulation
logic circuit
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
JP2057016A
Other languages
English (en)
Inventor
Takeshi Shimono
下野 武志
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 JP2057016A priority Critical patent/JPH03257586A/ja
Publication of JPH03257586A publication Critical patent/JPH03257586A/ja
Pending legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、論理回路のシミュレーション方式に関し、特
に、回路の動作を詳細に解析するタイミングシミュレー
ション方式に関する。
〔従来の技術〕
従来、小規模の論理回路に対しては、回路全体をトラン
ジスタレベルに展開し、回路レベルシミュレータを用い
て、詳細なタイミングシミュレーションを行なっていた
また、大規模な論理回路に対しては、素子デイレイや配
線デイレイをゲートレベルでモデル化し、ゲートレベル
のシミュレータを用いてタイミングシミュレーションを
行なっていた。
〔発明が解決しようとする課題〕
上述した、従来のタイミングシミュレーション方式のう
ち、論理回路全体をトランジスタレベルに展開して回路
シミュレーションを用いてシミュレーションする方法で
は、大規模な回路に対して、計算時間が膨大になり実用
的でない。
また、デイレイをゲートレベルでモデル化してゲートレ
ベルでシミュレーションする方法では、電圧レベルの時
間的変化といった詳細なタイミングシミュレーションが
できないという問題がある。たとえば、EBテスタにお
いて、回路内部の信号変化を観測するとき、その信号変
化の期待値を求めるには不十分である。
〔課題を解決するための手段〕
本発明の論理回路のタイミングシミュレーション方式の
楕或は、ゲートレベルの論理回路情報およびその論理回
路のテストパタンを入力し、その回路動作をシミュレー
ションするゲータレベルシミュレーション手段と、その
ゲートレベルのシミュレーション結果により回路動作の
タイミングを詳細に知る必要のあるパタンにおいて変化
したゲートを求める変化ゲート抽出手段と、その変化し
たゲートのみをトランジスタレベルまで展開するゲート
展開手段と、その展開されたトランジスタレベルの論理
回路に対して回路レベルのシミュレーションを行う回路
レベルシミュレーション手段とを含むことを特徴とする
〔実施例〕
次に、本発明について図面を参照して説明する。
第1図は本発明の一実施例の実行順に各手段を表わした
ブロック図である。
この図において、本発明の論理回路のタイミングシミュ
レーション方式では、まずゲートレベル論理回路10と
テストパタン11を入力して、ゲートレベルシミュレー
ション手段1により回路動作をゲートレベルでシミュレ
ーションする。
次に、変化ゲート抽出手段2により出力信号値の変化し
たゲート12を求める。このとき、全テストパタンにつ
いて求めるのではなく、詳細にタイミング解析を行う必
要のあるパタンについてのみ変化したゲートを求める。
ここで抽出された変化ゲート12について、ゲート展開
手段3によりゲートをトランジスタレベルの回路13に
展開する。
最後に、トランジスタレベルの論理回路13とテストパ
タン11を入力して回路レベルシミュレーション手段4
により詳細にタイミングシミュレーションを行い、シミ
ュレーション結果14を表示する。
第2図は本発明を適用する論理回路の一例のゲートレベ
ルの回路図、第3図はこの回路に対するテストパタンの
一例とその人力パタンに対するゲートレベルのシミュレ
ーション結果である。これらを用いて、本発明のタイミ
ングシミュレーション方式について具体的に説明する。
今、第3図のパタン番号P3のパタンに対して詳細にタ
イミング解析を行う必要があるとする。
ゲートレベルのシミュレーション結果から、パタン番号
P3のパタンにおいて変化したゲートはG5、G7だけ
であることがわかり、これが変化ゲート抽出手段2によ
り抽出される。
第1図のゲート展開手段3では、このゲートG5と07
だけをトランジスタレベルの回路に展開する。
第4図は展開後の回路図であり、このとき、変化してい
ないゲートは回路から除かれている。たとえば、ゲート
G7の入力の一方のF2は第2図のブリッププロップF
/Fからの信号であるが、第3図のパタン番号P3にお
いては“1′で変化していないため、1′にクランプし
ている信号として扱われる。 こうして作成されたトラ
ンジスタレベルの回路に対して、第1図の回路レベルシ
ミュレーション手段4を用いて詳細にタイミング解析を
行う、その結果、第5図に示すようなシミュレーション
結果が得られる。
〔発明の効果〕
以上説明したように本発明は、あらかじめゲートレベル
のシミュレーションにより変化するゲートを求めておき
、変化するゲートについてのみトランジスタレベルの詳
細な回路シミュレーションを行うことにより、大規模な
論理回路に対しても効率よく詳細なタイミングシミュレ
ーションを行なうことができるという効果がある。
【図面の簡単な説明】
第1図は本発明の一実施例の実行順に各手段を示したブ
ロック図、第2図は本発明を適用する論理回路の一例の
ゲートレベルの回路図、第3図は入力パタンとゲートレ
ベルのシミュレータ5ン結果を示す図、第4図はトラン
ジスタレベルに展開した回路図、第5図はタイミングシ
ミュレーション結果を示す図である。 1・・・ゲートレベルシミュレーション手段、2・・・
変化ゲート抽出手段、3・・・ゲート展開手段、4・・
・回路レベルシミュレーション手段、10・・・ゲート
レベル論理回路、11・・・テストパタン、12・・・
変化ゲート、13・・・トランジスタレベル論理回路、
14・・・シミュレーション結果。

Claims (1)

    【特許請求の範囲】
  1. ゲートレベルの論理回路情報およびその論理回路のテス
    トパタンを入力し、その回路動作をシミュレーションす
    るゲートレベルシミュレーション手段と、そのゲートレ
    ベルのシミュレーション結果により回路動作のタイミン
    グを詳細に知る必要のあるパタンにおいて変化したゲー
    トを求める変化ゲート抽出手段と、その変化したゲート
    のみをトランジスタレベルまで展開するゲート展開手段
    と、その展開されたトランジスタレベルの論理回路に対
    して回路レベルのシミュレーションを行う回路レベルシ
    ミュレーション手段とを含むことを特徴とする論理回路
    のタイミングシミュレーション方式。
JP2057016A 1990-03-07 1990-03-07 論理回路のタイミングシミュレーション方式 Pending JPH03257586A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2057016A JPH03257586A (ja) 1990-03-07 1990-03-07 論理回路のタイミングシミュレーション方式

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2057016A JPH03257586A (ja) 1990-03-07 1990-03-07 論理回路のタイミングシミュレーション方式

Publications (1)

Publication Number Publication Date
JPH03257586A true JPH03257586A (ja) 1991-11-18

Family

ID=13043640

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2057016A Pending JPH03257586A (ja) 1990-03-07 1990-03-07 論理回路のタイミングシミュレーション方式

Country Status (1)

Country Link
JP (1) JPH03257586A (ja)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002041595A (ja) * 2000-07-27 2002-02-08 Mitsubishi Electric Corp バックアノテーション装置およびその方法
JP2010113723A (ja) * 2009-12-04 2010-05-20 Renesas Technology Corp バックアノテーション装置

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002041595A (ja) * 2000-07-27 2002-02-08 Mitsubishi Electric Corp バックアノテーション装置およびその方法
US6965853B2 (en) 2000-07-27 2005-11-15 Renesas Technology Corp. Back annotation apparatus for carrying out a simulation based on the extraction result in regard to parasitic elements
JP4493173B2 (ja) * 2000-07-27 2010-06-30 株式会社ルネサステクノロジ バックアノテーション方法
JP2010113723A (ja) * 2009-12-04 2010-05-20 Renesas Technology Corp バックアノテーション装置

Similar Documents

Publication Publication Date Title
US6061283A (en) Semiconductor integrated circuit evaluation system
US6185723B1 (en) Method for performing timing analysis of a clock-shaping circuit
CN110716537B (zh) 一种仿真测试方法和装置
JPH07200642A (ja) 半導体集積回路の遅延時間計算装置
US8306802B2 (en) Method for modeling an HDL design using symbolic simulation
US6847927B2 (en) Efficient array tracing in a logic simulator machine
US20120166168A1 (en) Methods and systems for fault-tolerant power analysis
CN107844678B (zh) 包含IP/Memory时序路径的spice仿真方法
KR100506769B1 (ko) 고속 테스트 패턴 평가 장치
Balakrishnan et al. A framework for performance analysis of parallel discrete event simulators
JPH03257586A (ja) 論理回路のタイミングシミュレーション方式
US7051301B2 (en) System and method for building a test case including a summary of instructions
CN114282464A (zh) 芯片仿真验证中的协同仿真方法及应用
US6829572B2 (en) Method and system for efficiently overriding array net values in a logic simulator machine
Peterson Predicting the performance of SoC verification technologies
JP4985211B2 (ja) 論理回路のシミュレーション
JP2923893B1 (ja) ハードウェア論理シミュレーション装置
JP2002041595A (ja) バックアノテーション装置およびその方法
Taylor Tools and techniques for converting simulation models into test patterns
JPH11213021A (ja) シミュレーションモデル生成方法及び装置
ROY CHOWDHURY et al. Modelling and simulation of combinational digital circuits using Petri nets
JP4334278B2 (ja) シーケンシャルシステムを分析する方法及びプログラム
Jemai et al. Embedded architectural simulation within behavioral synthesis environment
Lin et al. A Dynamic Expansion Order Algorithm for the SAT-based Minimization
JPH09259170A (ja) 集積回路用セルの波形情報ライブラリ作成装置