キーワード : 論理合成


高位仕様記述からの非同期式回路自動合成について
松本 敦 米田 友洋 
誌名:   電子情報通信学会論文誌 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)