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

Partial correctness of a program S with respect to input assertion p and output assertion q is usually denoted: ...発音を聞く 例文帳に追加

入力表明pと出力表明qに関するプログラムSの部分的正確性は、通常...のように示される。 - コンピューター用語辞典

When proving this program correct the input assertion may be assumed for the initial value of N, N0.発音を聞く 例文帳に追加

このプログラムが正しいと証明する時は、入力表明はNの初期値N0の代わりに仮定されよう。 - コンピューター用語辞典

Whenever the call of a predicate satisfies the input assertion, then the call instantiated by any computed answer substitution satisfies the output assertion.発音を聞く 例文帳に追加

述語の呼び出しが入力表明を満足するときはいつでも、計算された答えの代入によって例示される呼び出しは出力表明を満足する。 - コンピューター用語辞典

Then, the processing part 200 generates an enlarged program by using as one parallel program, the reference program and the verification object program into which each synchronization command is inserted, and a comparison program generated based on assertion at the synchronization point and stored in an assertion storage part 213 and an input data supply program stored in an input data supply program storage part 216.例文帳に追加

次に処理部２００は、同期コマンドを挿入したリファレンスプログラムおよび検証対象プログラムと、アサーション記憶部２１３へ格納された、同期点でのアサーションを基にして生成された比較プログラム、入力データ供給プログラム記憶部２１６に格納されている入力データ供給プログラムとをひとつの並行プログラムとして、拡大プログラムを生成する。 - 特許庁

An AD converter 2 AD-converts a second source voltage Vb in response to the assertion of an AD conversion control signal Sc and, when an AD converted value reaches a set value, asserts a coincidence signal Se and AD-converts an input signal Sin in normal operation mode in response to negation of the AD conversion control signal Sc.例文帳に追加

ＡＤコンバータ２は、ＡＤ変換制御信号Ｓｃのアサートにより第２の電源電圧ＶｂのＡＤ変換を行い、ＡＤ変換値が設定値に達したときに一致信号Ｓｅをアサートする一方、ＡＤ変換制御信号Ｓｃのネゲートにより通常動作モードで入力信号ＳinのＡＤ変換を行う。 - 特許庁