小特集「論理型言語とその処理系」の編集にあたって
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1987-04-15
著者
関連論文
- 論理シミュレーションプロセッサSPの性能評価
- テスト生成回路を用いた高速テスト生成方式
- 高位レベルテスト生成を用いたテスト容易化設計支援
- 5. 最近のCADシステムの話題 5.5 論理装置のCAD における知識工学の応用 (論理装置CADの最近の動向)
- ハードウェア設計言語DDLによる計算機設計支援システム
- 4. オブジェクト指向データベースの応用 4.3 エンジニアリング業務支援とオブジェクト指向データベース (オブジェクト指向データベースシステム)
- グラフに基づく論理照合アルゴリズムの評価と改良
- 論理とそのVLSI設計への応用 (VLSI設計の新しい流れ)
- 時相論理型言語Tokioを利用したハードウェア機能設計
- VLSI CADへの知識工学の応用
- VLSI CADへのエキスパートシステム技術の適用(エキスパートシステム)
- 小特集「論理型言語とその処理系」の編集にあたって
- 論理回路合成エキスパ-トシステムDDL/SX (AI(人工知能)の活用技法とFAへの応用)
- 論理回路設計環境の構想
- CHDL'85報告
- 制約違反の十分条件を用いた組合せ制約充足/最適化