JP2006127017A - 論理検証手法 - Google Patents
論理検証手法 Download PDFInfo
- Publication number
- JP2006127017A JP2006127017A JP2004312273A JP2004312273A JP2006127017A JP 2006127017 A JP2006127017 A JP 2006127017A JP 2004312273 A JP2004312273 A JP 2004312273A JP 2004312273 A JP2004312273 A JP 2004312273A JP 2006127017 A JP2006127017 A JP 2006127017A
- Authority
- JP
- Japan
- Prior art keywords
- model
- bus
- transfer
- master
- slave
- 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.)
- Withdrawn
Links
Images
Abstract
【課題】 複雑な設定無しで容易に動作を開始させる事が出来る、システムLSI開発における論理検証手法を確立する。
【解決手段】 実際に接続される論理回路の代わりにマスタモデルやスレーブモデルを使用する事で、複雑な設定無しで容易に動作を開始させる事が出来、しかも、転送開始時間を制御する事も可能となり、設計者が意図していなかった複雑な状況を発生させ、実際以上に厳しい条件での検証を行うことを可能とした。
【選択図】 図1
【解決手段】 実際に接続される論理回路の代わりにマスタモデルやスレーブモデルを使用する事で、複雑な設定無しで容易に動作を開始させる事が出来、しかも、転送開始時間を制御する事も可能となり、設計者が意図していなかった複雑な状況を発生させ、実際以上に厳しい条件での検証を行うことを可能とした。
【選択図】 図1
Description
システムLSI開発、特に論理検証手法に関するものである。
従来、CPUを内蔵するシステムLSI開発では、実際の論理回路を使用し、また実機で動作するソフトウェアを使用してシミュレーションを行う事で論理検証していた。
又、別の従来例としては、テストベンチ上に実際に起こるよりも厳しい条件を簡単に発生させ、検証対象回路のバグ出しを行ない設計品質の向上を図る課題に対して、テストベンチ上に実際の回路とは異なるマスタモデルやスレーブモデルを複数配置し各種データ転送をランダムに発生させる論理検証手法(例えば特許文献1参照)をあげることが出来る。
特開2003−157182号公報
しかしながら、実際の論理回路では、動作を発生させる迄に詳細な設定を行なう必要があり、任意のタイミングで所望の動作を発生させる事は不可能であった。従って、設計対象となる論理回路に対して与える外部変化を十分に発生させる事が非常に困難で、潜在的な問題を持ったまま製造される事にもなっていた。また、シミュレーションの実行時間も非常にかかり、検証に時間がかかりすぎるという問題点もあった。
本発明は、以上の点に着目して成されたもので、実際に接続される論理回路の代わりにマスタモデルやスレーブモデルを使用する事で、複雑な設定無しで容易に動作を開始させる事が出来、しかも、転送開始時間を制御する事も可能となり、設計者が意図していなかった複雑な状況を発生させ、実際以上に厳しい条件での検証を行うことが可能となる。
また、設計者が意図していなかった状況を検証する事で、論理回路のバグを早期発見出来る。また、実際以上に厳しい条件で検証する事で、潜在バグを発見する事も可能になる。
また、更に本発明の論理検証手法を用いる事で、バグのない高品質のシステムLSIを開発する事が可能となる論理検証手法を提供することを目的とする。
本発明を用いると、実際のCPUの代わりにバスファンクションモデルを使用する事で、該CPU用のソフトウェアがなくてもシミュレーションを実行でき、論理検証が可能となる。またCPU以外のDMAコントローラ回路の代わりにバスマスターモデルを使用する事で、DMAコントローラ固有の面倒な設定を省いて同様の動作を発生させる事が可能となり、容易に動作検証を行う事が出来る。また、検証対象の回路の外部に存在すべき論理回路が未だ完成していない状態でもシミュレーションを実行して論理検証が可能となる。
また、実際のDMAコントローラ等が発生するバス動作には、ある特定のパターンを持った転送が発生し易く、複雑な状況が発生する確率は低いが、本発明による能動モデルを使用する事で、特定のパターンを持たないランダムな転送を発生する事が可能となり、設計者が意図していなかった複雑な状況が発生する確率が高くなり、より正確、厳格な検証が可能となる。
更に、実際のDMAコントローラ等では、1サイクル単位での制御は困難であるが、能動モデルは1サイクル単位で転送の発生を制御可能であり、複数の能動モデルからの転送を1サイクル単位でずらしてぶつけるようなスイープテストも可能となる。また任意のサイクルで転送を発生する事が可能な為、複数の能動モデルからのコンカレントな転送を容易に発生させて複雑な状況を検証する事が可能となる。またスレーブモデルを用いる事でスレーブからの応答を任意に、或いはランダムに発生させる事で、更に複雑な状況を検証する事が可能となる。
以下に、テストおよびモデルの記述例、またテストベンチの例を用いて、上記手法を詳述する。
まず図1に、モデルを用いない従来例によるメモリーコントローラ、I/Oインターフェイス、バスブリッジなどの回路の論理検証を行うためのテストの記述例を示す。この場合、図7に示すように実際に検証対象に接続されるCPUやDMAコントローラなどの回路を用いてテストを行う。その時の、テストコードの主な流れを以下に示す。1.検証テストベンチ全体の初期化(step1.1)、2.検証対象に接続される実回路の初期化(step1.2)、3.検証対象の初期化(step1.3)、4.検証対象に接続される実回路のデータ転送用の設定(step1.4)、5.検証対象に接続される実回路のデータ転送の起動(step1.5)、6.転送終了後の検証対象に接続される実回路の終了手続き(step1.6)、7.検証対象の終了手続き(step1.7)、8.検証テストベンチ全体の終了手続き(step1.8)。ここで、1,2には、CPUにて処理されるプログラムのメモリからのフェッチ、DMAの初期設定などが含まれる。ここで、2,4,5,6は検証対象に接続される実回路を操作するために必要な処理であり、大規模化するLSIにおいては、この処理がより複雑になる傾向にあり、検証対象をテストする際にこの処理は、シミュレーション時のオーバーヘッドとなる。また、その部分に不具合があり所望の動作をさせることができない場合、検証対象をテストすることが困難になる。また、データの転送もDMAであれば、バスにより規定されているすべての転送形態を起こし、そのような状況下で検証対象をテストすることは難しい。また、転送する際に必要となるアドレスを自由に選択したり、好きな順番に並べたりすることはDMAの設定だけで行うのは難しい。
次に、従来例に対するモデルを用いた本発明によるテストの記述例を図2に示す。本手法においては、図8に示すように実際のCPUおよび実際の回路を用いる代わりに、回路的に検証対象にできるだけ近い位置で接続されるマスタモデルを用いる。これにより、図2に示すように、従来の手法では必要であったstep1.2,step1.4,step1.6など検証対象に接続される回路の前処理、後処理を省くことができる。
次に、図2〜9に、従来手法に対する本発明の手法、記述例を示す。本手法においては、図8に示すように実際のCPUおよび実際の回路を用いる代わりに、回路的に検証対象にできるだけ近い位置で接続されるマスタモデルを用いる。これにより、図2に示すように、従来の手法では必要であったstep1.2,step1.4,step1.6など検証対象に接続される回路の前処理、後処理を省くことができ、シミュレーションの高速化を計ることができる。
また、実際にCPUで実行されるソフトウェアにおけるアドレス領域の制限やDMAに対する設定におけるアドレスの制限をする必要がなく、アドレスを任意に選ぶことができる。
次に、検証対象が接続されるバスのバスマスタ、バススレーブ間のデータの通信形態として例えば図5に示すような転送の形態を考える。ここで、データの転送はクロック信号clkに同期して行われるものとする。転送手順として、第1にバスマスタは、転送要求としてreq信号をアサートする、それに対しバススレーブやアービタなど何らかの手段で、転送許可をバスマスタに対して与えるため、gnt信号をアサートする。第2にバスマスタは、gnt信号がアサートされたのを確認した後、転送開始として、str信号を1cycleの間アサートする。バスマスタは、str信号をアサートするのと同時に、転送データ数を提示するburst信号、転送アドレスを提示するaddr信号、転送データdataをアサートする。burst,addr,data信号は、転送が完了するまでアサートされ続けるものとする。第3にバススレーブは、転送されるデータを受け取れる準備ができた時点で、rdy信号をアサートし、データを取得する。また、rdy信号は、burst信号で提示される数のクロックサイクルの間、連続してアサートされ、データを連続して取得するものとする。また、バスマスタがアサートする転送開始信号strに対して、バススレーブが何らかの理由で、転送をうまく受け取れないときは、rdy信号の代わりにerr信号を、または今は受け取れないが、もう少し立てば受け取れる場合は、再送要求としてrtr信号をアサートすることとする。
この時、マスタI/Fがreq信号をアサートし、転送許可としてgnt信号がアサートされてから、str信号がアサートされるまでのタイミングが一意に規定されていない場合、接続されるモジュールもしくはモードによってタイミングが異なる場合が考えられるが、このような場合も図3に示すように、マスタモデルに簡単にそのタイミングを変えて転送を実行する機能を持たせることにより、簡単に転送プロトコルに定義された可能なタイミングで転送を行うことができ、そのプロトコルに準拠したより厳密な検証を行うことができる。そのようなマスタモデルを用意した場合のテストの記述例を図6に示す。このテストにおいては、タイミングをランダムに選択しながら行うテストシーケンス、およびタイミングを1サイクルずつずらしながら実行するテストシーケンスの記述例を示す。
次に、図9に示すように、DMAコントローラ、バスブリッジなどのマスタI/Fに対する検証を行う場合を考える。図8により説明したマスタモデルを用いる場合と同様に接続される実スレーブI/Fを用いずに、スレーブモデルを用いる。これにより、面倒な実スレーブI/Fの前処理、後処理を行わずに済む。更に、転送プロトコルにて、信号の変化するタイミングがある範囲で任意であるものに対して、そのすべての場合が実現できるように例えば図4に示すように、スレーブモデルを作成することにより、簡単に転送プロトコルに定義された可能なタイミングで転送を行うことができ、そのプロトコルに準拠したより厳密な検証を行うことができる。
次に、これらマスタモデル、スレーブモデルを組み合わせて用いることによる効果について、説明する。
メモリーコントローラ、I/Oインターフェイス回路、バスブリッジなどのスレーブI/Fに対する検証を行う場合、転送プロトコルにおいて、前後の転送と重なりを許す場合、または、検証対象において、複数の転送要求に同時に対応するために、複数のスレーブI/Fが動作し、検証対象内部でアービトレーションが行われている場合などのときは、図10に示すように、複数のマスタモデルを使用して検証を行う。これにより、重なり合い更に連続した転送、重なり合った転送のうち、片方がエラー転送であるなどの複雑な動作を確認できる。
同様に、図11に示すように、複数のスレーブモデルを用いることにより、複数の転送要求に同時に対応することができる。重なり合った転送を容易に確認することができ、エラー応答と通常応答を組み合わせるなど、さまざまな状況を容易に実現することができる。
そして、これらの仕組みを組み合わせることによって、更に複雑な動作を検証することができるようになる。図12に示すように、転送の衝突、競合、複数プロセスの同時実行をしたときの振る舞い、エラーと通常転送が重なった場合、リソースの管理、更には、予測できない事象を発生させ、そのときの振る舞いを確認することもできる。
よって、本発明は上記のように、バスブリッジ、メモリーコントローラ、汎用バスに接続されるモジュール、バスアービタなど、システムLSIを構成する多くの機能ブロックの検証に対して有効である。
以上のように、本発明は下記の構成によって前記課題を解決できた。
(1)システムLSI開発における論理検証の為のテストベンチにおいて、実際の論理回路として存在しないモデルを用いる事を特徴とする論理検証手法。
(2)モデルは実際の論理回路よりも厳しい条件を生成する事を特徴とする前記(1)記載の論理検証手法。
(3)モデルにはマスタモデルとスレーブモデルがある事を特徴とする前記(1)記載の論理検証手法。
(4)マスタモデルは実際の論理回路よりも容易に動作を開始できる事を特徴とする前記(3)記載の論理検証手法。
(5)スレーブモデルはマスタからの要求に対してランダムな時間を経て応答する事を特徴とする前記(3)記載の論理検証手法。
(作用)
本発明によれば、先ず、実際のCPUの代わりにバスファンクションモデルを使用する事で実際のソフトウェアがない状態でも、検証対象の論理回路にとって興味深い動作を発生させる事が出来ると同時に、実際のソフトウェアでは実現できないランダムな種類でランダムな値のデータ転送を発生させる事が出来る。これにより、設計者が意図していなかった状況をシミュレーションで検証が可能である。
本発明によれば、先ず、実際のCPUの代わりにバスファンクションモデルを使用する事で実際のソフトウェアがない状態でも、検証対象の論理回路にとって興味深い動作を発生させる事が出来ると同時に、実際のソフトウェアでは実現できないランダムな種類でランダムな値のデータ転送を発生させる事が出来る。これにより、設計者が意図していなかった状況をシミュレーションで検証が可能である。
また、本発明によれば、マスタモデル、スレーブモデルを複数インスタンスする事で、実際のソフトウェアでは実現できないランダムな種類でランダムな値のデータ転送を発生させる事が出来る。これにより、設計者が意図していなかった状況をシミュレーションで検証が可能である。
以上説明したように本発明によれば先ず、実際に接続される論理回路の代わりにマスタモデルやスレーブモデルを使用する事で、複雑な設定無しで容易に動作を開始させる事が出来、しかも、転送開始時間を制御する事も可能となり、設計者が意図していなかった複雑な状況を発生させる等、実際以上に厳しい条件での検証が可能となる。
設計者が意図していなかった状況を検証する事で、論理回路のバグを早期発見出来る。また、実際以上に厳しい条件で検証する事で、潜在バグを発見する事も可能になる。
本発明の論理検証手法を用いる事で、バグのない高品質のシステムLSIを開発する事が可能となる。
また、本発明の論理検証手法を用いることで、バグのない高品質の機能ブロックを開発することが可能となり、各機能ブロック再利用時の不具合の発生を無くすことができる。
(第1の実施例)
以下、図13〜図18に基づき、本発明による論理検証手法を説明する。
以下、図13〜図18に基づき、本発明による論理検証手法を説明する。
本発明の第1の実施例を示す図13において、1は回路全体を制御するCPUのバス動作のみを発生するBus Function model、2は回路内の様々なバスを結び、バス間のデータ転送をつかさどるBus Bridge、3は記憶装置であるMemory、4は記憶装置への読み書きを制御するMemory Controller、5は回路内で各種入出力機器やデバイスとの間のデータ転送でデータの通り道であるIO−Bus、6はこの回路に接続されるIO装置とのデータ転送を制御するIO1 Interface、7はこの回路に接続されるIO装置とのデータ転送を制御するIO2 Interface、8はこの回路に接続されるIO装置とのデータ転送を制御するIO3 Interface、9は実際の回路の代わりにデータ転送を発生するIO−Bus master model1、10は実際の回路の代わりにデータ転送を発生するIO−Bus master model2、11は内部の論理回路間でデータ転送を行う際のデータの通り道であるDevice・Bus、12は圧縮・伸長などの論理機能を有するDevice1、13は圧縮・伸長などの論理機能を有するDevice2、14は実際の回路の代わりにデータ転送を発生するDevice−Bus master model1、15は実際の回路の代わりにデータ転送を発生するDevice・Bus master model2、16は実際の回路の代わりにマスタからのデータ転送要求に応答するIO−Bus slave model1、17は実際の回路の代わりにマスタからのデータ転送要求に応答するIO−Bus slave model2、18は実際の回路の代わりにマスタからのデータ転送要求に応答するDevice−Bus slave model1、19は実際の回路の代わりにマスタからのデータ転送要求に応答するDevice−Bus slave model2である。
図14は従来例を示しており、20は回路全体を制御するCPU、21はプログラム等を記憶しておくROM(Read only Memory)、2〜8及び11〜13は図1と同様である。
図14で示した従来例では、実際の回路で使われる機能のみで構成されており、CPU20はプログラムを例えばROM21から読み込んできて実行し、その内容をMemory3に転送した後、Memory3から命令を読み出して実行を行う。この場合CPU20は次に何を実行するかは、読み出してくる命令によって決定される為、何らかのデータの転送を行う場合でも、必ず命令の読み込み(Instruction Fetch)が発生する。但し、CPU20内部のキャッシュに命令がヒットしている間はこの限りではない。
以上述べてきたような事から、論理回路の検証を行う際、実際のソフトウェアを記述してROMイメージを作成して、シミュレーションを実行しなければならない。ところが、所望の機能ブロックの検証を行うためのステイミュラスを実際のソフトウェアで記述する事は容易な事ではなく、CPU等様々な部分の初期化も必要であり、簡単に検証を行う事は困難である。更に、シミュレーションでは実際のCPUを使用すると、実行に非常に時間を要してしまう。実機で10秒程度で終了する事でもシミュレーションでは24時間を要する事もある。
図13におけるBus Function model 1は、実際のCPUの機能のうち、バス上に現れる信号の変化だけをコマンドによって発生する事が出来る。この場合、CPU20が行うような命令の読み込みは不要である。従って、余分な転送無しで所望のデータ転送を発生させる事が容易に実現できる。例えば、Memory3等のあるアドレスヘデータを書き込む場合は、write(address, data);のようなBus Function model 1が有するコマンドを発行すれば良い。
次に、図13の従来例では、CPU20以外からデータ転送を開始させる為には、IO1 Interface 1等に対して設定を行ってDMA(Direct Memory Access)を起動する必要がある。この場合、IO毎に設定方法も異なるし、転送レートもIOの種類によって決まってしまう。
従って、設定自体が複雑な上に、そこで発生させる転送の種類も限定されてしまう。そうなると、次から次へと転送を発生させる事も出来ず、色々な事が重なる複雑な状況を発生させる事が出来ない。従って、十分な検証を行う事が困難である。
図13におけるIO−Bus master model1 9やIO−Bus master model2 10は、IO−Bus5上で様々なデータ転送を複雑な設定を行う必要がなく発生させる事が出来る。この場合も、 io_write(address,data);のようなコマンドを発行するだけで良い。Device−Bus master model1 14やDevice−Bus master model2 15も同様である。
IO−Bus slave model1 16やIO−Bus slave model2 17は、Bus Function model 1やIO−Bus master model1 9等のマスタモデルからの転送要求に対して応答するスレーブモデルであり、決まったサイクルで応答するだけでなくランダムなサイクルだけ待って応答する事も可能である。またこれらのスレーブモデルからデータを送出する場合もランダムデータを生成する。また、バスエラーやリトライといった通常動作以外の動作時に論理回路のバグが存在する事が多く、これらのスレーブにバスエラーやリトライで応答させる事も出来、論理回路のバグ発見にも役立つ。Device−Bus slave model1 18やDevice−Bus slave model219についても同様である。
上述してきたように、実際の回路には存在しないマスタモデルやスレーブモデルを用いる事で、設計者が意図しない状況や複雑な事象の複合動作を検証する事が出来る。
図15は上述の各種モデルを動作させて検証を行うテストの記述例を示している。ここで、forkとjoinで囲まれる部分は各行に記述されたタスクがコンカレントに動作する。例えば、cpu_master_kickとio1_master_kickは同時に開始される。
例えば、図15において、cpu_master_kickはBus Functional model1 1からMemory3やIO−Bus slave model1 16等への転送をランダムなシーケンスでランダムなアドレスで発生させるような記述をする。同様に、io1_master_kickにはIO−Bus master model1 9からの転送シーケンスを、io2_master_kickにはIO−Bus master model2 10からの転送シーケンスを、io1_slave_kickにはIO−Bus slave model1 16への転送シーケンスを、io2_slave_kickにはIO−Bus slave model2 17への転送シーケンスを、dev1_master_kickにはDevice−Bus master model1 14からの転送シーケンスを、dev2_master_kickにはDevice−Bus master model2 15からの転送シーケンスを、dev1_slave_kickにはDevice−Busslave model1 18への転送シーケンスを、dev2_slave_kickにはDevice・Bus slave model2 19への転送シーケンスを記述する。
このように、各タスクにそれぞれのマスタモデルからのデータ転送を行うシーケンスやCPUからスレーブモデルヘの転送シーケンスを記述しておくと、各マスタモデルからメモリや各スレーブモデルヘの動作が発生し、検証対象の論理回路が、その設計された論理に従って処理を行う。
図15の例では、for分がfork−join分の外側にある為、for loopを1回実行する度に、各動作を同時に開始させ、それぞれのシーケンスが終わった時点で次のfor loopが行われる。つまり、先に動作を終了したタスクは他の全てのタスクが動作を終了するまで次の動作開始を待つ事になる。
図16の例ではfork−join分の内側で、それぞれのタスクにfor分を配置している。この場合、それぞれのタスクは最初の動作開始は同時だが、それぞれのタスクは定められた回数だけloopを繰り返す。つまりそれぞれのタスクの動作は、他のタスクの動作に関わらず、次々と連続で実行される。この場合、Bus Bridge 2は休みなく全方向からの転送を処理する必要があり、実動作以上のストレスをかける事が可能となる。
また、図17の例ように、各タスクの最初で、先ずランダムな値を生成し、その値分のサイクルを待って動作を開始させる事で、動作が特定のパターン化する事を避ける事が可能である。更に、図18に示すようにランダムなサイクルを待つ代わりに、for loopを用いて動作開始を1サイクルづつ順に遅らせる事も容易であり、あるタスクの動作開始を他のタスクの動作開始に対してスイープさせる事も容易に実現できる。
このように、テストプログラムの大部分は書き換える事なく、それぞれのタスクの呼び出し方を少し変更する事で、色々な状況や複雑な状況を簡単にシミュレーションで実行可能となる。
1 Bus Function model
2 Bus Bridge
3 Memory
4 Memory Controller
5 IO−Bus
6 IO1 Interface
7 IO2 Interface
8 IO3 Interface
9 IO−Bus master model1
10 IO−Bus master model2
11 Device−Bus
12 Device1
13 Device2
14 Device−Bus master model1
15 Device−Bus master model2
16 IO−Bus slave model1
17 IO−Bus slave model2
18 Device−Bus slave model1
19 Device−Bus slave model2
20 CPU
21 ROM
2 Bus Bridge
3 Memory
4 Memory Controller
5 IO−Bus
6 IO1 Interface
7 IO2 Interface
8 IO3 Interface
9 IO−Bus master model1
10 IO−Bus master model2
11 Device−Bus
12 Device1
13 Device2
14 Device−Bus master model1
15 Device−Bus master model2
16 IO−Bus slave model1
17 IO−Bus slave model2
18 Device−Bus slave model1
19 Device−Bus slave model2
20 CPU
21 ROM
Claims (5)
- システムLSI開発における論理検証の為のテストベンチにおいて、実際の論理回路として存在しないモデルを用いる事を特徴とする論理検証手法。
- モデルは実際の論理回路よりも厳しい条件を生成する事を特徴とする請求項1記載の論理検証手法。
- モデルにはマスタモデルとスレーブモデルがある事を特徴とする請求項1記載の論理検証手法。
- マスタモデルは実際の論理回路よりも容易に動作を開始できる事を特徴とする請求項3記載の論理検証手法。
- スレーブモデルはマスタからの要求に対してランダムな時間を経て応答する事を特徴とする請求項3記載の論理検証手法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004312273A JP2006127017A (ja) | 2004-10-27 | 2004-10-27 | 論理検証手法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004312273A JP2006127017A (ja) | 2004-10-27 | 2004-10-27 | 論理検証手法 |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2006127017A true JP2006127017A (ja) | 2006-05-18 |
Family
ID=36721743
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004312273A Withdrawn JP2006127017A (ja) | 2004-10-27 | 2004-10-27 | 論理検証手法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP2006127017A (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP1850478A2 (en) | 2006-04-28 | 2007-10-31 | Fujitsu Media Devices Limited | Piezoelectric thin-film resonator and filter using the same |
JP2010049630A (ja) * | 2008-08-25 | 2010-03-04 | Fujitsu Ltd | シミュレーション制御プログラム、シミュレーション制御装置、およびシミュレーション制御方法 |
-
2004
- 2004-10-27 JP JP2004312273A patent/JP2006127017A/ja not_active Withdrawn
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP1850478A2 (en) | 2006-04-28 | 2007-10-31 | Fujitsu Media Devices Limited | Piezoelectric thin-film resonator and filter using the same |
JP2010049630A (ja) * | 2008-08-25 | 2010-03-04 | Fujitsu Ltd | シミュレーション制御プログラム、シミュレーション制御装置、およびシミュレーション制御方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8112263B2 (en) | Method for logic checking to check operation of circuit to be connected to bus | |
JP4529063B2 (ja) | システムシミュレータ、シミュレーション方法及びシミュレーションプログラム | |
JP2010225094A (ja) | 集積回路、デバッグ回路、デバッグコマンド制御方法 | |
JP2007094591A (ja) | シミュレーション装置及びシミュレーション方法 | |
JP2007058716A (ja) | データ転送バスシステム | |
JP4393954B2 (ja) | マイクロコンピュータ | |
JP2006113689A (ja) | バスブリッジ装置およびデータ転送方法 | |
JP2006252267A (ja) | システム検証用回路 | |
JP2007206933A (ja) | 情報処理装置、情報処理装置におけるブートローダ生成方法およびプログラム転送方法 | |
JP2008282314A (ja) | シミュレータ、シミュレーション方法 | |
JP2006127017A (ja) | 論理検証手法 | |
JP5994661B2 (ja) | 検証プログラム、検証方法及び検証装置 | |
JP2010140440A (ja) | バス調停装置 | |
JP2008511890A (ja) | アトミック・オペレーションを用いて情報単位を変更する方法及び装置 | |
JP2003157182A (ja) | 論理検証手法 | |
JP2007156728A (ja) | 論理検証方法及び論理検証システム | |
JP2004185060A (ja) | マイクロコンピュータ | |
WO2020209016A1 (ja) | 半導体装置及びデバッグシステム | |
JP2010072888A (ja) | Dma転送制御システム | |
JP2006155488A (ja) | データ処理装置およびデータ処理方法 | |
JP2005242929A (ja) | 共有メモリのアクセス方法及びデータ処理装置 | |
JP6645467B2 (ja) | マイクロコンピュータ | |
JP5228552B2 (ja) | プロセス間通信機構 | |
JP2007206909A (ja) | データ処理装置およびデータ処理方法 | |
JP6137944B2 (ja) | 半導体装置、試験回路及び試験方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 20080108 |