(57)【要約】【課題】シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動部分にフォーカスする。【解決手段】シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動を検出する検出手段３０と、前記検出手段３０により検出された状態変動に係る信号の変動部分の信号波形または電圧波形を、状態変動しない部分よりも時間間隔を拡大した波形として表示データを作成する表示データ作成手段４１と、前記表示データ作成手段４１により作成された表示データに基づき表示手段４３に表示を行う表示制御手段４２とを具備する。【選択図】図１
2019212174.tif 000002
【特許請求の範囲】
【請求項１】
シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動を検出する検出手段と、
前記検出手段により検出された状態変動に係る信号の変動部分の信号波形または電圧波形を、状態変動しない部分よりも時間間隔を拡大した波形として表示データを作成する表示データ作成手段と、
前記表示データ作成手段により作成された表示データに基づき表示手段に表示を行う表示制御手段と
を具備することを特徴とする論理シミュレーション装置。
【請求項２】
前記検出手段は、状態変動の原因が不適切である場合の不適切情報が記憶された不適切リストを備え、この不適切リストの不適切情報に基づき不適切を検出し、
前記不適切の検出が行われた場合に、不適切情報に対応する所定の処理を行う不適切対応処理手段が備えられていることを特徴とする請求項１に記載の論理シミュレーション装置。
【請求項３】
前記不適切リストには、衝突または合流してはならない信号または電源電圧の情報が記載されており、
前記不適切対応処理手段は、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、衝突に係る信号名または電源電圧名の情報に基づきログ情報の表示データを作成し、
前記表示制御手段は、このログ情報の表示データに基づき表示手段に表示を行うことを特徴とする請求項２に記載の論理シミュレーション装置。
【請求項４】
前記不適切対応処理手段は、外部から与えられる指示に基づき、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、合流信号または電源電圧の中で最も低い値を出力とした表示データまたは出力を不定とした表示データのいずれかを作成することを特徴とする請求項３に記載の論理シミュレーション装置。
【請求項５】
前記検出手段は、信号または電源電圧が通過した場合に状態変動が生じる回路素子及び変動値の情報が記憶された状態変動原因素子リストを備え、この素子を通過した場合に素子通過による状態変動を検出し、
前記表示データ作成手段は、上記素子通過による状態変動が検出された場合に、状態変動原因素子リストの対応する変動値の情報に応じて波形を調整して表示データを作成することを特徴とする請求項１乃至４のいずれか１項に記載の論理シミュレーション装置。
【請求項６】
状態変動原因素子リストの回路素子は、電源出力スイッチ、トランスファーゲート或いはトランスファートランジスタであり、変動値は閾値落ちを含めた電圧値とされていることを特徴とする請求項５に記載の論理シミュレーション装置。
【請求項７】
表示データ作成手段は、状態変動の開始点から終了点までを、上に凸の曲線により結んだ線分として表示データを作成することを特徴とする請求項１乃至６のいずれか１項に記載の論理シミュレーション装置。
【請求項８】
表示データ作成手段は、信号線名と信号線の電圧値を含めた第１の表示データと、信号線名と信号線の電圧値を「１」または「０」により記載した第２の表示データとを作成し、
表示制御手段は、外部からの指示に応じて第１の表示データと第２の表示データのいずれかを表示手段に表示することを特徴とする請求項１乃至７のいずれか１項に記載の論理シミュレーション装置。
【請求項９】
コンピュータを、
シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動を検出する検出手段、
前記検出手段により検出された状態変動に係る信号の変動部分の信号波形または電圧波形を、状態変動しない部分よりも時間間隔を拡大した波形として表示データを作成する表示データ作成手段、
前記表示データ作成手段により作成された表示データに基づき表示手段に表示を行う表示制御手段
として機能させることを特徴とする論理シミュレーション用プログラム。
【請求項１０】
前記コンピュータを、
前記検出手段として、状態変動の原因が不適切である場合の不適切情報が記憶された不適切リストを備え、この不適切リストの不適切情報に基づき不適切を検出するように機能させ、
前記不適切の検出が行われた場合に、不適切情報に対応する所定の処理を行う不適切対応処理手段として機能させることを特徴とする請求項９に記載の論理シミュレーション用プログラム。
【請求項１１】
前記不適切リストには、衝突または合流してはならない信号または電源電圧の情報が記載されており、
前記コンピュータを前記不適切対応処理手段として、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、衝突に係る信号名または電源電圧名の情報に基づきログ情報の表示データを作成するように機能させ、
前記コンピュータを、前記表示制御手段として、このログ情報の表示データに基づき表示手段に表示を行うように機能させることを特徴とする請求項１０に記載の論理シミュレーション用プログラム。
【請求項１２】
前記コンピュータを、前記不適切対応処理手段として、外部から与えられる指示に基づき、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、合流信号または電源電圧の中で最も低い値を出力とした表示データまたは出力を不定とした表示データのいずれかを作成するように機能させることを特徴とする請求項１１に記載の論理シミュレーション用プログラム。
【請求項１３】
前記コンピュータを、前記検出手段として、信号または電源電圧が通過した場合に状態変動が生じる回路素子及び変動値の情報が記憶された状態変動原因素子リストを備え、この素子を通過した場合に素子通過による状態変動を検出するように機能させ、
前記コンピュータを、前記表示データ作成手段として、上記素子通過による状態変動が検出された場合に、状態変動原因素子リストの対応する変動値の情報に応じて波形を調整した表示データを作成するように機能させることを特徴とする請求項９乃至１２のいずれか１項に記載の論理シミュレーション用プログラム。
【請求項１４】
状態変動原因素子リストの回路素子は、電源出力スイッチ、トランスファーゲート或いはトランスファートランジスタであり、変動値は閾値落ちを含めた電圧値とされていることを特徴とする請求項１３に記載の論理シミュレーション用プログラム。
【請求項１５】
前記コンピュータを前記表示データ作成手段として、状態変動の開始点から終了点までを、上に凸の曲線により結んだ線分として表示データを作成するように機能させることを特徴とする請求項９乃至１４のいずれか１項に記載の論理シミュレーション用プログラム。
【請求項１６】
前記コンピュータを前記表示データ作成手段として、信号線名と信号線の電圧値を含めた第１の表示データと、信号線名と信号線の電圧値を「１」または「０」により記載した第２の表示データとを作成するように機能させ、
前記コンピュータを前記表示制御手段として、外部からの指示に応じて第１の表示データと第２の表示データのいずれかを表示手段に表示するように機能させることを特徴とする請求項９乃至１５のいずれか１項に記載の論理シミュレーション用プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、ＬＳＩを対象とした論理シミュレーション装置及び論理シミュレーション用プログラムに関するものである。
【背景技術】
【０００２】
ＮＡＮＤフラッシュメモリに代表される不揮発性メモリのＷＬ（ワードライン）の電圧レベルは、読み出し、書き込み、消去でそれぞれ異なる電圧を印加する。また、読み出し、書き込みの場合、選択ＷＬか非選択ＷＬかによってＷＬに供給する電源が異なる。このように、半導体メモリにおいては、信号線に印加されている電圧は多数の値を有している。
【０００３】
このように半導体メモリでは、複雑な電源系統を有するにも関わらず従来の論理シミュレータでは０／１でしか表現できないため、どの電圧種類が、どのタイミングで印加されているか、電源転送ゲートのＯＮ／ＯＦＦで確認したり、ＳＶＡ（System Verilog Assertion）言語で記述した期待値チェッカーで確認したりしていた。また、信号や電源電圧が０から１へ状態変動したり、その逆に１から０へ状態変動したりする場合においても、瞬時に切換が起こるが如く、同じ時刻において信号が直角に立ち上りまたは立ち下がる波形として表示され、どの程度の時間を経て変動しているかを知ることはできなかった。
【０００４】
特許文献１には、電源電圧選択ブロックにより電源電圧を選択したときの、電源電圧情報を抽出する電源電圧情報イベント抽出ブロックと、この電源電圧情報イベント抽出ブロックより出力される電源電圧情報をもとにして論理シミュレーション結果に、この電源電圧情報をコメント出力する電源電圧情報出力ブロックとを備えた論理シミュレーション装置が開示されている。
【０００５】
また、特許文献２には、シミュレータによるシミュレーション結果を解析するシミュレーション結果解析装置が開示されている。この装置は、上記シミュレータから電圧情報を含む論理シミュレーション結果の波形情報を取り出す波形ファイル取り込み手段、上記波形ファイル取り込み手段から送出された上記波形情報を入力とし、上記波形情報の電圧値を色で表現し、上記波形情報の論理値を数字又は波の振幅で表現した波形を表示できるようにデータ処理をする波形表示手段、上記波形表示手段から送出された波形を表示するディスプレイを備えるシミュレーション結果解析装置である。
【０００６】
また、特許文献３には、所定の論理回路における不要な電流の発生の有無を検出する装置が開示されている。この装置は、論理回路を形成する素子の接続関係を規定した回路接続データを付与する回路接続データ付与手段、上記回路接続データを受け、上記論理回路を形成する素子間のノードのうち、論理的に不安定な状態になると上記論理回路に不要電流を発生させる危険性のあるノードを不要電流検証対象ノードとして抽出する不要電流検証対象ノード抽出手段、上記回路接続データ及び上記不要電流検証対象ノードを取り込み、上記論理回路に対する論理シミュレーションを実行し、各上記不要電流検証対象ノードより得られるそれぞれの信号の論理レベルの不安定状態の継続期間である不安定状態継続期間を求め、上記不安定状態継続期間に基づき、上記論理回路における不要電流の発生の有無を検証する不要電流発生検証手段を備えたものである。
【０００７】
また、特許文献４には、回路接続データに対して論理シミュレーションを実行する論理シミュレーション実行部と、論理シミュレーションの実行中に、論理回路内の信号線が回路動作によって不確定信号値状態が発生している信号線を抽出する不確定値発生信号線抽出部、上記不確定信号値が発生したシミュレーション時刻における次段ゲートの入力信号値を抽出して、該次段ゲートが前記不確定信号値をその出力端子に伝搬する状態であるか否かを次段ゲートのタイプ別に判断する伝搬判断部、上記判断の結果、上記次段ゲートが前記不確定信号値をその出力端子に伝搬する状態であるとき、メッセージ出力部に、回路の動作によって発生した不確定信号値が伝搬し、貫通電流が流れる可能性があるとして、警告メッセージを出力させるようにした論理シミュレーションシステムが開示されている。
【０００８】
また、特許文献５には、インターコネクトディレイを考慮した正確な波形表示を行い、タイミングエラー等の解析を容易にする論理シミュレーション装置が開示されている。更に、特許文献６には、エラー解析に必要な部分のみに絞り込んで表示しエラー解析を容易にする論理シミュレーション結果表示システムが開示されている。
【先行技術文献】
【特許文献】
【０００９】
【特許文献１】特開平５−２８２２０号公報
【特許文献２】特開２０１０−２６６９２２号公報
【特許文献３】特開平５−２９０１２１号公報
【特許文献４】特開平７−２８８７９号公報
【特許文献５】特開平９−１６０９６０号公報
【特許文献６】特開平５−３２４７５６号公報
【発明の概要】
【発明が解決しようとする課題】
【００１０】
特許文献１、２に開示されたものは、電源種別や電圧値を文字列で出力させる論理シミュレーションシステムであり、どの信号が不適切であるかなどを特定し易くなっている。また、特許文献３、４は、ＶＤＤとＶＳＳの間の貫通電流を検出する論理シミュレーション装置である。更に、引用文献５、６のものは波形の表示を工夫してエラー解析を容易にするものと言える。
【００１１】
上記の通り、従来の論理シミュレーション装置にあっては、エラー解析を容易に的確に行うことを目的として様々な工夫がなされているものの、シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動部分にフォーカスして、波形やエラーなどを捕えて適切な回路解析を行うものはなかった。
【００１２】
本発明は上記のような論理シミュレーション装置の現状に鑑みてなされたもので、その目的は、シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動部分にフォーカスして、波形やエラーなどを捕えて適切な回路解析を行うことが可能な論理シミュレーション装置及び論理シミュレーション用プログラムを提供することである。
【課題を解決するための手段】
【００１３】
本発明に係る論理シミュレーション装置は、シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動を検出する検出手段と、前記検出手段により検出された状態変動に係る信号の変動部分の信号波形または電圧波形を、状態変動しない部分よりも時間間隔を拡大した波形として表示データを作成する表示データ作成手段と、前記表示データ作成手段により作成された表示データに基づき表示手段に表示を行う表示制御手段とを具備することを特徴とする。
【００１４】
本発明に係る論理シミュレーション装置では、前記検出手段は、状態変動の原因が不適切である場合の不適切情報が記憶された不適切リストを備え、この不適切リストの不適切情報に基づき不適切を検出し、前記不適切の検出が行われた場合に、不適切情報に対応する所定の処理を行う不適切対応処理手段が備えられていることを特徴とする。
【００１５】
本発明に係る論理シミュレーション装置では、前記不適切リストには、衝突または合流してはならない信号または電源電圧の情報が記載されており、前記不適切対応処理手段は、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、衝突に係る信号名または電源電圧名の情報に基づきログ情報の表示データを作成し、前記表示制御手段は、このログ情報の表示データに基づき表示手段に表示を行うことを特徴とする。
【００１６】
本発明に係る論理シミュレーション装置では、前記不適切対応処理手段は、外部から与えられる指示に基づき、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、合流信号または電源電圧の中で最も低い値を出力とした表示データまたは出力を不定とした表示データのいずれかを作成することを特徴とする。
【００１７】
本発明に係る論理シミュレーション装置では、前記検出手段は、信号または電源電圧が通過した場合に状態変動が生じる回路素子及び変動値の情報が記憶された状態変動原因素子リストを備え、この素子を通過した場合に素子通過による状態変動を検出し、前記表示データ作成手段は、上記素子通過による状態変動が検出された場合に、状態変動原因素子リストの対応する変動値の情報に応じて波形を調整した表示データを作成することを特徴とする。
【００１８】
本発明に係る論理シミュレーション装置では、状態変動原因素子リストの回路素子は、電源出力スイッチ、トランスファーゲート或いはトランスファートランジスタなどであり、変動値は閾値落ちを含めた電圧値とされていることを特徴とする。
【００１９】
本発明に係る論理シミュレーション装置では、表示データ作成手段は、状態変動の開始点から終了点までを、上に凸の曲線により結んだ線分として表示データを作成することを特徴とする。
【００２０】
本発明に係る論理シミュレーション装置では、表示データ作成手段は、信号線名と信号線の電圧値を含めた第１の表示データと、信号線名と信号線の電圧値を「１」または「０」により記載した第２の表示データとを作成し、表示制御手段は、外部からの指示に応じて第１の表示データと第２の表示データのいずれかを表示手段に表示することを特徴とする。
【００２１】
本発明に係る論理シミュレーション用プログラムは、コンピュータを、シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動を検出する検出手段、前記検出手段により検出された状態変動に係る信号の変動部分の信号波形または電圧波形を、状態変動しない部分よりも時間間隔を拡大した波形として表示データを作成する表示データ作成手段、前記表示データ作成手段により作成された表示データに基づき表示手段に表示を行う表示制御手段として機能させることを特徴とする。
【００２２】
本発明に係る論理シミュレーション用プログラムでは、前記コンピュータを、前記検出手段として、状態変動の原因が不適切である場合の不適切情報が記憶された不適切リストを備え、この不適切リストの不適切情報に基づき不適切を検出するように機能させ、前記不適切の検出が行われた場合に、不適切情報に対応する所定の処理を行う不適切対応処理手段として機能させることを特徴とする。
【００２３】
本発明に係る論理シミュレーション用プログラムでは、前記不適切リストには、衝突または合流してはならない信号または電源電圧の情報が記載されており、前記コンピュータを前記不適切対応処理手段として、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、衝突に係る信号名または電源電圧名の情報に基づきログ情報の表示データを作成するように機能させ、前記コンピュータを、前記表示制御手段として、このログ情報の表示データに基づき表示手段に表示を行うように機能させることを特徴とする。
【００２４】
本発明に係る論理シミュレーション用プログラムでは、前記コンピュータを、前記不適切対応処理手段として、外部から与えられる指示に基づき、前記不適切リストの衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出された場合には、合流信号または電源電圧の中で最も低い値を出力とした表示データまたは出力を不定とした表示データのいずれかを作成するように機能させることを特徴とする。
【００２５】
本発明に係る論理シミュレーション用プログラムでは、前記コンピュータを、前記検出手段として、信号または電源電圧が通過した場合に状態変動が生じる回路素子及び変動値の情報が記憶された状態変動原因素子リストを備え、この素子を通過した場合に素子通過による状態変動を検出するように機能させ、前記コンピュータを、前記表示データ作成手段として、上記素子通過による状態変動が検出された場合に、状態変動原因素子リストの対応する変動値の情報に応じて波形を調整した表示データを作成するように機能させることを特徴とする。
【００２６】
本発明に係る論理シミュレーション用プログラムでは、状態変動原因素子リストの回路素子は、電源出力スイッチ、トランスファーゲート或いはトランスファートランジスタであり、変動値は閾値落ちを含めた電圧値とされていることを特徴とする。
【００２７】
本発明に係る論理シミュレーション用プログラムでは前記コンピュータを前記表示データ作成手段として、状態変動の開始点から終了点までを、上に凸の曲線により結んだ線分として表示データを作成するように機能させることを特徴とする。
【００２８】
本発明に係る論理シミュレーション用プログラムでは、前記コンピュータを前記表示データ作成手段として、信号線名と信号線の電圧値を含めた第１の表示データと、信号線名と信号線の電圧値を「１」または「０」により記載した第２の表示データとを作成するように機能させ、前記コンピュータを前記表示制御手段として、外部からの指示に応じて第１の表示データと第２の表示データのいずれかを表示手段に表示するように機能させることを特徴とする。
【発明の効果】
【００２９】
本発明によれば、シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動を検出し、検出された状態変動に係る信号の変動部分の信号波形または電圧波形を、状態変動しない部分よりも時間間隔を拡大した波形として表示データを作成して表示するので、シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動部分にフォーカスして、波形やエラーなどを捕えて適切な回路解析を行うことが可能である。
【図面の簡単な説明】
【００３０】
【図１】本発明に係る論理シミュレーション装置の実施形態の機能ブロック図。
【図２】本発明に係る論理シミュレーション装置の実施形態が実現されるコンピュータシステムの一例を示すブロック図。
【図３】本発明に係る論理シミュレーション装置の実施形態に供給されるシミュレーション対象データの一例を示す図。
【図４】図３に示したシミュレーション対象データの一例の要部を示す図。
【図５】図３に示したシミュレーション対象データの一例の要部を示す図。
【図６】図３に示したシミュレーション対象データの一例の要部を示す図。
【図７】本発明に係る論理シミュレーション装置の実施形態の動作を示すフローチャート。
【図８】本発明に係る論理シミュレーション装置の実施形態の動作により作成表示される波形の第１の態様を示す波形図。
【図９】本発明に係る論理シミュレーション装置の実施形態の動作により作成表示される波形の第２の態様を示す波形図。
【図１０】本発明に係る論理シミュレーション装置の実施形態の動作により作成表示される波形の第３の態様を示す波形図。
【図１１】本発明に係る論理シミュレーション装置の実施形態において検出する状態変動の原因となる素子の一例を示す回路図。
【図１２】本発明に係る論理シミュレーション装置の実施形態において用いられる状態変動原因素子リストの変動値の一例を説明する図。
【発明を実施するための形態】
【００３１】
以下添付図面を参照して、本発明に係る論理シミュレーション装置及び論理シミュレーション用プログラムの実施形態を説明する。各図において、同一の構成要素には、同一の符号を付して重複する説明を省略する。図１には、実施形態に係る論理シミュレーション装置の機能ブロック図が示されている。この装置では、シミュレーション・メイン処理手段１０が設けられており、与えられるシミュレーション対象データ２０に対して論理シミュレートを行う。シミュレーション対象データ２０には、回路図データ、テストシナリオなどにより構成されるものがふくまれている。シミュレーション・メイン処理手段１０は、シミュレーション対象データ２０にシミュレーションを行い、各回路から入出力される信号線やデータラインの変化や内容のデータを作成してシミュレート結果情報を出力する。
【００３２】
このシミュレーション装置には、検出手段３０が備えられている。この検出手段３０は、シミュレート対象の回路における配線に流れる信号または電源電圧の状態変動を検出するものであり、シミュレーション・メイン処理手段１０から送られるシミュレート結果情報に基づき、検出を行うものである。
【００３３】
このシミュレーション装置には、表示データ作成手段４１が備えられている。表示データ作成手段４１は、検出手段３０により検出された状態変動に係る信号の変動部分の信号波形または電圧波形を、状態変動しない部分よりも時間間隔を拡大した波形として表示データを作成するものである。この場合の拡大幅（或いは拡大率）の情報は、予め表示データ作成手段４１が備えるものとし、また拡大幅（或いは拡大率）を複数備え、外部からユーザが設定可能に構成しても良い。表示データ作成手段４１は、シミュレーション・メイン処理手段１０から送られるシミュレート結果情報を用いて、上記表示データを作成する。
【００３４】
上記において、表示データ作成手段４１は、状態変動の開始点から終了点までを、上に凸の曲線により結んだ線分として表示データを作成する。このシミュレーション装置には、表示制御手段４２が備えられている。表示制御手段４２は、上記表示データ作成手段４１により作成された表示データに基づき表示手段４３に表示を行う。表示手段４３は、ＬＣＤやＬＥＤ等のディスプレイとすることができる。
【００３５】
上記検出手段３０は、状態変動の原因が不適切である場合の不適切情報が記憶された不適切リスト３１を備えている。不適切リスト３１には、衝突または合流してはならない信号または電源電圧の情報が記載されている。この情報としては、電源ＶDDと電源ＶSSをショートさせる場合などであり、また、複数の回路の出力からの１出力を１つの信号線に選択的に供給するような場合の情報である。不適切リスト３１の情報は、これ等の情報に限定されないことは勿論である。
【００３６】
このシミュレーション装置には、不適切対応処理手段４４が備えられている。不適切対応処理手段４４は、上記不適切の検出が行われた場合に、不適切情報に対応する所定の処理を行うものである。不適切対応処理手段４４は、例えば上記不適切リスト３１に記憶されている、衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出手段３０によって検出された場合には、衝突に係る信号名または電源電圧名の情報に基づきログ情報の表示データを作成する。この表示データに基づき表示手段４３への表示は、表示制御手段４２によってなされる。
【００３７】
また、上記不適切対応処理手段４４は、外部から例えば指示入力手段５０により与えられる指示に基づき、上記不適切リスト３１の衝突または合流してはならない信号または電源電圧の情報に対応する不適切が検出手段３０によって検出された場合には、合流信号または電源電圧の中で最も低い値を出力とした表示データまたは出力を不定とした表示データのいずれかを作成する。この表示データは表示制御手段４２へ与えられ、合流信号または電源電圧の中で最も低い値を出力とした表示データによる表示が行われるか、または出力を不定とした表示データのいずれかの表示が表示手段４３において切り換え表示される。
【００３８】
検出手段３０には、状態変動原因素子リスト３２が備えられている。状態変動原因素子リスト３２には、信号または電源電圧が通過した場合に状態変動が生じる回路素子及び変動値の情報が記憶されている。状態変動原因素子リスト３２の回路素子は、電源出力スイッチであることができ、その変動値は閾値落ちを含めた電圧値とされている。状態変動原因素子には、一般的に抵抗分を有する素子であり、電源出力スイッチに限定されない。これに応じ、表示データ作成手段４１は、上記素子通過による状態変動が検出された場合に、状態変動原因素子リスト３２の対応する変動値の情報に応じて波形を調整して表示データを作成する。この表示データは表示制御手段４２によって表示手段４３における表示に用いられる。
【００３９】
更に、表示データ作成手段４１は、信号線名と信号線の電圧値を含めた第１の表示データと、信号線名と信号線の電圧値を「１」または「０」により記載した第２の表示データとを作成することができる。このとき、表示制御手段４２は、指示入力手段５０などの外部からの指示に応じて第１の表示データと第２の表示データのいずれかを表示手段４３に表示することができる。
【００４０】
このシミュレーション装置は、パーソナルコンピュータやワークステーションやその他のコンピュータシステムにおいて実現することができる。例えば、図２に示すように、ＣＰＵ６０が主メモリ６１に記憶されているプログラムやデータを用いて各部を制御するコンピュータシステムを用いることができる。
【００４１】
ＣＰＵ６０には、バス６２を介して外部記憶コントローラ６３、入力コントローラ６４、表示コントローラ６５、ＬＡＮコントローラ６６が接続されている。外部記憶コントローラ６３には、ＨＤＤなどの外部記憶装置７３が接続されている。この外部記憶装置７３には、このシミュレーション装置の各手段を実現するシミュレーション用プログラムが記憶されている。入力コントローラ６４には、コマンドやデータを入力するための入力装置７４とポインティングデバイスとしてのマウス７２などが備えられている。
【００４２】
表示コントローラ６５には、画像情報を表示するためのＬＣＤやＬＥＤの表示装置７５が接続されている。表示コントローラ６５には、プリンタ等のコピー装置が接続されていても良い。ＬＡＮコントローラ６６には、ＬＡＮ７６が接続されＬＡＮ７６のネットワーク接続部７７を介して外部のインターネットなどのネットワークに接続することができる。
【００４３】
このシミュレーション装置においてシミュレーション対象データ２０は、ＬＡＮ７６やそれに接続されたサーバなどから得ることができる。また、シミュレーション対象データ２０は、予め外部記憶装置７３に記憶されていても良い。
【００４４】
ここでは、図３に示されるようなＮＡＮＤセルアレイに対する電源等の供給回路に関するシミュレーションを行うためのシミュレーション対象データ２０が、与えられたものとする。この図３と図４〜図６に示す回路図、各信号線の名称などのデータが全てシミュレーション対象データであり、これ以外に、レイアウトデータ、テストシナリオなどがシミュレーション対象データとして与えられる。
【００４５】
図３の回路図は、ＮＡＮＤセルアレイ１−０、１−１、・・・、１−Ｎに、電源回路２からの電源を与える回路であり、制御ロジック回路３から制御しながら、電源を与えるテストシナリオとなっている。電源回路２と制御ロジック回路３に接続されたＷＬ（ワードライン）電圧供給回路４−０〜４−ｎと選択ＷＬ回路５を用いてデコーダ６−０〜６−ｎを介して電源等を与える。
【００４６】
ＷＬ電圧供給回路４−０〜４−ｎと選択ＷＬ回路５には、エンコーダが含まれ、その出力である制御信号で電源選択回路と、選択ＷＬ回路５の選択ＷＬ電源選択回路の出力を制御する。
【００４７】
図４の回路は、電源回路２における電源配線Ａに関する回路構成を示し、電源配線Ｂ〜Ｅについても同じ構成が設けられている。図５は、ＷＬ電圧供給回路４−０〜４−ｎ内の電源選択回路の回路構成を示す。この電源選択回路の回路構成では、電源出力スイッチのいずれか１のみが選択されなければならないので、「電源出力スイッチのいずれか１のみが選択されなければならない」という情報が不適切リスト３１に記載されている。
【００４８】
図６には、選択ＷＬ回路５の内部に設けられた選択ＷＬ電源選択回路の回路構成を示す。この選択ＷＬ電源選択回路の回路構成においても、電源出力スイッチのいずれか１のみが選択されなければならないので、「電源出力スイッチのいずれか１のみが選択されなければならない」という情報が不適切リスト３１に記載されている。また、検出手段３０に状態変動原因素子リスト３２が備えられていることは当然である。
【００４９】
この装置では、図７に示すフローチャートにより、シミュレーション動作を行う。まず、スタートとなり、状態変化があったかを検出する（Ｓ１１）。状態変化があると、信号線名と信号線の電圧値を含めた第１の表示データと、信号線名と信号線の電圧値を「１」または「０」により記載した第２の表示データとを作成する（Ｓ１２）。
【００５０】
次に、ステップＳ１３において、第１の表示データと第２の表示データのいずれによる表示が選択されたかを検出する。ステップＳ１３において、第１の表示データによる表示が選択されると、図８に示すように、その表示エリアＲに示すように、状態変動しない部分よりも時間間隔を拡大した波形として表示データによる表示を行う（Ｓ１４）。この実施形態では、状態変動の開始点から終了点までを、上に凸の曲線により結んだ線分として表示データを作成する。即ち、この処理は、表示された場合に上に凸の曲線によって上昇しているように見せる表示を行うことを意味するものであって、状態変動の開始点と終了点とを結ぶ線分として上に凸の本物の曲線を求めて表示するアナログシミュレータを備えることを絶対条件とするものではない。なお、一般的には凸の曲線を用いるが、直線または下に凸の曲線を排除するものではない。
【００５１】
上記のように、上に凸の波形表示により、デジタルシミュレータ（アナログの精度を求めない）においても、次のような効果を得ることが期待できる。第１に、電源の昇圧期間であるということが認識できる。第２に、電源の昇圧が、書き込みをスタートするよりも前に、間に合うか（昇圧が完了しているか否か？）の確認に使用することが可能となる。第３に、回路の仕様は、図８に明記した文字列「書き込み期間」よりも前に、「上に凸の上昇が完成」しなければならないのであるが、この、「上に凸の上昇が完成」確認に使用することが期待できる。
【００５２】
ステップＳ１３において、第２の表示データによる表示が選択されると、信号線名と信号線の電圧値を「１」または「０」により記載した第２の表示データによる表示を図９に示す如く行う（Ｓ１５）。即ち、図９は、データを書き込むときの状態表示例であり、電源配線Ａ〜Ｅ、書込み用電源配線、読み出し用電源配線、選択ＷＬ電源配線、ＷＬ０〜ＷＬｎの信号線の電圧値が「１」または「０」として表示されている。或いは、状態変動により生じる変化を波形ではなく文字によって表現できる部分のみについて、文字表示を行うようにしても良い。例えば、図１０に示す如く電源配線Ａ〜Ｅ、書込み用電源配線、読み出し用電源配線、選択ＷＬ電源配線、ＷＬ０〜ＷＬｎの信号線の内容を示す部分のみについて、「ＶＳＳ」、「電源Ａ」、「電源Ｂ」、「電源Ｃ」という文字表示を行うようにしても良い。
【００５３】
ステップＳ１４またはステップＳ１５の次には、不適切リストに該当かを検出し（Ｓ１６）、ＹＥＳとなると不適切内容に応じた処理を行う（Ｓ１７）。更に、ステップＳ１７に続いて、状態変動原因素子リストに該当かを検出し（Ｓ１８）、ＹＥＳとなると、リストの変動値の情報に応じて波形を調整した表示データを作成し表示する（Ｓ１９）。
【００５４】
ステップＳ１９が終了すると、ステップＳ１１へ戻り動作が続けられる。ステップＳ１１において、ＮＯへ分岐すると、現在表示中の波形を表示する（Ｓ２１）。なお、ステップＳ２１において、現在表示中の表示データがなければ「シミュレーション実行中」などの現在行っている処理に関する表示を行っても良い。
【００５５】
なお、状態変動原因素子リストの回路素子は、電源出力スイッチ、トランスファーゲート或いはトランスファートランジスタなどであり、変動値は閾値落ちを含めた電圧値である場合の表示例を図１１、図１２に示す。図１１（ａ）、図１１（ｂ）に示すような電源出力スイッチを通過した場合、従来の真理値表は図１２（ａ）のように、ハイインピーダンス状態（Ｈｉ−Ｚ）と不定値Ｘ以外の部分において、実際の電圧値ではなく論理を示す１、０が用いられている。これに対し、本実施形態においては、現実の電圧値を文字表示する。即ち、従来は論理を示す１、０が用いられている欄に、本実施形態では実際の電圧値が表示される。図１２（ｂ）に実施形態の表示例を示しており、ここでは、「Ｓｔｒｉｎｇ」と記載している欄に、実際の電圧値（５Ｖ、８Ｖ、…）が入る。この電圧値は、状態変動原因素子リスト３２における変動値の情報であり、表示データ作成手段４１は、上記素子通過による状態変動が検出された場合に、状態変動原因素子リストの対応する変動値の情報に応じて波形を調整して表示データを作成する。この表示データに基づき表示手段４３へ表示制御手段４２による表示がなされるので、実際の状態変動に応じた波形図をみることができ、適切な回路解析を行うことが可能となる。
【符号の説明】
【００５６】
１−１〜１−Ｎ  ＮＡＮＤセルアレイ
２  電源回路
３  制御ロジック回路
４−１〜１−n  電圧供給回路
５  選択ＷＬ回路
１０  シミュレーション・メイン処理手段
２０  シミュレーション対象データ
３０  検出手段
３１  不適切リスト
３２  状態変動原因素子リスト
４１  表示データ作成手段
４２  表示制御手段
４３  表示手段
４４  不適切対応処理手段
５０  指示入力手段
６０  ＣＰＵ
６１  主メモリ
６２  バス
６３  外部記憶コントローラ
６４  入力コントローラ
６５  表示コントローラ
６６  ＬＡＮコントローラ
７２  マウス
７３  外部記憶装置
７４  入力装置
７５  表示装置
７７  ネットワーク接続部
【図１】
2019212174.tif 000003
【図２】
2019212174.tif 000004
【図３】
2019212174.tif 000005
【図４】
2019212174.tif 000006
【図５】
2019212174.tif 000007
【図６】
2019212174.tif 000008
【図７】
2019212174.tif 000009
【図８】
2019212174.tif 000010
【図９】
2019212174.tif 000011
【図１０】
2019212174.tif 000012
【図１１】
2019212174.tif 000013
【図１２】
2019212174.tif 000014