assertion resultとは 意味・読み方・使い方

The detection circuit detects the assertion verification start, and the computer 100 determines the determination timing of the assertion result, and the decision circuit performs the result decision of the assertion verification, and the computer 100 performs the assertion verification based on the result decision in the determination timing.例文帳に追加

検出回路によってアサーション検証開始を検出し、コンピュータ１００が、アサーション結果の判断タイミングを決定し、判定回路がアサーション検証の結果判定を行い、コンピュータ１００が、判断タイミングにおいて結果判定を元にアサーション検証を行う。 - 特許庁

An assertion analysis unit analyzes the assertion described in the module external specification to generate assertion analysis information expressing the result of the analysis.例文帳に追加

アサーション解析部は、モジュール外部仕様に記されたアサーションの解析を行い、その解析の結果を表すアサーション解析情報を生成する。 - 特許庁

The circuit verification apparatus 1 also includes an assertion converting unit 14 configured to convert each of the predetermined measurement points to a corresponding assertion description and a code coverage result decompressing unit 13 configured to receive the database and an assertion result 112 obtained by performing measurement based on the assertion description and generate a code coverage result 113.例文帳に追加

また、回路検証装置１は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部１４と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果１１２とを受け取り、コードカバレッジ結果１１３を生成するコードカバレッジ結果伸長部１３とを有する。 - 特許庁

A computer 100 performs an assertion result decision program 101 for deciding the simulation result of the circuit 106.例文帳に追加

コンピュータ１００は、回路１０６のシミュレーション結果を判定するアサーション結果判定プログラム１０１を実行する。 - 特許庁

A programmable circuit 102 is mounted with a design object circuit 106 operating synchronously with the clock signal of an operation clock creation circuit 104, and includes assertion trigger detection circuits (detection circuits) 107_1 to 107_n for creating the signal of assertion verification start to the circuit 106 and assertion condition decision type circuit (decision circuit) 108_1 to 108_n for performing the result decision of the assertion verification.例文帳に追加

プログラマブル回路１０２は、動作クロック生成回路１０４のクロック信号に同期して動作する設計対象回路１０６を実装し、回路１０６に対するアサーション検証開始の信号を生成するアサーショントリガ検出回路（検出回路）１０７＿１〜１０７＿ｎおよびアサーション検証の結果判定を行うアサーション条件判定式回路（判定回路）１０８＿１〜１０８＿ｎを含む。 - 特許庁

In the JUnit test, you will test the LibClass by passing a phrase to the acrostic method and using an assertion to indicate what you think the result should be.例文帳に追加

JUnit テストでは、acrostic メソッドにフレーズを渡し、表明を使用して予測される結果を示すことで、LibClass をテストします。 - NetBeans

A real machine verification part 5 verifies whether or not real machine operations are conformed to the specifications by the real machine verification of the FPGA by using a composition result 11 by assertion check.例文帳に追加

実機検証部５は合成結果１１を用いてＦＰＧＡの実機検証での実機動作が仕様通りであるか否かをアサーションチェックによって検証する。 - 特許庁