JPH0341564A - 論理回路のシミュレーション方法 - Google Patents
論理回路のシミュレーション方法Info
- Publication number
- JPH0341564A JPH0341564A JP1177503A JP17750389A JPH0341564A JP H0341564 A JPH0341564 A JP H0341564A JP 1177503 A JP1177503 A JP 1177503A JP 17750389 A JP17750389 A JP 17750389A JP H0341564 A JPH0341564 A JP H0341564A
- Authority
- JP
- Japan
- Prior art keywords
- value
- logical value
- simulation
- undefined
- logical
- 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
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
産業上の利用分野
本発明は、論理回路のシミュレーション方法に関し、特
に、論理値としての不定値に対し無作意に論理値ｌか論
理値０に割り当てることによって、実際の論理回路の動
作を反映したシミュレーション結果を出力するような論
理回路のシ短ニレージョン方法である。
に、論理値としての不定値に対し無作意に論理値ｌか論
理値０に割り当てることによって、実際の論理回路の動
作を反映したシミュレーション結果を出力するような論
理回路のシ短ニレージョン方法である。
従来の技術
近年、論理回路のシミュレーション方法は、信号値を論
理値１、論理値Ｏ，論理値ｌか論理値０かが決定できな
い状態であるところの論理値としての不定値という３種
の論理値を基本とし、論理回路のモデルに対し論理演算
を施してシミュレーションを実行するという方法で行な
われている。
理値１、論理値Ｏ，論理値ｌか論理値０かが決定できな
い状態であるところの論理値としての不定値という３種
の論理値を基本とし、論理回路のモデルに対し論理演算
を施してシミュレーションを実行するという方法で行な
われている。
発明が解決しようとする課題
しかしながら、上記のような方法では不定値という状態
が実際の論理回路には存在しないために、また、不定値
の論理的性質によって不定値に対する論理演算の結果新
たな不定値が発生するために、シミュレーション結果が
実際の論理回路の動作を反映しないという課題を有して
いる。
が実際の論理回路には存在しないために、また、不定値
の論理的性質によって不定値に対する論理演算の結果新
たな不定値が発生するために、シミュレーション結果が
実際の論理回路の動作を反映しないという課題を有して
いる。
本発明は上記課題に鑑み、シミュレーション実行時に不
定値が発生した場合、不定値に対して無作意に論理値ｌ
か論理値０を割り当てることによって、シミュレーショ
ンが実際の論理回路の動作を反映した形で実施できる論
理回路のシミュレーション方法を提供するものである。
定値が発生した場合、不定値に対して無作意に論理値ｌ
か論理値０を割り当てることによって、シミュレーショ
ンが実際の論理回路の動作を反映した形で実施できる論
理回路のシミュレーション方法を提供するものである。
課題を解決するための手段
上記課題を解決するために本発明の論理回路のシミュレ
ーション方法は、信号の論理値として、少なくとも１．
Ｏ２不定値を扱うことのできるシミュレータを備えた論
理回路のシミュレーション方法において、シミュレーシ
ョン実行中に不定値の発生を検出する不定値検出手段と
、不定値に対して無作意に論理値ｌか論理値Ｏを割り当
てる論理値無作意割当手段とを備えたものである。
ーション方法は、信号の論理値として、少なくとも１．
Ｏ２不定値を扱うことのできるシミュレータを備えた論
理回路のシミュレーション方法において、シミュレーシ
ョン実行中に不定値の発生を検出する不定値検出手段と
、不定値に対して無作意に論理値ｌか論理値Ｏを割り当
てる論理値無作意割当手段とを備えたものである。
作用
本発明は上記した構成によって、シミュレーション実行
中にシミュレータから不定値検出手段に全ての信号線の
信号値を挿入し、不定値検出手段では挿入された信号値
の中の不定値を検出する。
中にシミュレータから不定値検出手段に全ての信号線の
信号値を挿入し、不定値検出手段では挿入された信号値
の中の不定値を検出する。
不定値検出手段によって不定値が検出された場合、シミ
ュレータはシミュレーションを一時中断する。
ュレータはシミュレーションを一時中断する。
また、不定値検出手段によって不定値が検出された場合
、論理値無作意割当手段では信号線に対し無作意に論理
値１か論理値Ｏを割り当てシミュレータに伝達する。シ
ミュレータでは、論理値無作意割当手段から論理値の割
当を受けた後割り当てられた論理値に基づいて各信号線
の状態を更新し、シミュレーションを再開することによ
って、不定値という論理値が実際の論理回路では存在せ
ず論理値Ｏか論理値ｌかに設定されているという現象に
即したシミュレーションができることとなる。
、論理値無作意割当手段では信号線に対し無作意に論理
値１か論理値Ｏを割り当てシミュレータに伝達する。シ
ミュレータでは、論理値無作意割当手段から論理値の割
当を受けた後割り当てられた論理値に基づいて各信号線
の状態を更新し、シミュレーションを再開することによ
って、不定値という論理値が実際の論理回路では存在せ
ず論理値Ｏか論理値ｌかに設定されているという現象に
即したシミュレーションができることとなる。
実施例
以下、本発明の一実施例の論理回路のシミュレーション
方法について図面を参照しながら説明する。
方法について図面を参照しながら説明する。
第１図は本発明の第１の実施例における論理回路のシミ
ュレーション方法の構成図である。第１図において、１
１は論理回路のシミュレーションを実行するシくユレー
タ、１２はシミュレータからシミュレーション実行中の
論理回路の全ての信号線の信号値を取り込み不定値を検
出し、不定値が検出された場合にシミュレータに対しシ
ミュレーションの一時中断を命令するシミュレーション
中断指令信号をオンにすることによってシミュレーショ
ンの一時中断を命令する不定値検出手段、１３は不定値
検出手段によって不定値が検出された場合、不定値が発
生した信号線に対し無作為に論理値０か論理値ｌを割り
当てシミュレータに対して送出し、その後シミュレーシ
ョン中断指令信号をオフにすることによってシミュレー
タに対しシミュレーションの再開を命令する論理値無作
為割当手段である。
ュレーション方法の構成図である。第１図において、１
１は論理回路のシミュレーションを実行するシくユレー
タ、１２はシミュレータからシミュレーション実行中の
論理回路の全ての信号線の信号値を取り込み不定値を検
出し、不定値が検出された場合にシミュレータに対しシ
ミュレーションの一時中断を命令するシミュレーション
中断指令信号をオンにすることによってシミュレーショ
ンの一時中断を命令する不定値検出手段、１３は不定値
検出手段によって不定値が検出された場合、不定値が発
生した信号線に対し無作為に論理値０か論理値ｌを割り
当てシミュレータに対して送出し、その後シミュレーシ
ョン中断指令信号をオフにすることによってシミュレー
タに対しシミュレーションの再開を命令する論理値無作
為割当手段である。
以上のように構成された論理回路のシミュレーション方
法について、以下、第１図、第２図、第３図、第４図、
第５図及び第６図を用いてその動作を説明する。
法について、以下、第１図、第２図、第３図、第４図、
第５図及び第６図を用いてその動作を説明する。
第２図はシミュレーション対象となっている論理回路の
一例である。なお、第２図において１４゜１６はフリッ
プフロップ、１５は加算図、１７は定数倍器である。図
中の信号線ＴＲＭ３．ＴＲＭ４．ＴＲＭ５．ＴＲＭ７の
全ビット不定値であるものとする。第３図は第２図に対
する不定値検出手段１２の状態を示したものである。第
４図は第３図に対する論理値無作為割当手段１３の状態
を示したものである。第５図はシミュレーション対象と
なっている論理回路の第４図に示した論理値無作為割当
手段１３に対する状態のブロック図である。第６図は論
理値無作為割当手段１３からシミュレーションの再開の
命令を受けた後のシミュレーション対象となっている論
理回路の状態のブロック図である。
一例である。なお、第２図において１４゜１６はフリッ
プフロップ、１５は加算図、１７は定数倍器である。図
中の信号線ＴＲＭ３．ＴＲＭ４．ＴＲＭ５．ＴＲＭ７の
全ビット不定値であるものとする。第３図は第２図に対
する不定値検出手段１２の状態を示したものである。第
４図は第３図に対する論理値無作為割当手段１３の状態
を示したものである。第５図はシミュレーション対象と
なっている論理回路の第４図に示した論理値無作為割当
手段１３に対する状態のブロック図である。第６図は論
理値無作為割当手段１３からシミュレーションの再開の
命令を受けた後のシミュレーション対象となっている論
理回路の状態のブロック図である。
なお、第５図、第６図において１４．１６はフリップフ
ロップ、１５は加算図、１７は定数倍器である。不定値
検出手段１２では常にシミュレーション対象となってい
る回路の全ての信号線の状態を取り込んでいるので、シ
ミュレーション実行中に第２図のような状態が発生した
場合、不定値検出手段１２は第３図に示したような状態
になり、不定値が検出されシミュレーション中断指令信
号がオンとなりシミュレータ１１の実行が一時中断され
る。
ロップ、１５は加算図、１７は定数倍器である。不定値
検出手段１２では常にシミュレーション対象となってい
る回路の全ての信号線の状態を取り込んでいるので、シ
ミュレーション実行中に第２図のような状態が発生した
場合、不定値検出手段１２は第３図に示したような状態
になり、不定値が検出されシミュレーション中断指令信
号がオンとなりシミュレータ１１の実行が一時中断され
る。
論理値無作為割当手段１３では不定値検出手段１２で不
定値が検出された場合、第４図のように不定値の発生し
た信号線に対し無作為に論理値ｌか論理値Ｏを割り当て
シミュレータ１１に送出し、その後シミュレーション中
断指令信号をオフにし、シミュレータ１１の実行を再開
する。論理値無作為割当手段１３から不定値の発生した
信号線に対し無作為に論理値１か論理値０を割り当てた
直後のシミュレーション対象となっている論理回路の状
態は第５図のようであり、第４図のようにＴＲＭ３゜Ｔ
ＲＭ４．ＴＲＭ５．ＴＲＭ７に設定された論理値が第５
図のＴＲＭ３．ＴＲＭ４．ＴＲＭ５．ＴＲＭ７に割り当
てられる。シミュレーション中断指令信号をオフにした
直後の第５図に示した論理回路の状態はシミュレータ１
１が回路モデルにしたがって信号値を論理演算−し更新
するので第６図のＴＲＭ３．ＴＲＭ４．ＴＲＭ５のよう
になる。その後通常のシミュレーションが続行される。
定値が検出された場合、第４図のように不定値の発生し
た信号線に対し無作為に論理値ｌか論理値Ｏを割り当て
シミュレータ１１に送出し、その後シミュレーション中
断指令信号をオフにし、シミュレータ１１の実行を再開
する。論理値無作為割当手段１３から不定値の発生した
信号線に対し無作為に論理値１か論理値０を割り当てた
直後のシミュレーション対象となっている論理回路の状
態は第５図のようであり、第４図のようにＴＲＭ３゜Ｔ
ＲＭ４．ＴＲＭ５．ＴＲＭ７に設定された論理値が第５
図のＴＲＭ３．ＴＲＭ４．ＴＲＭ５．ＴＲＭ７に割り当
てられる。シミュレーション中断指令信号をオフにした
直後の第５図に示した論理回路の状態はシミュレータ１
１が回路モデルにしたがって信号値を論理演算−し更新
するので第６図のＴＲＭ３．ＴＲＭ４．ＴＲＭ５のよう
になる。その後通常のシミュレーションが続行される。
以上のように第一の実施例によれば、論理回路のシミュ
レーション中に不定値が発生した場合でも、不定値とい
う論理値が実際の論理回路では存在せず論理値Ｏか論理
値１かに設定されているという現象に即したシミュレー
ションが実施できる。
レーション中に不定値が発生した場合でも、不定値とい
う論理値が実際の論理回路では存在せず論理値Ｏか論理
値１かに設定されているという現象に即したシミュレー
ションが実施できる。
以下、本発明の第２の実施例の論理回路のシミュレーシ
ョン方法について図面を参照しながら説明する。
ョン方法について図面を参照しながら説明する。
第７図は本発明の第２の実施例における論理回路のシミ
ュレーション方法の構成図である。第７図において、ｉ
ｔは論理回路のシミュレーションを実行するシミュレー
タ、１２はシミュレータからシミュレーション実行中の
論理回路の全ての信号線の信号値を取り込み不定値を検
出し、不定値が検出された場合はシミュレータに対しシ
ミュレーションの一時中断を命令するシミュレーション
中断指令信号をオンにすることによってシミュレーショ
ンの一時中断を命令する不定値検出手段、１３は不定値
検出手段によって不定値が検出された場合不定値が発生
した信号線に対し無作為に論理値０か論理値ｌを割り当
てシミュレータに対して送出し、その後シミュレーショ
ン中断指令信号をオフにすることによってシミュレータ
に対しシミュレーションの再開を命令する論理値無作為
割当手段で、以上は第１図の構成と同様なものである。
ュレーション方法の構成図である。第７図において、ｉ
ｔは論理回路のシミュレーションを実行するシミュレー
タ、１２はシミュレータからシミュレーション実行中の
論理回路の全ての信号線の信号値を取り込み不定値を検
出し、不定値が検出された場合はシミュレータに対しシ
ミュレーションの一時中断を命令するシミュレーション
中断指令信号をオンにすることによってシミュレーショ
ンの一時中断を命令する不定値検出手段、１３は不定値
検出手段によって不定値が検出された場合不定値が発生
した信号線に対し無作為に論理値０か論理値ｌを割り当
てシミュレータに対して送出し、その後シミュレーショ
ン中断指令信号をオフにすることによってシミュレータ
に対しシミュレーションの再開を命令する論理値無作為
割当手段で、以上は第１図の構成と同様なものである。
第１図の構成と異なるのは、論理値無作意割当手段を用
いて無作意に論理値ｌか論理値Ｏに割り当てるか、不定
値をそのまま論理値としてあっかうかの不定値取扱モー
ドの切り替えを、シミュレーション実行時の任意の時刻
に行うことのできる不定値取扱モード切り替え手段２４
を設けた点である。
いて無作意に論理値ｌか論理値Ｏに割り当てるか、不定
値をそのまま論理値としてあっかうかの不定値取扱モー
ドの切り替えを、シミュレーション実行時の任意の時刻
に行うことのできる不定値取扱モード切り替え手段２４
を設けた点である。
以上のように構成された論理回路のシミュレーション方
法について、以下、第７図、第８図、第９図、第１０図
、第１１図、第１２図、第１３図及び第１４図を用いて
その動作を説明する。
法について、以下、第７図、第８図、第９図、第１０図
、第１１図、第１２図、第１３図及び第１４図を用いて
その動作を説明する。
まず、第８図は不定値取扱モード切り替え手段２４の状
態の例を示した図であって、シミュレーション時刻０に
おいて不定値取扱モードがオン、つまり不定値が発生し
た場合、不定値に対して論理値無作意割当手段を用いて
無作意に論理値１か論理値Ｏに割り当てるモードである
ことを示している。
態の例を示した図であって、シミュレーション時刻０に
おいて不定値取扱モードがオン、つまり不定値が発生し
た場合、不定値に対して論理値無作意割当手段を用いて
無作意に論理値１か論理値Ｏに割り当てるモードである
ことを示している。
第９図はシミュレーション対象となっている論理回路の
一例であって、図中の信号線ＴＲＭ３゜ＴＲＭ４．ＴＲ
Ｍ５、ＴＲＭ７の全ビットが不定値であるものとする。
一例であって、図中の信号線ＴＲＭ３゜ＴＲＭ４．ＴＲ
Ｍ５、ＴＲＭ７の全ビットが不定値であるものとする。
なお、第９図において、２５゜２７はフリップフロップ
、２６は加算器、２８は定数倍器である。第１Ｏ図は第
９図に対する不定値検出手段２２の状態を示したもので
ある。第１１図は第１Ｏ図に対する論理値無作為割当手
段２３の状態を示したものである。第１２図は不定値取
扱モード切り替え手段２４の状態の例を示した図であっ
て、シミュレーション時刻１０において不定値取扱モー
ドがオフ、つまり不定値が発生した場合、不定値をその
まま論理値として扱うモードであることを示している。
、２６は加算器、２８は定数倍器である。第１Ｏ図は第
９図に対する不定値検出手段２２の状態を示したもので
ある。第１１図は第１Ｏ図に対する論理値無作為割当手
段２３の状態を示したものである。第１２図は不定値取
扱モード切り替え手段２４の状態の例を示した図であっ
て、シミュレーション時刻１０において不定値取扱モー
ドがオフ、つまり不定値が発生した場合、不定値をその
まま論理値として扱うモードであることを示している。
第１３図はシミュレーション対象となっている論理回路
の一例であって、図中の信号線ＴＲＭ６が不定値である
ものとする。なお、第１３図における構成は第９図に示
す構成と同一である。第１４図はシミュレーション対象
となっている論理回路の一例であって、図中の信号線Ｔ
ＲＭ６が不定値でありシミュレーションの結果不定値の
論理的性質によって新たな不定値が発生していることを
示している。なお、第１４図における構成は第９図に示
す構成と同一である。第８図に示したようにシミュレー
ション時刻０において不定値取扱モードがオンの場合、
不定値検出手段２２では常にシミュレーション対象とな
っている回路の全ての信号線の状態を取り込んでいるの
で、シミュレーションの初期状態で第９図のような状態
である場合、不定値検出手段２２は第１０図に示したよ
うな状態になり、不定値が検出されシミュレーション中
断指令信号がオンとなりシミュレータ２１の実行が一時
中断される。論理値無作為割当手段２３では不定値検出
手段２２で不定値が検出された場合、第１１図のように
不定値の発生した信号線に対し無作為に論理値１か論理
値Ｏを割り当てシミュレータ２１に送出し、その後シミ
ュレーション中断指令信号をオフにし、シミュレータ２
１の実行を再開する。上記の過程は第一の実施例に示し
たものと同様である。
の一例であって、図中の信号線ＴＲＭ６が不定値である
ものとする。なお、第１３図における構成は第９図に示
す構成と同一である。第１４図はシミュレーション対象
となっている論理回路の一例であって、図中の信号線Ｔ
ＲＭ６が不定値でありシミュレーションの結果不定値の
論理的性質によって新たな不定値が発生していることを
示している。なお、第１４図における構成は第９図に示
す構成と同一である。第８図に示したようにシミュレー
ション時刻０において不定値取扱モードがオンの場合、
不定値検出手段２２では常にシミュレーション対象とな
っている回路の全ての信号線の状態を取り込んでいるの
で、シミュレーションの初期状態で第９図のような状態
である場合、不定値検出手段２２は第１０図に示したよ
うな状態になり、不定値が検出されシミュレーション中
断指令信号がオンとなりシミュレータ２１の実行が一時
中断される。論理値無作為割当手段２３では不定値検出
手段２２で不定値が検出された場合、第１１図のように
不定値の発生した信号線に対し無作為に論理値１か論理
値Ｏを割り当てシミュレータ２１に送出し、その後シミ
ュレーション中断指令信号をオフにし、シミュレータ２
１の実行を再開する。上記の過程は第一の実施例に示し
たものと同様である。
その後、第１２図に示したようにシミュレーション時刻
１０において不定値取扱モードをオフにした場合、不定
値検出手段２２は機能しなくなるためシミュレーション
中断指令信号は常にオフとなり第１３図のような状態が
発生し信号線ＴＲＭ６が不定値である場合でも不定値を
そのまま論理値として扱いシミュレーションが続行する
。その結果、第１４図に示したように不定値の論理的性
質によって新たな不定値が発生する。
１０において不定値取扱モードをオフにした場合、不定
値検出手段２２は機能しなくなるためシミュレーション
中断指令信号は常にオフとなり第１３図のような状態が
発生し信号線ＴＲＭ６が不定値である場合でも不定値を
そのまま論理値として扱いシミュレーションが続行する
。その結果、第１４図に示したように不定値の論理的性
質によって新たな不定値が発生する。
以上のように第二の実施例によれば、論理回路のシミュ
レーション中に不定値が発生した場合、不定値という論
理値が実際の論理回路では存在せず論理値Ｏか論理値ｌ
かに設定されているという現象に即したシミュレーショ
ンを実施することができ、また信号線に不定状態が発生
しないか否かがシ旦ニレージョン結果として観測したい
場合は、不定値を論理値として取り扱ったシミュレーシ
ョンも実施することができる。
レーション中に不定値が発生した場合、不定値という論
理値が実際の論理回路では存在せず論理値Ｏか論理値ｌ
かに設定されているという現象に即したシミュレーショ
ンを実施することができ、また信号線に不定状態が発生
しないか否かがシ旦ニレージョン結果として観測したい
場合は、不定値を論理値として取り扱ったシミュレーシ
ョンも実施することができる。
発明の効果
以上のように本発明は、信号の論理値として、少なくと
も１、０．不定値を扱うことのできるシミュレータを備
えた論理回路のシミュレーション方法において、シミニ
レ−ジョン実行中に不定値状態の信号線を検出する不定
値検出手段と、不定値に対して無作意に論理値ｌか論理
値Ｏを割り当てる論理値無作意割当手段と、論理値無作
意割当手段を用いて無作意に論理値１か論理値０に割り
当てるか、不定値をそのまま論理値としてあつかうかの
不定値取扱モードの切り替えをシミュレーション実行時
の任意の時刻に行なうことのできる不定値取扱モード切
り替え手段とを備えることにより、シミュレーション実
行時に不定値が発生した場合、不定値に対して無作意に
論理値ｌか論理値Ｏを割り当てることによって、シミュ
レーションが実際の論理回路の動作を反映した形で実施
でき、また信号線に不定状態が発生しないか否かがシミ
ュレーション結果として観測したい場合は不定値を論理
値として取り扱ったシミュレーションも実施することが
できる。
も１、０．不定値を扱うことのできるシミュレータを備
えた論理回路のシミュレーション方法において、シミニ
レ−ジョン実行中に不定値状態の信号線を検出する不定
値検出手段と、不定値に対して無作意に論理値ｌか論理
値Ｏを割り当てる論理値無作意割当手段と、論理値無作
意割当手段を用いて無作意に論理値１か論理値０に割り
当てるか、不定値をそのまま論理値としてあつかうかの
不定値取扱モードの切り替えをシミュレーション実行時
の任意の時刻に行なうことのできる不定値取扱モード切
り替え手段とを備えることにより、シミュレーション実
行時に不定値が発生した場合、不定値に対して無作意に
論理値ｌか論理値Ｏを割り当てることによって、シミュ
レーションが実際の論理回路の動作を反映した形で実施
でき、また信号線に不定状態が発生しないか否かがシミ
ュレーション結果として観測したい場合は不定値を論理
値として取り扱ったシミュレーションも実施することが
できる。
第１図は本発明の第１の実施例における論理回路のシミ
ュレーション方法の構成国、第２図はシミュレーション
対象となる論理回路の一例を示した図、第３図は不定値
検出手段の状態の一例を示したブロック図、第４図は論
理値無作為割当手段の状態の一例を示した説明図、第５
図はシミュレーション対象となる論理回路の論理値無作
為割当手段からの論理値の割当を受けた後の状態の−例
を示したブロック図、第６図はシミュレーション対象と
なる論理回路の論理値無作為割当手段からの論理値の割
当を受はシミュレーション中断指令信号がオフに設定さ
れた後の状態の一例を示したブロック図、第７図は本発
明の第２の実施例における論理回路のシミニレ−ジョン
方法の構成図、第８図は不定値取扱モード切り替え手段
の状態の一例を示した説明図、第９図はシミュレーショ
ン対象となる論理回路の初期状態の一例を示したブロッ
ク図、第１０図は不定値検出手段の状態の一例を示した
説明図、第１１図は論理値無作為割当手段の状態の一例
を示した説明図、第１２図は不定値取扱モード切り替え
手段の状態の一例を示した説明図、第１３図はシミュレ
ーション対象となる論理回路シミニレ−ジョン中の状態
の一例を示したブロック図、第１４図はシミュレーショ
ン対象となる論理回路の一例であり不定値を論理値とし
て扱った場合の一例を示したブロック図である。 １１・・・・・・シミュレータ、１２・・・・・・不定
値検出手段、１３・・・・・・論理値無作為割当手段、
２１・・・・・・シミュレータ、２２・・・・・・不定
値検出手段、２３・・・・・・論理値無作為割当手段、
２４・・・・・・不定値取扱モード切り替え手段、１４
．１６．２５．２７・・・・・・フリップフロップ、１
５．２６・・・・・・加算器、１７．２８・・・・・・
定数倍。
ュレーション方法の構成国、第２図はシミュレーション
対象となる論理回路の一例を示した図、第３図は不定値
検出手段の状態の一例を示したブロック図、第４図は論
理値無作為割当手段の状態の一例を示した説明図、第５
図はシミュレーション対象となる論理回路の論理値無作
為割当手段からの論理値の割当を受けた後の状態の−例
を示したブロック図、第６図はシミュレーション対象と
なる論理回路の論理値無作為割当手段からの論理値の割
当を受はシミュレーション中断指令信号がオフに設定さ
れた後の状態の一例を示したブロック図、第７図は本発
明の第２の実施例における論理回路のシミニレ−ジョン
方法の構成図、第８図は不定値取扱モード切り替え手段
の状態の一例を示した説明図、第９図はシミュレーショ
ン対象となる論理回路の初期状態の一例を示したブロッ
ク図、第１０図は不定値検出手段の状態の一例を示した
説明図、第１１図は論理値無作為割当手段の状態の一例
を示した説明図、第１２図は不定値取扱モード切り替え
手段の状態の一例を示した説明図、第１３図はシミュレ
ーション対象となる論理回路シミニレ−ジョン中の状態
の一例を示したブロック図、第１４図はシミュレーショ
ン対象となる論理回路の一例であり不定値を論理値とし
て扱った場合の一例を示したブロック図である。 １１・・・・・・シミュレータ、１２・・・・・・不定
値検出手段、１３・・・・・・論理値無作為割当手段、
２１・・・・・・シミュレータ、２２・・・・・・不定
値検出手段、２３・・・・・・論理値無作為割当手段、
２４・・・・・・不定値取扱モード切り替え手段、１４
．１６．２５．２７・・・・・・フリップフロップ、１
５．２６・・・・・・加算器、１７．２８・・・・・・
定数倍。
Claims (2)
- （１）信号の論理値として、少なくとも１、０、不定値
の３値を扱うことのできるシミュレータを備えた論理回
路のシミュレーション方法において、シミュレーション
実行中に不定値状態の信号線を検出する不定値検出手段
と、前記不定値に対して無作意に論理値１か論理値０を
割り当てる論理値無作意割当手段とを有し、前記論理値
無作意割当手段によって割り当てられた論理値に基づい
てシミュレーションを実行することを特徴とする論理回
路のシミュレーション方法。 - （２）信号の論理値として、少なくとも１、０、不定値
の３値を扱うことのできるシミュレータを備えた論理回
路のシミュレーション方法において、シミュレーション
実行中に不定値状態の信号線を検出する不定値検出手段
と、前記不定値に対して無作意に論理値１か論理値０を
割り当てる論理値無作意割当手段と、前記論理値無作意
割当手段を用いて無作意に論理値１か論理値０に割り当
てるか不定値をそのまま論理値としてあつかうかの不定
値取扱モードの切り替えをシミュレーション実行時の任
意の時刻に行なうことのできる不定値取扱モード切り替
え手段とを有し、不定値取扱モードがオンの場合は、前
記論理値無作意割当手段によって割り当てられた論理値
に基づいてシミュレーションを実行し、不定値取扱モー
ドがオフの場合は不定値を論理値としてシミュレーショ
ンを実行することを特徴とする論理回路のシミュレーシ
ョン方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1177503A JPH0341564A (ja) | 1989-07-10 | 1989-07-10 | 論理回路のシミュレーション方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1177503A JPH0341564A (ja) | 1989-07-10 | 1989-07-10 | 論理回路のシミュレーション方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0341564A true JPH0341564A (ja) | 1991-02-22 |
Family
ID=16032046
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1177503A Pending JPH0341564A (ja) | 1989-07-10 | 1989-07-10 | 論理回路のシミュレーション方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0341564A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2013033326A (ja) * | 2011-08-01 | 2013-02-14 | Nec Computertechno Ltd | ソフトウェアシミュレーション装置、シミュレーション方法、及びプログラム |
| JP2019159734A (ja) * | 2018-03-13 | 2019-09-19 | Ｎｅｃプラットフォームズ株式会社 | シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS61143748A (ja) * | 1984-12-17 | 1986-07-01 | Fuji Photo Film Co Ltd | 感光性組成物 |
| JPS61147348A (ja) * | 1984-12-20 | 1986-07-05 | Nec Corp | 論理値変換回路 |
| JPS63255746A (ja) * | 1987-04-13 | 1988-10-24 | Matsushita Electric Ind Co Ltd | 論理シミユレ−タ装置 |
-
1989
- 1989-07-10 JP JP1177503A patent/JPH0341564A/ja active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS61143748A (ja) * | 1984-12-17 | 1986-07-01 | Fuji Photo Film Co Ltd | 感光性組成物 |
| JPS61147348A (ja) * | 1984-12-20 | 1986-07-05 | Nec Corp | 論理値変換回路 |
| JPS63255746A (ja) * | 1987-04-13 | 1988-10-24 | Matsushita Electric Ind Co Ltd | 論理シミユレ−タ装置 |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2013033326A (ja) * | 2011-08-01 | 2013-02-14 | Nec Computertechno Ltd | ソフトウェアシミュレーション装置、シミュレーション方法、及びプログラム |
| JP2019159734A (ja) * | 2018-03-13 | 2019-09-19 | Ｎｅｃプラットフォームズ株式会社 | シミュレーション実行制御装置、シミュレーション実行制御方法、及び、シミュレーション実行制御プログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP1588260B1 (en) | Hot plug interfaces and failure handling | |
| JPH0341564A (ja) | 論理回路のシミュレーション方法 | |
| US5648975A (en) | Method and device for generating test patterns for testing integrated circuit | |
| JPH0520104A (ja) | 仮想クラスタ間通信処理装置 | |
| JPH04362755A (ja) | 共用型拡張記憶試験方式 | |
| JPH10177590A (ja) | 論理回路モデルのデバッグ装置およびデバッグ方法 | |
| JPH0417444B2 (ja) | ||
| JP2533489B2 (ja) | シミユレ−シヨン方式 | |
| JPH0224584A (ja) | テストパターン作成方法 | |
| JPH0635988A (ja) | 論理シミュレーション方式 | |
| JP2569881B2 (ja) | コンカレント故障シミュレーション方式 | |
| JPH05224953A (ja) | 割込み制御装置及び方法 | |
| JPH04123139A (ja) | タスクディスパッチング方式 | |
| JPS62203240A (ja) | 情報処理装置の試験方式 | |
| CN115686950A (zh) | 一种克服异步逃逸的同步方法 | |
| JPS6341946A (ja) | 論理シミユレ−タ | |
| JPH02287173A (ja) | 論理検証装置 | |
| JPH05143673A (ja) | 論理シミユレーシヨン方式 | |
| JPH10186008A (ja) | テストパタンデータの転送方式 | |
| JPS6029844A (ja) | プログラムモ−ド切り替え方式 | |
| JPH01290038A (ja) | シミュレーション方式 | |
| JPH01180671A (ja) | 任意多角形間接触検査法 | |
| JPH02166510A (ja) | ディスク制御装置 | |
| JPS5853773B2 (ja) | 緊急制御方式 | |
| CN108089815A (zh) | 一种数据筛选方法和装置 |