Then, logical simulation being a dynamic verification tool is executed, and variables or conditional expressions activated by a test pattern are stored in a storage part 120. 次に、動的検証ツールである論理シミュレーションを実行し、テストパターンにより活性化した変数や条件式を記憶部120に格納する。 - 特許庁
To provide a computer simulation method capable of precisely simulating dynamic phenomenon such as a collision against a structure using concrete as a constituent object and dispensing with an expensive dynamictest for obtaining various material constants of concrete. コンクリートを構成物とする構造物に対する衝突のような動的現象を精度よくシミュレーションでき、且つコンクリートの各種材料定数を得るために高価な動的試験が不要なコンピュータシユレーション方法を提供する。 - 特許庁
This verification device or the like for a logic system described by a hardware description language has: a test bench production means executing the dynamicsimulation; a static verification means executing static verification; and an error part specification means specifying an error part from results of the dynamicsimulation and the static verification. ハードウェア記述言語により記述された論理システムの検証装置であって、動的シミュレーションを実行するテストベンチ作成手段と、静的検証を実行する静的検証手段と、前記動的シミュレーションと前記静的検証の結果から、エラー箇所を特定するエラー箇所特定手段を具備することを特徴とする論理システムの検証装置等、を提供する。 - 特許庁