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
Links
- 238000004088 simulation Methods 0.000 title claims abstract description 42
- 238000000034 method Methods 0.000 claims description 9
- 238000004458 analytical method Methods 0.000 abstract description 4
- 238000000605 extraction Methods 0.000 abstract description 4
- 238000010586 diagram Methods 0.000 description 8
- 230000001934 delay Effects 0.000 description 2
- 241000270730 Alligator mississippiensis Species 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 230000002123 temporal effect Effects 0.000 description 1
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、論理回路のシミュレーション方式に関し、特
に、回路の動作を詳細に解析するタイミングシミュレー
ション方式に関する。
に、回路の動作を詳細に解析するタイミングシミュレー
ション方式に関する。
従来、小規模の論理回路に対しては、回路全体をトラン
ジスタレベルに展開し、回路レベルシミュレータを用い
て、詳細なタイミングシミュレーションを行なっていた
。
ジスタレベルに展開し、回路レベルシミュレータを用い
て、詳細なタイミングシミュレーションを行なっていた
。
また、大規模な論理回路に対しては、素子デイレイや配
線デイレイをゲートレベルでモデル化し、ゲートレベル
のシミュレータを用いてタイミングシミュレーションを
行なっていた。
線デイレイをゲートレベルでモデル化し、ゲートレベル
のシミュレータを用いてタイミングシミュレーションを
行なっていた。
上述した、従来のタイミングシミュレーション方式のう
ち、論理回路全体をトランジスタレベルに展開して回路
シミュレーションを用いてシミュレーションする方法で
は、大規模な回路に対して、計算時間が膨大になり実用
的でない。
ち、論理回路全体をトランジスタレベルに展開して回路
シミュレーションを用いてシミュレーションする方法で
は、大規模な回路に対して、計算時間が膨大になり実用
的でない。
また、デイレイをゲートレベルでモデル化してゲートレ
ベルでシミュレーションする方法では、電圧レベルの時
間的変化といった詳細なタイミングシミュレーションが
できないという問題がある。たとえば、EBテスタにお
いて、回路内部の信号変化を観測するとき、その信号変
化の期待値を求めるには不十分である。
ベルでシミュレーションする方法では、電圧レベルの時
間的変化といった詳細なタイミングシミュレーションが
できないという問題がある。たとえば、EBテスタにお
いて、回路内部の信号変化を観測するとき、その信号変
化の期待値を求めるには不十分である。
本発明の論理回路のタイミングシミュレーション方式の
楕或は、ゲートレベルの論理回路情報およびその論理回
路のテストパタンを入力し、その回路動作をシミュレー
ションするゲータレベルシミュレーション手段と、その
ゲートレベルのシミュレーション結果により回路動作の
タイミングを詳細に知る必要のあるパタンにおいて変化
したゲートを求める変化ゲート抽出手段と、その変化し
たゲートのみをトランジスタレベルまで展開するゲート
展開手段と、その展開されたトランジスタレベルの論理
回路に対して回路レベルのシミュレーションを行う回路
レベルシミュレーション手段とを含むことを特徴とする
。
楕或は、ゲートレベルの論理回路情報およびその論理回
路のテストパタンを入力し、その回路動作をシミュレー
ションするゲータレベルシミュレーション手段と、その
ゲートレベルのシミュレーション結果により回路動作の
タイミングを詳細に知る必要のあるパタンにおいて変化
したゲートを求める変化ゲート抽出手段と、その変化し
たゲートのみをトランジスタレベルまで展開するゲート
展開手段と、その展開されたトランジスタレベルの論理
回路に対して回路レベルのシミュレーションを行う回路
レベルシミュレーション手段とを含むことを特徴とする
。
次に、本発明について図面を参照して説明する。
第1図は本発明の一実施例の実行順に各手段を表わした
ブロック図である。
ブロック図である。
この図において、本発明の論理回路のタイミングシミュ
レーション方式では、まずゲートレベル論理回路10と
テストパタン11を入力して、ゲートレベルシミュレー
ション手段1により回路動作をゲートレベルでシミュレ
ーションする。
レーション方式では、まずゲートレベル論理回路10と
テストパタン11を入力して、ゲートレベルシミュレー
ション手段1により回路動作をゲートレベルでシミュレ
ーションする。
次に、変化ゲート抽出手段2により出力信号値の変化し
たゲート12を求める。このとき、全テストパタンにつ
いて求めるのではなく、詳細にタイミング解析を行う必
要のあるパタンについてのみ変化したゲートを求める。
たゲート12を求める。このとき、全テストパタンにつ
いて求めるのではなく、詳細にタイミング解析を行う必
要のあるパタンについてのみ変化したゲートを求める。
ここで抽出された変化ゲート12について、ゲート展開
手段3によりゲートをトランジスタレベルの回路13に
展開する。
手段3によりゲートをトランジスタレベルの回路13に
展開する。
最後に、トランジスタレベルの論理回路13とテストパ
タン11を入力して回路レベルシミュレーション手段4
により詳細にタイミングシミュレーションを行い、シミ
ュレーション結果14を表示する。
タン11を入力して回路レベルシミュレーション手段4
により詳細にタイミングシミュレーションを行い、シミ
ュレーション結果14を表示する。
第2図は本発明を適用する論理回路の一例のゲートレベ
ルの回路図、第3図はこの回路に対するテストパタンの
一例とその人力パタンに対するゲートレベルのシミュレ
ーション結果である。これらを用いて、本発明のタイミ
ングシミュレーション方式について具体的に説明する。
ルの回路図、第3図はこの回路に対するテストパタンの
一例とその人力パタンに対するゲートレベルのシミュレ
ーション結果である。これらを用いて、本発明のタイミ
ングシミュレーション方式について具体的に説明する。
今、第3図のパタン番号P3のパタンに対して詳細にタ
イミング解析を行う必要があるとする。
イミング解析を行う必要があるとする。
ゲートレベルのシミュレーション結果から、パタン番号
P3のパタンにおいて変化したゲートはG5、G7だけ
であることがわかり、これが変化ゲート抽出手段2によ
り抽出される。
P3のパタンにおいて変化したゲートはG5、G7だけ
であることがわかり、これが変化ゲート抽出手段2によ
り抽出される。
第1図のゲート展開手段3では、このゲートG5と07
だけをトランジスタレベルの回路に展開する。
だけをトランジスタレベルの回路に展開する。
第4図は展開後の回路図であり、このとき、変化してい
ないゲートは回路から除かれている。たとえば、ゲート
G7の入力の一方のF2は第2図のブリッププロップF
/Fからの信号であるが、第3図のパタン番号P3にお
いては“1′で変化していないため、1′にクランプし
ている信号として扱われる。 こうして作成されたトラ
ンジスタレベルの回路に対して、第1図の回路レベルシ
ミュレーション手段4を用いて詳細にタイミング解析を
行う、その結果、第5図に示すようなシミュレーション
結果が得られる。
ないゲートは回路から除かれている。たとえば、ゲート
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・・・シミュレーション結果。
ロック図、第2図は本発明を適用する論理回路の一例の
ゲートレベルの回路図、第3図は入力パタンとゲートレ
ベルのシミュレータ5ン結果を示す図、第4図はトラン
ジスタレベルに展開した回路図、第5図はタイミングシ
ミュレーション結果を示す図である。 1・・・ゲートレベルシミュレーション手段、2・・・
変化ゲート抽出手段、3・・・ゲート展開手段、4・・
・回路レベルシミュレーション手段、10・・・ゲート
レベル論理回路、11・・・テストパタン、12・・・
変化ゲート、13・・・トランジスタレベル論理回路、
14・・・シミュレーション結果。
Claims (1)
- ゲートレベルの論理回路情報およびその論理回路のテス
トパタンを入力し、その回路動作をシミュレーションす
るゲートレベルシミュレーション手段と、そのゲートレ
ベルのシミュレーション結果により回路動作のタイミン
グを詳細に知る必要のあるパタンにおいて変化したゲー
トを求める変化ゲート抽出手段と、その変化したゲート
のみをトランジスタレベルまで展開するゲート展開手段
と、その展開されたトランジスタレベルの論理回路に対
して回路レベルのシミュレーションを行う回路レベルシ
ミュレーション手段とを含むことを特徴とする論理回路
のタイミングシミュレーション方式。
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)
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 | バックアノテーション装置 |
-
1990
- 1990-03-07 JP JP2057016A patent/JPH03257586A/ja active Pending
Cited By (4)
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) | 集積回路用セルの波形情報ライブラリ作成装置 |