「output assertion」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

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

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

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

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

The level shifter circuit includes a level shift portion (201) and an output portion (202) for outputting its output signal, in response to the assertion of an enable signal (IEN).例文帳に追加

レベルシフタ回路は、レベルシフト部（２０１）と、その出力信号を、イネーブル信号（ＩＥＮ）のアサートに呼応して外部出力するための出力部（２０２）とを含む。 - 特許庁

The output logic of the output portion is determined in a timing which is slower than the timing of the assertion of the enable signal so that undesired pulsing potential variations (noise) are not generated.例文帳に追加

上記イネーブル信号がアサートされるタイミングよりも遅いタイミングで上記出力部の出力論理が確定されることで、パルス性の不所望な電位変化（ノイズ）を生じないようにする。 - 特許庁

The level shift portion (201) includes an output node (ITX), whose logical level is determined in timing slower than the assertion timing of the enable signal, and the output portion (202) includes active elements (Q11, Q13) that determine the output logic of the output portion, in a state where the enable signal is asserted, according to the logical level of the output node.例文帳に追加

上記レベルシフト部（２０１）は、上記イネーブル信号のアサートタイミングよりも遅いタイミングで論理レベルが確定される出力ノード（ＩＴＸ）を含み、上記出力部（２０２）は、上記イネーブル信号がアサートされた状態で、上記出力ノードの論理レベルに応じて上記出力部の出力論理を確定するための能動素子（Ｑ１１，Ｑ１３）を含む。 - 特許庁