形式的検証の英語

マルチレベル・タイミング・シミュレータにおける形式的信号相互作用モデリングによる統計的タイミング検証と遅れ障害検出例文帳に追加

statistical timing verification and delay fault detection by formal signal interaction modeling in a multi-level timing simulator発音を聞く  - コンピューター用語辞典

状態数が多く、状態遷移が複雑な回路に対しても、形式的論理検証可能な回路を提供し、効率良くかつ高精度の論理検証可能な回路設計を行う。例文帳に追加

To perform circuit design for achieving highly efficient and precise logical verification by providing a circuit capable of achieving formal logical verification even to a circuit with the large number of states and complicate state transition. - 特許庁

これらの形式にこだわらず、記載すべき事項が漏れなく明文化され、取締役会等の承認を受け、組織内に周知徹底され、金融円滑化の実効的な管理態勢が整備されているか否かを実証的に検証する。例文帳に追加

The inspector should empirically review, regardless of the form of rules, whether or not the rules exhaustively stipulate necessary matters and are fully disseminated throughout the organization, upon approval by the Board of Directors, thus ensuring an effective management system of Financial Support.発音を聞く  - 金融庁

形式言語の初歩者も容易に明細を作成でき、視覚的モデル上でシミュレーションなどの検証を可能にする視覚的明細支援ツール及び明細方法を提供する。例文帳に追加

To provide an assistant tool and a method for visual detailing which enables even a beginner of a format language to easily generate details and can verify simulation, etc., on a visual model. - 特許庁

内部管理態勢のあり方は検査対象先の姿勢を把握する上で重要な要素であることを踏まえ、形式的な管理体制のみならず、その有効性及び実効性についても深度ある検証を行う。例文帳に追加

As a firm’s internal control system is an important element in assessing the basic posture of the firm, the Commission will verify the effectiveness of its functioning.発音を聞く  - 金融庁

２次双曲線群を用いた暗号化・複合化装置においてどのような装置構成、ファイル構成、及び文字形式を採用すれば実用的であるのか検証する。例文帳に追加

To verify what device configuration, file configuration, and character form should be employed for the practicality of an encryption/decryption device using second-order hyperbola groups. - 特許庁

これによって、この入力信号を少ない値に設定することにより、この信号ｃｎｔ＿ｖａｌ１、ｃｎｔ＿ｖａｌ２、ｃｎｔ＿ｖａｌ３、ｃｎｔ＿ｖａｌ４と比較を行なうカウンタの状態数を減らして形式的論理検証を行なう。例文帳に追加

Thus, it is possible to achieve formal logical verification by reducing the number of states of a counter which compares count values with the signals cnt_val1, cnt_val2, cnt_val3 and cnt_val4. - 特許庁

試験者は、ＵＭＬモデリングツール５０（以下、ツール５０）を介して、検証方法を表すテスト仕様を例えばシーケンス図の形式で視覚的に認識可能に作成することができる。例文帳に追加

Test specification showing a verification method can be created by an examiner so as to be visually recognizable, for example, in the format of a sequence figure through a UML modeling tool 50 (tool 50). - 特許庁