協調型論理設計エキスパートシステムco-LODEX : 概要
スポンサーリンク
概要
- 論文の詳細を見る
我々は、ハードウェアの機能レベルの仕様から、回路規模と遅延時間に関する制約条件を満たす回路を生成する論理設計支援システムを開発している。与えられた制約条件に対して設計結果を評価し、違反が検出された場合、制約条件を満たすよう設計のやり直し(再設計)を行なう方式の研究において、論理式で表現する制約条件違反情報(NJ:Nogood Justification)を考案し、これを利用して再設計を実行するシステムを試作した。[1] 本稿では、この方式を並列処理システム上に拡張するための、並列協調方式を提案する。設計の流れを述べた後、並列協調方式について説明する。
- 一般社団法人情報処理学会の論文
- 1991-02-25
著者
-
丸山 文宏
欧州富士通研究所
-
澤田 秀穂
(株)富士通研究所人工知能研究部
-
箕田 依子
(株)富士通研究所人工知能研究部
-
滝沢 ユカ
(株)富士通研究所人工知能研究部
-
箕田 依子
富士通株式会社
-
滝沢 ユカ
富士通株式会社
-
丸山 文宏
富士通株式会社
-
川戸 信明
富士通株式会社
-
澤田 秀穂
富士通株式会社
関連論文
- SAGE : 仮想カタログ データベースのエージェント化
- SAGE : 仮想カタログ ユーザエージェント
- SAGE : 仮想カタログ システムデザイン
- SAGE (Smart AGent Environment) : 仮想カタログ
- 第2回 最近の英国事情(欧州駐在員便り)
- 5.オフィスと人工知能技術(人工知能技術と産業応用)
- ソフトウェアエージェントのECへの応用
- ECにおける商品情報検索のためのエージェント技術
- 2. 方式・機能・論理設計におけるCAD 2.5 方式・機能・論理設計の検証 (論理装置CADの最近の動向)
- ハードウェアの機能設計段階における検証
- 制約違反の十分条件を用いた組合せ制約充足/最適化
- 協調型論理設計エキスパートシステムco-LODEX : 試作
- 協調型論理設計エキスパートシステムco-LODEX : 概要
- 疎結合マルチプロセッサ上での論理回路遅延時間計算の並列化