キーワード : 論理合成

高位仕様記述からの非同期式回路自動合成について
松本　敦 米田　友洋 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4 ; pp. 660-673
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: ハードウェア
キーワード: 
高位合成, 非同期式回路, 論理合成, 信号遷移グラフ, SpecC, 
 あらまし | 本文:PDF(1.4MB)
再構成可能なハードウェアを用いた充足可能性問題の解法
須山　敬之 横尾　真 澤田　宏 名古屋　彰 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/04/01
Vol. J84-D1  No. 4 ; pp. 410-420
論文種別:  論文
専門分野: 人工知能，認知科学
キーワード: 
充足可能性問題, リコンフィギャラブルコンピューティング, FPGA, 論理合成, 制約充足問題, 
 あらまし | 本文:PDF(864.4KB)
部分回路除去に対する含意関係の不変性について
市原　英行 梶原　誠司 樹下　行三 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/12/25
Vol. J79-D1  No. 12 ; pp. 1037-1045
論文種別:  特集論文 (テスティング技術論文特集)
専門分野: 論理合成
キーワード: 
テスト生成, 静的学習, 論理合成, 含意関係, 冗長除去, 
 あらまし | 本文:PDF(570.7KB)
機能設計を対象とする合成予測の実現
野地　保 清水　圭典 中村　彰 浜田　英幸 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/07/25
Vol. J78-D1  No. 7 ; pp. 588-596
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
合成予測, トップダウン設計手法, 論理合成, ハードウェア記述言語（HDL）, 機能設計, 
 あらまし | 本文:PDF(714.5KB)
正規直交展開を用いた論理回路のテスト容易性に関する一考察
高橋　隆一 南谷　崇 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/12/25
Vol. J77-D1  No. 12 ; pp. 785-793
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
正規直交系, 正規直交展開, 隣接項, 論理合成, テスト容易化設計, 
 あらまし | 本文:PDF(661.2KB)
依存性グラフを用いた2相式非同期回路の合成
籠谷　裕人 南谷　崇 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/08/25
Vol. J77-D1  No. 8 ; pp. 548-556
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
非同期式回路, 論理合成, 依存性グラフ, ハンドシェーク制御, 
 あらまし | 本文:PDF(563.9KB)
静的論理ハザードの構成問題とその最小化
井口　幸洋 向殿　政男 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/12/25
Vol. J76-D1  No. 12 ; pp. 655-665
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
論理ハザード, 関数ハザード, 論理回路, 3値論理, 論理合成, 
 あらまし | 本文:PDF(753.6KB)
機能情報抽出を用いたCPUの動作検証
大村　昌彦 安浦　寛人 田丸　啓吉 
誌名:   電子情報通信学会論文誌 A
発行日: 1993/09/25
Vol. J76-A  No. 9 ; pp. 1304-1311
論文種別:  論文
専門分野: VLSI設計技術
キーワード: 
論理合成, 形式的検証, 機能記述言語, 2分決定グラフ, 
 あらまし | 本文:PDF(551KB)