論理合成スクリプトの自動修正、レイアウト制約の自動修正を行うことで入出力ＡＣ規格を満たすしくみを提案する。例文帳に追加

To provide a device satisfying an input/output AC standard by performing the automatic correction of a logic synthesis script and the automatic correction of a layout limit. - 特許庁

内部構成抽出器２１で論理システム（ＤＵＴ）１１の内部構成を抽出し、内部ブロック入出力制約条件生成器２２でＤＵＴ内部構成表１３により内部構成の入出力制約条件を生成する。例文帳に追加

In the verification method, internal configuration of a logic system (DUT) 11 is extracted by an internal configuration extractor 21, and input/output constraints of internal configuration are generated by a DUT internal configuration table 13 of an internal block input/output constraint generator 22. - 特許庁

論理検証装置２００は、入力部２０１と、生成部２０２と、入力制約情報算出部２０３と、出力制約情報算出部２０４と、入出力制約情報算出部２０５と、判定部２０６と、論理検証部２０７と、を備えている。例文帳に追加

A logic verification system 200 comprises an input section 201, a generating section 202, an input constraint information computing section 203, an output constraint information computing section 204, an input/output constraint information computing section 205, a judging section 206, and a logic verifying section 207. - 特許庁

スケジューリングの制約作成１０４の処理ステップにおいて、インターフェース制約１０２の情報の入出力端子に与えられるデータが有効となるタイミングに従って、動作記述中の演算子に対する動作タイミングを表したスケジューリング制約を作成する。例文帳に追加

In the processing step of scheduling constraint preparation 104, a scheduling constraint for indicating an operation timing to an operator in the operation description is prepared corresponding to a timing at which data supplied to the input/output terminals of the information of an interface constraint 102 become valid. - 特許庁

パッドと入出力インタフェースセルの配置関係により、引出線を介したパッドと入出力インタフェースセルの配線に制約を受けることがなく、チップサイズに対して可能な限り多くの信号線数を得ることができる半導体集積回路装置およびその配線方法を提供する。例文帳に追加

To provide a semiconductor integrated circuit device where the most signal lines possible can be obtained as against chip size, without being subjected to limitation on the wiring between a pad through a lead wire and an in/out interface cell, by the arrangement relation between the pad the in/out interface cell, and its wiring method. - 特許庁

入出力効率が高いとともに波長の制約もなく、しかも、高い分散度を得ることができるにかかわらずに、小型化とコストダウンを図ることができる、分光器を提供する。例文帳に追加

To provide a spectroscope capable of attaining a smaller size and a lower cost while providing a high dispersion degree with a high input and output efficiency without having a limitation in wavelength. - 特許庁

シミュレーション対象システムについて、入出力のタイミングの制約の下で、動作タイミングの実用的な事例や、動作タイミングの実用的な変動の範囲を利用者に示すことができるようにする。例文帳に追加

To show a user a practical example of operation timing and the practical fluctuation range of the operating timing under the restraint of input and output timing about a simulation object system. - 特許庁

最適化処理装置１０は、タイミング解析時、入出力ＡＣ規格を満たしていないとき、論理合成スクリプトの自動修正、レイアウト制約の自動生成を行なう。例文帳に追加

When the input/output AC standard is not satisfied at the time of timing analysis, an optimizing processor 10 performs the automatic correction of the logic synthesis script and the automatic correction of the layout limit. - 特許庁

複数のＬＳＩ間におけるデータ転送時のタイミングエラーの発生を防ぐための入出力信号のタイミング設計をより少ない制約下で容易に行うことができるようにする。例文帳に追加

To perform easily and under less constraint the timing design of an input-output signal for preventing the occurrence of a timing error in data transfer between a plurality of LSIs. - 特許庁

隣り合う２個のポート間距離の制約を受けないで入出力のポートを配置することを可能とし、内部に実装されるマイケルソン型遅延干渉計ユニットの小型化を容易とする遅延干渉計を実現する。例文帳に追加

To provide a delayed interferometer which can arrange input/output ports without being restricted by the distance between two adjacent ports and facilitate downsizing of a Michelson type delayed interferometer unit installed therewithin. - 特許庁

また、回路構成変更の指示も含めた論理合成スクリプトの修正、レイアウト制約の生成を組み合わせることにより、入出力ＡＣ規格を満たす論理回路を計算機上で自動的に得る。例文帳に追加

Besides, by combining the correction of the logic synthesis script including the instruction of the circuit configuration change and the generation of the layout limit, a logic circuit satisfying the input/output AC standard can be automatically provided on a computer. - 特許庁

次に、係数パラメータを固定した入出力差分方程式を設定し（ステップＳ１５）、制約付き線形最小二乗法により量子化誤差を求める（ステップＳ１６）。例文帳に追加

An input and output difference equation with the coefficient parameter fixed is set (step S15), and the quantization error is determined by linear least square method with limitation (step S16). - 特許庁

ＤＤＲと同様に高いデータレートが維持でき、外部端子数等の面で制約を受けずにパラレルデータの入出力を可能とすることで、周波数を下げながらもＤＤＲと同等のデータレートを確保する。例文帳に追加

To maintain as high a data rate as with DDR and input and output parallel data without being constrained typically by the number of external terminals. - 特許庁

チョッパのスイッチング素子のＯＮ／ＯＦＦ期間とインバータの各相スイッチング素子のＯＮ／ＯＦＦ期間で相互に制約されることなく、平滑コンデンサの入出力電流を低減する。例文帳に追加

To reduce an input and output current of a smoothing capacitor without mutual restriction in an ON/OFF period of a switching element of a chopper and an ON/OFF period of each phase switching element of an inverter. - 特許庁

たとえ自動変速機の入出力軸等を回転検出の対象とする場合であれ、そのスペース的な制約を排除する高い汎用性をもって精度の高い回転検出を可能とする回転検出装置を提供する。例文帳に追加

To provide a rotation detection apparatus capable of highly flexibly and highly precisely detecting rotation by excluding spatial constrictions even in the case of detecting the rotation of input and output shafts etc. of an automatic transmission. - 特許庁

ＤＱパッドの位置に制約されることなく、データ転送でのスキューを低減して動作周波数を高速化し、グローバル入出力線の本数を削減して半導体チップの面積を削減する。例文帳に追加

To accelerate operation frequency by reducing skew in data transfer and to reduce area of a semiconductor chip by reducing the number of global input/output lines without being restricted by a position of DQ padding. - 特許庁

ソフトウェアプログラムを、プラットフォームに依存しない処理をソースコードで記述したモジュール［演算モジュール］、モジュールの種別や入出力情報や処理時間制約条件などの情報［モジュール付帯情報］、ソフトウェア内のモジュールの接続構成や全体の時間制約情報［全体構成情報］の三種類の構成要素により構成する。例文帳に追加

A software program is composed of three kinds of components: a module which describes a process not depending on the platform by a source code [operation module], information, such as the type of the module, input/output information, process time constraint conditions [module auxiliary information], and the time constraint information of a connection configuration or the whole of the module in the software [whole configuration information]. - 特許庁

上位階層の制約によって、各ユニット毎に設定された入出力インタフェースの境界条件及び最適化条件に従い、ゲートへの変換かつ最適化を行う論理合成実行手順において、論理合成を実行する前にＲＴＬ記述から境界部のタイミング制約を短時間で得るアルゴリズムを提供する。例文帳に追加

To provide an algorithm for providing the timing limit of a boundary part in a short time from an RTL description before executing logical synthesis in a logical synthesis execution procedure for performing conversion and optimization to a gate according to the boundary conditions and optimization conditions of an input/output interface set for each of units corresponding to the limit of a high-order hierarchy. - 特許庁

ロボットとその周辺機器を用いたロボット制御システムを構築する際、各々の機器の入出力形態による制約を受けることなく、柔軟にシステム構成を実現でき、ロボット制御装置の最小限の変更で容易にロボット制御システムを実現する。例文帳に追加

To provide a robot control device that can easily realize a robot control system with a flexible configuration by the minimum change without any constraint of input and output data formats for each apparatus when the robot control system is constructed with the robot and peripheral equipment. - 特許庁

そして、論理システム１１の仕様を表すプロパティを検証用のプロパティに基づいて検証を行い、検証したプロパティの反例１６と矛盾する入出力制約条件１４を検証用の更新プロパティ１７に追加して更新する。例文帳に追加

A property showing the specification of the logic system 11 is verified based on a property for verification, and input/output constraints 14 contradictory to a counter example 16 of the verified property are added to an updating property 17 for verification to update the property. - 特許庁

入出力ＡＣ規格違反の改善に有効な回路構成例を含むルールベース（ルールベース記憶装置１９）を用いることで、最適化制約のみならず、回路構成変更の指示も含めて論理合成スクリプトを修正する。例文帳に追加

The logic synthesis script is corrected while including not only an optimizing limit but also the instruction of a circuit configuration change by using a rule base (rule base storage device 19) containing circuit configuration examples effective for improving the violation of the input/output AC standard. - 特許庁

本発明は，複数の前記関係関数のうちから，入出力データに対する適応度に基づいて一部の関係関数を選択する際に，前記関係関数に関して予め与えられた制約に対する満足度を検査することにより，前記課題を解決することを図ったものである。例文帳に追加

For the purpose, the degree of satisfaction of restrictions previously given as to some relation function among plural relevant functions is inspected when the relevant function is selected according to the adaptivity to input/output data. - 特許庁

入出力データ保存手段３に保存された非定常な入力データと出力データとに基づいて、動的パラメータ同定手段６において、上記制約条件を満足するようなパラメータが決定され、パラメータ値保存部２２へ送られる。例文帳に追加

On the basis of non-stationary input data and output data preserved in the input / output data preservation means 3, the parameter satisfying the constraint is decided in a dynamic parameter identification means 6 and is sent to the parameter value preservation part 22. - 特許庁