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

Forward Checking (FC) is one of the most popular algorithms used to solve Constraint Satisfaction Problems. 例文帳に追加

前進チェック法(FC)は制約満足化問題を解くのに使われる最も一般的なアルゴリズムの一つである. - コンピューター用語辞典

Furthermore, by using the dependence arrangement in the calculation of a distance in a positive closed path detection, it is possible to consider the discrete time constraint and the discrete time boundary when searching for a positive closed path when checking the scheduling possibility.例文帳に追加

また、正閉路検出の距離の計算で依存配列を利用することにより、スケジューリング可能性チェックの際の正閉路探索時に離散時間制約ならびに離散時間境界を考慮することができる。 - 特許庁

To provide a CAM design system capable of automating and automatically checking a series of manual operation such as an optimum blank layout, a test pattern design, a correction of a change in dimension, a confirmation of a manufacturing constraint, and a writing of a manufacturing work instruction or the like.例文帳に追加

板取の最適レイアウト、テストパターン設計、寸法変化の補正、製造上の制約確認、製造作業指示書の作成など、一連の人手介入作業を自動化し、自動チェックするＣＡＭ設計システムを提供する。 - 特許庁

To reduce efforts for manually checking solution models by automatically certifying that all the sufficiency solutions to constraints satisfy conditions of rightness of a given sufficiency solution when the rightness of constraint sufficiency problems is inspected using a solution model.例文帳に追加

解モデルを用いて制約充足問題の正しさを検査する際、制約に対する全ての充足解が与えられた充足解の正しさの条件を満たすことをコンピュータを用いて自動的に証明することで、人手で解モデルを確認する労力を削減する。 - 特許庁

To provide a logic circuit for shortening a design period of an LSI, reducing chip cost and preventing the occurrence of an operation mistake due to leakage during asynchronous checking by facilitating false path setting of timing constraint file needed during logic synthesis, and to provide a semiconductor design support device and semiconductor design support program for generating a gate level circuit from the logic circuit.例文帳に追加

論理合成時に必要となるタイミング制約ファイルのフォルスパス設定を容易にさせて、ＬＳＩの設計期間の短縮とチップコストの削減とを可能にするとともに、非同期チェック時における漏れによる作業ミスの発生を防止した論理回路を提供し、かかる論理回路からゲートレベル回路を生成する半導体設計支援装置および半導体設計支援方法を提供する。 - 特許庁