検索結果
出典: くみこみックス
検索語: ツール ("ツール" から始まるページ | "ツール" のリンク元)
くみこみックスの検索に関する詳しい情報は、ヘルプをご覧ください。
121 件目から 20 件を表示しています。
（前 20）（次 20）（20 | 50 | 100 | 250 | 500）を見る
ページ内本文と一致
- 図形演算処理 * [[レイアウト検証ツール]]905 バイト (36語) - 2009年3月16日 (月) 06:50
- 静的タイミング解析ツール 静的タイミング解析ツール【Static Timing Analyzer】 論理シミュレータと比較すると，静的タイミング解析ツールには，二つの利点がある．すなわち，シミュレーショ ...1 キロバイト (26語) - 2009年3月16日 (月) 08:16
- セル・ライブラリ ... 重要になっている．セル・ライブラリ開発用の設計支援ツールも市販されている．1 キロバイト (17語) - 2009年3月13日 (金) 07:50
- タイミング解析 ... ーンを用意する必要がある．後者は静的タイミング解析ツールを使用する．すべての論理パスについて回路素子や配線 ... * [[静的タイミング解析ツール]]1 キロバイト (17語) - 2009年3月13日 (金) 07:50
- タイミング・ドリブン設計 * [[配置配線ツール]]1 キロバイト (29語) - 2009年3月16日 (月) 06:57
- テスト・パターン ... かしい．そこで，テスト・パターンを自動生成するATPGツールが利用されている．1 キロバイト (21語) - 2009年3月13日 (金) 07:50
- テスト容易化設計 ... 呼ぶ．たとえば，テスト・パターンを自動生成するATPGツールを適用しやすい回路を作成する．テスト容易化設計には ...1 キロバイト (36語) - 2009年3月16日 (月) 07:08
- 同期回路 ... 回路のすべてを同期式にすることである．また論理合成ツールのほとんどは，タイミング動作の明確な同期回路向けの ...1 キロバイト (27語) - 2009年3月16日 (月) 07:09
- 動作合成ツール 動作合成ツール【Behavioral Synthesis Tool】 ... ら，論理合成ツールに入力するためのRTL記述を生成するツール．1,022 バイト (20語) - 2009年3月13日 (金) 08:18
- トップダウン設計 ... レベルのネットリストを生成する．また，自動配置配線ツールによってレイアウト（マスク・パターン）を生成する． ... * [[論理合成ツール]]961 バイト (29語) - 2009年3月16日 (月) 07:09
- 二分決定グラフ フォーマル・ベリファイア（形式的検証ツール）などで用いられる論理表現の一形式．BDDとも呼ぶ．フ ...930 バイト (30語) - 2009年3月16日 (月) 07:11
- 配置配線ツール 配置配線ツール【Placement and Routing Tool】 ... し，各セルの間を配線するマスク・パターン作成用のEDAツール．2 キロバイト (26語) - 2009年3月16日 (月) 01:33
- パーシャル・スキャン ATPGツールを使ってテスト・パターンを自動生成する場合に利用す ...1 キロバイト (18語) - 2009年3月16日 (月) 01:11
- ビヘイビア合成ツール ビヘイビア合成ツール【Behavioral Synthesis Tool】 * [[動作合成ツール]]（同義語）410 バイト (14語) - 2009年3月16日 (月) 01:13
- フォーマル・ベリファイア ... （プロパティ・チェッキング，モデル・チェッキング）ツールである． ... 等価性検証ツールは実用段階に入っている．等価性検証ツールを利用する場合，論理機能的に正しいことが保証されて ...1 キロバイト (19語) - 2009年3月13日 (金) 07:50
- フォルス・パス 静的タイミング解析ツールは論理機能を考慮せず，回路のトポロジと遅延情報から ...604 バイト (15語) - 2009年3月13日 (金) 07:50
- ポリゴン・エディタ ... （マスク・パターン）を人手で対話的に入力・編集するツール． ... リゴン・データで構成されていることから，こうしたEDAツールがポリゴン・エディタと呼ばれるようになった．半導体 ...1 キロバイト (22語) - 2009年3月13日 (金) 08:11
- メソドロジ ... め，いかなる方法で設計すればよいか，どのような設計ツールを用いたらよいかなどを検討すること．464 バイト (15語) - 2009年3月13日 (金) 07:50
- レイアウト検証ツール レイアウト検証ツール【Layout Verification Tool】 ... 設計されたLSIのレイアウト・データを検証するためのEDAツール．LSI設計データが設計ルールに合致しているか，あるい ...2 キロバイト (54語) - 2009年3月16日 (月) 07:38
- レイアウト・ツール レイアウト・ツール【Layout Tool】 ... ・エディタ，レイアウト検証ツールなどがレイアウト・ツールに含まれる．756 バイト (16語) - 2009年3月13日 (金) 07:50
