JPH03174662A - 機能シミュレーション方法 - Google Patents
機能シミュレーション方法Info
- Publication number
- JPH03174662A JPH03174662A JP1313826A JP31382689A JPH03174662A JP H03174662 A JPH03174662 A JP H03174662A JP 1313826 A JP1313826 A JP 1313826A JP 31382689 A JP31382689 A JP 31382689A JP H03174662 A JPH03174662 A JP H03174662A
- Authority
- JP
- Japan
- Prior art keywords
- value
- signal value
- flag
- storage means
- functional
- 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
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
この発明は、論理装置の設計において、設計された論理
装置の動作検証を行う機能シミュレーション方法に関す
るものである。
装置の動作検証を行う機能シミュレーション方法に関す
るものである。
近年、大規模化・複雑化する論理装置、特にl5S1な
どを効率的に開発するために、レジスフ転送レヘルて機
能設計を行い、機能ソミュレーションによって早期検証
することが必要となっている。
どを効率的に開発するために、レジスフ転送レヘルて機
能設計を行い、機能ソミュレーションによって早期検証
することが必要となっている。
この機能シミュレーションは、システムレヘルの大規模
なン呉ニレ−ジョンとなるため、高速の処理か求められ
る。レジスタ転送レヘルの機能設計では、論理装置を構
成する機能素子として、レジスタ、ランチ、ハス、加算
器などを用いる。これらを検証する機能シミュレーショ
ンでは、機能素子単位でその出力信号値の時刻変化を計
算し、論理装置の動作を模擬する。このとき、レジスタ
、ランチ、ハス、加算器などの機能素子は、素子毎に異
なる1以上のビット幅をも・つ。
なン呉ニレ−ジョンとなるため、高速の処理か求められ
る。レジスタ転送レヘルの機能設計では、論理装置を構
成する機能素子として、レジスタ、ランチ、ハス、加算
器などを用いる。これらを検証する機能シミュレーショ
ンでは、機能素子単位でその出力信号値の時刻変化を計
算し、論理装置の動作を模擬する。このとき、レジスタ
、ランチ、ハス、加算器などの機能素子は、素子毎に異
なる1以上のビット幅をも・つ。
従来の機能シミュレーション方法では、機能素子単位で
評価を行うが、その信号値はヒフ)単位て記憶していた
。
評価を行うが、その信号値はヒフ)単位て記憶していた
。
上記のような従来の機能シミニレ−ジョン方法では、常
に1ビツトずつ信号値を処理するため、ビット幅の広い
機能素子を評価する場合に入力信号値の読み出しや、出
力信号値の書き込みに要する処理時間が増大する。
に1ビツトずつ信号値を処理するため、ビット幅の広い
機能素子を評価する場合に入力信号値の読み出しや、出
力信号値の書き込みに要する処理時間が増大する。
特に、信号の全ピッ1−が同一の信号値をもつ場合に1
ピント単位で信号値を処理することの無駄が大きい。例
えば、ランチのイネーブル信号値が不定値の場合やレジ
スタのクロック信号値が不定値の場合などに、出力信号
値をすべて不定値にするために1ビツトずつ記憶された
信号値の更新を行い、これを参照する場合にも1ヒツト
ずつ読み出すという無駄な処理を行っていた。
ピント単位で信号値を処理することの無駄が大きい。例
えば、ランチのイネーブル信号値が不定値の場合やレジ
スタのクロック信号値が不定値の場合などに、出力信号
値をすべて不定値にするために1ビツトずつ記憶された
信号値の更新を行い、これを参照する場合にも1ヒツト
ずつ読み出すという無駄な処理を行っていた。
また、ハスに接続される機能素子の出力かハイ・fンピ
〜ダンス値をとる場合や、レジスタがプリセソ1−およ
びリセットされる場合にも、同様にすべで】ヒント単位
で処理を行っていた。
〜ダンス値をとる場合や、レジスタがプリセソ1−およ
びリセットされる場合にも、同様にすべで】ヒント単位
で処理を行っていた。
従来の機能ソミュレーション方法は以上のような欠点を
有していた。
有していた。
したがって、この発明の1」的は、信号値の書き込めお
よび読み出しの処理を効率化して処理時間を短縮するこ
とができる機能シミュレーション方法を提供することで
ある。
よび読み出しの処理を効率化して処理時間を短縮するこ
とができる機能シミュレーション方法を提供することで
ある。
この発明の機能シミJ、レーション方法は、論理装置を
構成する機能素子の出力信号値の評価を行う機能ソ瑞ニ
レージョン方法において、被シくニレ−ジョン対象の論
理装置を構成する機能素子の入力信号値および出力信号
値を記憶する信号値記憶手段と、 前記入力信号値または出力信号値の全ビットがすべて同
一の特定値であることを示すフラグを記憶するフラグ記
憶手段とを備え、 前記フラグの設定された評価対象の機能素子の入力信号
値については、前記評価対象の機能素子の入力信号値を
前記フラグの示す特定値に設定し、この入力信号値に基
づいて出力信号値を計算し、前記フラグの設定されてい
ない評価対象の機能素子の入力信号値については、前記
評価対象の機能素子の入力信号値として前記信号値記憶
手段に記憶されている信号値を読み出して設定し、この
入力信号値に基づいて出力信号値を計算し、計算された
出力信号値の全ビットがすべて同一の特定値の場合には
、前記フラグ記憶手段ムここれを示ずフラグを設定し、 すへて同一値でない場合には、前記信号値記憶手段に前
記出力信号値の各ビット毎の書き込みを行うことを特徴
とする。
構成する機能素子の出力信号値の評価を行う機能ソ瑞ニ
レージョン方法において、被シくニレ−ジョン対象の論
理装置を構成する機能素子の入力信号値および出力信号
値を記憶する信号値記憶手段と、 前記入力信号値または出力信号値の全ビットがすべて同
一の特定値であることを示すフラグを記憶するフラグ記
憶手段とを備え、 前記フラグの設定された評価対象の機能素子の入力信号
値については、前記評価対象の機能素子の入力信号値を
前記フラグの示す特定値に設定し、この入力信号値に基
づいて出力信号値を計算し、前記フラグの設定されてい
ない評価対象の機能素子の入力信号値については、前記
評価対象の機能素子の入力信号値として前記信号値記憶
手段に記憶されている信号値を読み出して設定し、この
入力信号値に基づいて出力信号値を計算し、計算された
出力信号値の全ビットがすべて同一の特定値の場合には
、前記フラグ記憶手段ムここれを示ずフラグを設定し、 すへて同一値でない場合には、前記信号値記憶手段に前
記出力信号値の各ビット毎の書き込みを行うことを特徴
とする。
この発明の構成によれば、信号値記憶手段に書き込むべ
き一定ビット数の信号値がすべて同一信号値、例えば不
定値、ハイインピーダンス値、1あるいは0なとの値と
なる場合には、1ヒツトずつ書き込みを行う必要がなく
、単にフラグ記憶手段にフラグの設定を行うだけでよい
。
き一定ビット数の信号値がすべて同一信号値、例えば不
定値、ハイインピーダンス値、1あるいは0なとの値と
なる場合には、1ヒツトずつ書き込みを行う必要がなく
、単にフラグ記憶手段にフラグの設定を行うだけでよい
。
また、入力信号値として、一定ビツトの信号値が読み出
される場合にも、信号値がすべて同一の不定値、ハイイ
ンピーダンス値、1あるいは0であれば、フラグ記憶手
段におりるフラグの設定のみを判定し、1ヒツトずつ信
号値記憶手段から読み出す必要がない。これによって、
高速に機能シごニレ−ジョンを実行することが可能とな
る。
される場合にも、信号値がすべて同一の不定値、ハイイ
ンピーダンス値、1あるいは0であれば、フラグ記憶手
段におりるフラグの設定のみを判定し、1ヒツトずつ信
号値記憶手段から読み出す必要がない。これによって、
高速に機能シごニレ−ジョンを実行することが可能とな
る。
以下、この発明の実施例を図面を参照しながら説明する
。
。
第1図はこの発明の機能シミュレーション方法を用いる
機能シミュレータの構成国である。第2図は、第1図の
機能ンミュレータを構成するフ、・グ記憶手段に記憶さ
れるフラグを示す図である。
機能シミュレータの構成国である。第2図は、第1図の
機能ンミュレータを構成するフ、・グ記憶手段に記憶さ
れるフラグを示す図である。
第3図は、機能シミュレーションにおいて、機能素子の
出力信号値の評価を行う処理の流れを示す流れ図である
。第4図は、第3図のステップS3における機能素子の
入力信号値を読み出す処理の詳細な流れを示す流れ図で
ある。第5図は、第3図のステップS5の機能素子の評
価結果の出力信号値を記憶させる処理の詳細な流れを示
す流れ図である。
出力信号値の評価を行う処理の流れを示す流れ図である
。第4図は、第3図のステップS3における機能素子の
入力信号値を読み出す処理の詳細な流れを示す流れ図で
ある。第5図は、第3図のステップS5の機能素子の評
価結果の出力信号値を記憶させる処理の詳細な流れを示
す流れ図である。
初めに、この実施例の機能シミュレータの構成について
、第1図および第2図を用いて説明する。
、第1図および第2図を用いて説明する。
第1図において、1はシξニレージョン上の時間の進行
、評価する機能素子の選択、信号変化の遅延に基づき機
能素子の評価タイミングの制御などを行うシミュレーシ
ョン制御手段である。−船釣なイヘント駆動方式による
場合には、シS j−レション制御手段1は、回路の構
造を示ずネットリスト 行う。
、評価する機能素子の選択、信号変化の遅延に基づき機
能素子の評価タイミングの制御などを行うシミュレーシ
ョン制御手段である。−船釣なイヘント駆動方式による
場合には、シS j−レション制御手段1は、回路の構
造を示ずネットリスト 行う。
2はシミュレーション制御手段1で選択された機能素子
に関して順次評価を行う機能素子評価手段である。
に関して順次評価を行う機能素子評価手段である。
3は機能素子評価手段2において評価される各機能素子
の人力となる信号の名前とその参照するビット、出力と
なる信号の名前とそのビットに関する情報と機能素子の
評価を実行する評価プログラムのコートを記憶する評価
素子情報記憶手段である。評価プログラムは、入出力信
号の各々に対応した引数をもち、入力信号に対応した引
数の値を機能素子の入力信号値として評価を実行し、評
価結果を出力信号に対応し7た引数に返す。
の人力となる信号の名前とその参照するビット、出力と
なる信号の名前とそのビットに関する情報と機能素子の
評価を実行する評価プログラムのコートを記憶する評価
素子情報記憶手段である。評価プログラムは、入出力信
号の各々に対応した引数をもち、入力信号に対応した引
数の値を機能素子の入力信号値として評価を実行し、評
価結果を出力信号に対応し7た引数に返す。
4は模擬される回路内の各入力信号値および出力信号値
を記憶する信号値記憶手段である。信号値記憶手段4に
は、回路中の各信号の現在の値と一定の遅延時間の経過
後に変化する更新値が記憶される。現在値から更新値へ
の変更はシミュレーション制御手段1によって行う。例
えば、イ・\ンI〜駆動方式による場合には、クイl、
ホイール−にに信号値更新のためのイヘンI−をスケジ
ュールすることによって行う。
を記憶する信号値記憶手段である。信号値記憶手段4に
は、回路中の各信号の現在の値と一定の遅延時間の経過
後に変化する更新値が記憶される。現在値から更新値へ
の変更はシミュレーション制御手段1によって行う。例
えば、イ・\ンI〜駆動方式による場合には、クイl、
ホイール−にに信号値更新のためのイヘンI−をスケジ
ュールすることによって行う。
5は、機能素子の入力あるいは出力となる信号の名前と
各信号値毎にそのピノI・数とその信号値の全ビットが
現在不定値であることを示ずX現在フラグ、一定の遅延
時間の経過後その信号値の全ヒソI・が不定値となるこ
とを示すX更新フラグ、その信号値の全ビットが現在ハ
イインピーダンス値であることを示ずX現在フラグ、一
定の遅延時間の経過の後その信号値の全ピノ1〜がハイ
インピダンス値となることを示ずX更新フラグ、その信
号値の全ピッ1−が現在1であることを示ずl現在フラ
グ、一定の遅延時間の経過の後その信号値の全ビットが
1となることを示す1更新フラグ、その信号値の全ピッ
I・が現在0であることを示ず0現在フラグ、一定の遅
延時間の経過の後その信号値の全ビットがOとなること
を示ずO更新フラグを記憶するフラグ記憶手段である。
各信号値毎にそのピノI・数とその信号値の全ビットが
現在不定値であることを示ずX現在フラグ、一定の遅延
時間の経過後その信号値の全ヒソI・が不定値となるこ
とを示すX更新フラグ、その信号値の全ビットが現在ハ
イインピーダンス値であることを示ずX現在フラグ、一
定の遅延時間の経過の後その信号値の全ピノ1〜がハイ
インピダンス値となることを示ずX更新フラグ、その信
号値の全ピッ1−が現在1であることを示ずl現在フラ
グ、一定の遅延時間の経過の後その信号値の全ビットが
1となることを示す1更新フラグ、その信号値の全ピッ
I・が現在0であることを示ず0現在フラグ、一定の遅
延時間の経過の後その信号値の全ビットがOとなること
を示ずO更新フラグを記憶するフラグ記憶手段である。
第2図は、」−記の第1図のフラグ記憶手段4に信号名
と対応して記1意されるフラグを示したものである。各
フラグは、信号名および信号のビット幅と対応付けて記
憶される。X現在フラグ、X現在フラグ、1現在フラグ
および0現在フラグは、当該の信号の現在の状態を示し
、X更新フラグX更新フラグ、1更新フラグおよびO更
新フラグは、一定の遅延時間の経過後の当該信号の状態
を示す。
と対応して記1意されるフラグを示したものである。各
フラグは、信号名および信号のビット幅と対応付けて記
憶される。X現在フラグ、X現在フラグ、1現在フラグ
および0現在フラグは、当該の信号の現在の状態を示し
、X更新フラグX更新フラグ、1更新フラグおよびO更
新フラグは、一定の遅延時間の経過後の当該信号の状態
を示す。
以上の更新フラグから現在フラグへの変更は、シミュレ
ーション制御手段1によって行う。例えば、イヘント駆
動方式による場合には、タイムホイール上にフラグ更新
のためのイーベントをスケジュールすることによって行
う。
ーション制御手段1によって行う。例えば、イヘント駆
動方式による場合には、タイムホイール上にフラグ更新
のためのイーベントをスケジュールすることによって行
う。
つぎに、この実施例゛の機能素子を評価する機能素子評
価手段2の処理の流れを第3図,第4図および第5図を
用いて説明する。
価手段2の処理の流れを第3図,第4図および第5図を
用いて説明する。
機能素子評価手段2では、まずシミュレーション制御手
段1から評価ずべき機能素子名を得る(ステップSl)
。
段1から評価ずべき機能素子名を得る(ステップSl)
。
機能素子名が与えられると、評価素子情報記憶手段3か
ら与えられた機能素子の入出力信号名、各信号のヒツト
、および計価ブI:Iグラムコードを読み出ず(ステ、
プS2)。
ら与えられた機能素子の入出力信号名、各信号のヒツト
、および計価ブI:Iグラムコードを読み出ず(ステ、
プS2)。
つぎに、信号値記憶手段4とフラグ記1σ丁段5とを用
いて前記評価プログラムの各入力信号に対応した引数の
値を設定する(ステップS3)。
いて前記評価プログラムの各入力信号に対応した引数の
値を設定する(ステップS3)。
ステップS3の処理の詳細な流れを第4図を用いて説明
する。まず、フラグ記憶手段5から評価する機能素子の
各入力信号のX現在フラグ、X現在フラグ、1現在フラ
グおよび0現在フラグの値を得る(ステップ531)。
する。まず、フラグ記憶手段5から評価する機能素子の
各入力信号のX現在フラグ、X現在フラグ、1現在フラ
グおよび0現在フラグの値を得る(ステップ531)。
X現在フラグが真の場合は、入力信号に対応する評価プ
ログラムの引数値を不定値にする(ステップ532)。
ログラムの引数値を不定値にする(ステップ532)。
X現在フラグが偽の場合において、X現在フラグが真の
場合には、入力信号に対応する評価プログラムの引数値
をハイインピーダンス値にする(ステップ533)。X
現在フラグが偽の場合において、1現在フラグが真の場
合には、入力信号に対応する評価プログラムの引数値を
1にする(ステップ534)。
場合には、入力信号に対応する評価プログラムの引数値
をハイインピーダンス値にする(ステップ533)。X
現在フラグが偽の場合において、1現在フラグが真の場
合には、入力信号に対応する評価プログラムの引数値を
1にする(ステップ534)。
1現在フラグが偽の場合において、0現在フラグが真の
場合には、入力信号に対応する評価プログラムの引数値
を0にする(ステップ535)。すべてのフラグが偽の
場合には、信号値記憶手段4から入力信号の各ビ・ノド
の値を1ビット単位で読み1 出し、評価プログラムの引数値を設定する(ステップ3
36)。以」二で第3図のステップS3の説明を終わる
。
場合には、入力信号に対応する評価プログラムの引数値
を0にする(ステップ535)。すべてのフラグが偽の
場合には、信号値記憶手段4から入力信号の各ビ・ノド
の値を1ビット単位で読み1 出し、評価プログラムの引数値を設定する(ステップ3
36)。以」二で第3図のステップS3の説明を終わる
。
つぎに、第3図のステップS4からの説明を行う。ステ
ップS3で引数イ直の設定を行った評価プログラムを実
行する(ステップS4.)。なお、評価プログラムは、
レジスタのリセ/I・状態やトライステート素子のオフ
状態のように出力信号値が一定の値をもつことを判定て
きる場合には、これを示すフラグを返すことにより以降
の処理を効率的に実行することができる。
ップS3で引数イ直の設定を行った評価プログラムを実
行する(ステップS4.)。なお、評価プログラムは、
レジスタのリセ/I・状態やトライステート素子のオフ
状態のように出力信号値が一定の値をもつことを判定て
きる場合には、これを示すフラグを返すことにより以降
の処理を効率的に実行することができる。
つぎに、評価プログラム実行により得られる機能素子の
新たな出力信号値に基ついて、フラグ記憶手段5のフラ
グの設定あるいは信号値記憶手段4の信号値の設定を行
う (ステップS5)。ステップS5の処理の詳細な流
れを第5図を用いて説明する。
新たな出力信号値に基ついて、フラグ記憶手段5のフラ
グの設定あるいは信号値記憶手段4の信号値の設定を行
う (ステップS5)。ステップS5の処理の詳細な流
れを第5図を用いて説明する。
まず、評価プログラムの実行後退される出力信号に対応
する各引数値が、すべてのビットが同一の不定値か、ハ
イインピーダンス値、1,0のい2 すれかであるか、ピント単位で異なる値をもつかを判定
する(ステップ551)。全ビットが同一の値をもつ場
合には、フラグ記憶手段5の対応する信号のビット幅と
比較し、引数の返すビット幅と当該信号のフラグ記憶手
段5に登録されるビット幅が一致するか否かを判定する
(ステップ552)。
する各引数値が、すべてのビットが同一の不定値か、ハ
イインピーダンス値、1,0のい2 すれかであるか、ピント単位で異なる値をもつかを判定
する(ステップ551)。全ビットが同一の値をもつ場
合には、フラグ記憶手段5の対応する信号のビット幅と
比較し、引数の返すビット幅と当該信号のフラグ記憶手
段5に登録されるビット幅が一致するか否かを判定する
(ステップ552)。
ビット幅が一致する場合には、評価結果の引数値に応し
てX更新フラグ、X更新フラグ、1更新フラグおよび0
更新フラグのいずれかを真に設定する(ステップ553
)。評価結果の引数値がビット単位で異なる値をもつか
、引数の返すビット幅と当該信号のフラグ記憶手段5に
登録されるピント幅が一致しない場合には、評価結果の
引数値をビット単位で信号値記憶手段4に当該信号の更
新値として書き込む(ステップ554)。以上で第3図
のステップS5の説明を終わる。
てX更新フラグ、X更新フラグ、1更新フラグおよび0
更新フラグのいずれかを真に設定する(ステップ553
)。評価結果の引数値がビット単位で異なる値をもつか
、引数の返すビット幅と当該信号のフラグ記憶手段5に
登録されるピント幅が一致しない場合には、評価結果の
引数値をビット単位で信号値記憶手段4に当該信号の更
新値として書き込む(ステップ554)。以上で第3図
のステップS5の説明を終わる。
つぎに第3図のステップS6の説明を行う。機能素子評
価の最後の処理としてシミュレーション制御に必要な情
報をシミュレーション制御手段1に返す(ステップS6
)。例えば、イヘ71・駆動方式による場合には、イヘ
ントをスケジュールするために必要な信号変化の有無の
判定結果などの情報を返す。
価の最後の処理としてシミュレーション制御に必要な情
報をシミュレーション制御手段1に返す(ステップS6
)。例えば、イヘ71・駆動方式による場合には、イヘ
ントをスケジュールするために必要な信号変化の有無の
判定結果などの情報を返す。
なお、以上はフラグの示す信号値が不定値、ハイインピ
ーダンス値、1,0の各場合について実施例を述べたが
、フラグが信号値とその信号強度を示すことも可能であ
る。
ーダンス値、1,0の各場合について実施例を述べたが
、フラグが信号値とその信号強度を示すことも可能であ
る。
この機能シミュレーション方法によれば、信号値記憶手
段4に設定ずべき一定ビソI−数の信号値がすべて同一
信号値、例えば不定値、ハイインピーダンス値、1ある
いはOなどの値にとなった場合に、信号値記憶手段4に
対して1ヒツトずつ書き込みを行う必要はなく、単にフ
ラグ記憶手段5に対してフラグの設定を行うだけでよい
。また、入力信号値として一定ビット数の信号値を読み
出す場合にも、信号値がすべて同一の不定値、ハイイン
ピーダンス値、■、あるいは0であれば、フラグの設定
のみを判定し、信号値記憶手段4から信号値を1ビツト
ずつ読み出す必要がない。例えば、回路中のレジスタか
すべてリセy l□されるン実ニレ−ジョンなどでは、
各レンスタのビット幅に関係なく、レジスタ数だけ一定
のフラグ操作を行うだけでよい。
段4に設定ずべき一定ビソI−数の信号値がすべて同一
信号値、例えば不定値、ハイインピーダンス値、1ある
いはOなどの値にとなった場合に、信号値記憶手段4に
対して1ヒツトずつ書き込みを行う必要はなく、単にフ
ラグ記憶手段5に対してフラグの設定を行うだけでよい
。また、入力信号値として一定ビット数の信号値を読み
出す場合にも、信号値がすべて同一の不定値、ハイイン
ピーダンス値、■、あるいは0であれば、フラグの設定
のみを判定し、信号値記憶手段4から信号値を1ビツト
ずつ読み出す必要がない。例えば、回路中のレジスタか
すべてリセy l□されるン実ニレ−ジョンなどでは、
各レンスタのビット幅に関係なく、レジスタ数だけ一定
のフラグ操作を行うだけでよい。
このように回路規模の増大に伴い機能素子のビット幅か
大きくなった場合にも、従来のシ案ニレージョン方法に
比べ高速に機能シミュレーションを実行することが可能
となる。
大きくなった場合にも、従来のシ案ニレージョン方法に
比べ高速に機能シミュレーションを実行することが可能
となる。
なお、多入力ゲートを用いて構成される回路のシコユレ
ーションなど、機能シミュレーションに限らず論理シミ
ュレーションにおいても、この発明を適用することによ
り、上記と同様の効果が得られる。
ーションなど、機能シミュレーションに限らず論理シミ
ュレーションにおいても、この発明を適用することによ
り、上記と同様の効果が得られる。
この発明の機能シミュレーション方法によれば、信号値
記憶手段に設定すべき一定ビット数の信号値がすべて同
一信号値、例えば不定値、ハイインピーダンス値、1あ
るいは0などの値にとなった場合に、信号値記憶手段に
対して1ビツトずつ書き込みを行う必要はなく、単にフ
ラグ記憶手段に対してフラグの設定を行うだけでよい。
記憶手段に設定すべき一定ビット数の信号値がすべて同
一信号値、例えば不定値、ハイインピーダンス値、1あ
るいは0などの値にとなった場合に、信号値記憶手段に
対して1ビツトずつ書き込みを行う必要はなく、単にフ
ラグ記憶手段に対してフラグの設定を行うだけでよい。
また、入5
力信号値として一定ビソ1〜数の信号値を読み出す場合
にも、信号値がすべて同一の不定値、ハイインピーダン
ス値、■、あるいはOであれば、フラグの設定のみを判
定し、信号値記憶手段から信号値を1ビ・ノドずつ読み
出す必要がない。
にも、信号値がすべて同一の不定値、ハイインピーダン
ス値、■、あるいはOであれば、フラグの設定のみを判
定し、信号値記憶手段から信号値を1ビ・ノドずつ読み
出す必要がない。
このように回路規模の増大に伴い機能素子のビット幅が
大きくなった場合にも、従来のシ2ニレージョン方法に
比べ高速に機能シミュレーションを実行することが可能
となる。
大きくなった場合にも、従来のシ2ニレージョン方法に
比べ高速に機能シミュレーションを実行することが可能
となる。
第1図はこの発明の一実施例の機能シ短ニレージョン方
法を用いる機能シ旦エレータの構成を示すブロック図、
第2図は第1図におけるフラグ記憶手段に記憶されるフ
ラグを示す図、第3図は機能シミュレーションにおいて
単位となる機能素子の出力信号値の評価を行う処理の流
れを示す流れ図、第4図は第3図のステップS3の機能
素子の入力信号値を読み出す処理の詳細な流れを示す流
れ図、第5図は第3図のステップS5の機能素子の評価
結果の出力信号値を記憶させる処理の詳細6 な流れを示す流れ図である。 1・・・シミュレーション制御手段、2・・・機能素子
評価手段、3・・・評価素子情報記憶手段、4・・・信
号値記憶手段、5・・・フラグ記憶手段
法を用いる機能シ旦エレータの構成を示すブロック図、
第2図は第1図におけるフラグ記憶手段に記憶されるフ
ラグを示す図、第3図は機能シミュレーションにおいて
単位となる機能素子の出力信号値の評価を行う処理の流
れを示す流れ図、第4図は第3図のステップS3の機能
素子の入力信号値を読み出す処理の詳細な流れを示す流
れ図、第5図は第3図のステップS5の機能素子の評価
結果の出力信号値を記憶させる処理の詳細6 な流れを示す流れ図である。 1・・・シミュレーション制御手段、2・・・機能素子
評価手段、3・・・評価素子情報記憶手段、4・・・信
号値記憶手段、5・・・フラグ記憶手段
Claims (1)
- 【特許請求の範囲】 論理装置を構成する機能素子の出力信号値の評価を行う
機能シミュレーション方法において、被シミュレーショ
ン対象の論理装置を構成する機能素子の入力信号値およ
び出力信号値を記憶する信号値記憶手段と、 前記入力信号値または出力信号値の全ビットがすべて同
一の特定値であることを示すフラグを記憶するフラグ記
憶手段とを備え、 前記フラグの設定された評価対象の機能素子の入力信号
値については、前記評価対象の機能素子の入力信号値を
前記フラグの示す特定値に設定し、この入力信号値に基
づいて出力信号値を計算し、前記フラグの設定されてい
ない評価対象の機能素子の入力信号値については、前記
評価対象の機能素子の入力信号値として前記信号値記憶
手段に記憶されている信号値を読み出して設定し、この
入力信号値に基づいて出力信号値を計算し、計算された
出力信号値の全ビットがすべて同一の特定値の場合には
、前記フラグ記憶手段にこれを示すフラグを設定し、 すべて同一値でない場合には、前記信号値記憶手段に前
記出力信号値の各ビット毎の書き込みを行うことを特徴
とする機能シミュレーション方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1313826A JPH03174662A (ja) | 1989-12-01 | 1989-12-01 | 機能シミュレーション方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1313826A JPH03174662A (ja) | 1989-12-01 | 1989-12-01 | 機能シミュレーション方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH03174662A true JPH03174662A (ja) | 1991-07-29 |
Family
ID=18045980
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1313826A Pending JPH03174662A (ja) | 1989-12-01 | 1989-12-01 | 機能シミュレーション方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH03174662A (ja) |
-
1989
- 1989-12-01 JP JP1313826A patent/JPH03174662A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4635218A (en) | Method for simulating system operation of static and dynamic circuit devices | |
| US4787062A (en) | Glitch detection by forcing the output of a simulated logic device to an undefined state | |
| CN114239452B (zh) | 设计的功能验证方法、系统、验证用电子设备及存储介质 | |
| CN115935870B (zh) | 功耗分析方法、装置、电子设备、存储介质 | |
| US6625572B1 (en) | Cycle modeling in cycle accurate software simulators of hardware modules for software/software cross-simulation and hardware/software co-simulation | |
| US6847927B2 (en) | Efficient array tracing in a logic simulator machine | |
| JPH04233040A (ja) | コンピュータプログラム実行シミュレーションシステム | |
| JP5034916B2 (ja) | 性能評価モデル生成方法、システム性能評価方法、及び性能評価モデル生成装置 | |
| Reaz et al. | A single clock cycle MIPS RISC processor design using VHDL | |
| US7197445B1 (en) | Atomic transaction processing for logic simulation | |
| JPH0864681A (ja) | 集積回路シミュレータ及び集積回路のシミュレーション方法 | |
| US7266795B2 (en) | System and method for engine-controlled case splitting within multiple-engine based verification framework | |
| JPH03174662A (ja) | 機能シミュレーション方法 | |
| US6813751B2 (en) | Creating standard VHDL test environments | |
| US10409624B1 (en) | Data array compaction in an emulation system | |
| US7720669B2 (en) | Method, system and computer program product for register management in a simulation environment | |
| US6829572B2 (en) | Method and system for efficiently overriding array net values in a logic simulator machine | |
| CN117724912B (zh) | 芯片fpga原型验证的目标触发点确定系统 | |
| JP6473023B2 (ja) | 性能評価モジュール及びこれを組み込んだ半導体集積回路 | |
| JP2000122898A (ja) | シミュレーション方法及び装置 | |
| JPH10187790A (ja) | 論理回路シミュレータ | |
| JPS6398042A (ja) | シミユレ−シヨン方法 | |
| JP2632964B2 (ja) | 諭理装置の試験処理方式 | |
| JP2000348076A (ja) | シミュレーション方法、シミュレーション装置および記録媒体 | |
| JPH03253972A (ja) | シミュレーションエンジン |