時相論理の英語

時相論理式判定装置の判定結果が真になった場合に、検証プログラム解釈部を駆動し、真になった時相論理式と対になっている検証プログラムを実行する。例文帳に追加

When a decision result of a temporal logic formula decision device is true, a verification program interpreting part is driven to execute a verification program paired with a temporal logic formula which gets true. - 特許庁

本発明は、処理に要する時間及びメモリが節約された、ディジタル回路の論理ネットワーク中の点間で論理的相互従属関係を定める論理設計解析用のコンピュータ支援設計装置及び方法の提供を目的とする。例文帳に追加

To provide a computer-aided design system and method thereof for logic design analysis for determining logical interdependencies between points in a topology of a digital circuit by which time and memories required for a processing are saved. - 特許庁

また、論理積ゲートを用いて、クロックの立ち上がりあるいは立ち下がり時のみに位相差検出を行って、後続データによる波形干渉を減らす。例文帳に追加

Furthermore, waveform interference by succeeding data is reduced by detecting the phase difference only at leading or trailing of the clock by an AND gate. - 特許庁

論理ネットワーク構成が相違する２以上の無線ネットワーク・システムに同時に参加して多重の役割を好適に果たす。例文帳に追加

To provide a communication apparatus or the like capable of simultaneously participating in two or more radio networks having different logic network configurations and preferably playing multiple roles. - 特許庁

これに伴い、論理回路の出力信号の充放電時間を短縮し、安定的な位相比較を実行することができる。例文帳に追加

Consequently, the charging / discharging time of an output signal of logic circuits is reduced and stable phase comparison can be executed. - 特許庁

駆動装置は、各ホールＩＣ２３ｕ〜２３ｗからの位置検出信号に基づいて、正転駆動時には第１の論理により、逆転駆動時には第２の論理により３０度の進み位相角で各相巻線への励磁電流の供給タイミングを制御する。例文帳に追加

The driving device controls the supply timing of exciting current to the winding of each phase at 30 degrees leading phase angle by a first logic at the time of the forward drive and by a second logic at the time of the reverse drive based on the position detection signals from each Hall ICs 23u-23w. - 特許庁

選択的経路量化記号と時相演算子の任意のネスティングを認めるかどうかに従って, 二つの時間交代性時相論理, ATLとATL*とが得られる.例文帳に追加

Depending on whether we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL*.発音を聞く  - コンピューター用語辞典

半導体装置は、複数の相変化メモリバンクと、第１の論理レベルを示す入力データ信号をリセット動作にて各メモリバンクに順番に書き込み、第２の論理レベルを示す入力データ信号をセット動作にて各メモリバンクに同時に書き込むライト回路と、を備える。例文帳に追加

A semiconductor device comprises a plurality of phase-change memory banks, and a write circuit that writes an input data signal representing a first logical level in each of memory banks in reset operation in series, and simultaneously writes an input data signal representing a second logical level in each of the memory banks in set operation. - 特許庁