FLAでのCAD研究 (特集 電子機器・LSI設計CAD)
スポンサーリンク
概要
著者
関連論文
- 2. 形式的検証手法の実設計への適用例 ( 論理設計の形式的検証)
- 特集「論理設計の形式的検証」の編集にあたって
- VLSI実設計に於ける形式的検証の適用
- 多入力論理関数に対する効率的なWalshスペクトルの計算手法とそのテクノロジマッピングへの応用
- チャネル境界上の端子位置決定法
- 多段論理合成における二段論理式簡単化の一手法
- 順序付き2分決定グラフと許容関数を用いた多段論理回路簡単化手法 (回路自動合成と最適化論文特集)
- 順序回路の簡単化について
- 遅延を意識したレジスタトランスファレベルからの合成について
- 遅延時間の増加を押さえたトランスダクション法について
- トランスダクション法に基づく多段論理回路簡単化機能をもつ論理合成システム
- 2分決定グラフを利用したトランスダクション法の改良
- 時相論理による仕様記述支援システム
- グラフに基づく論理照合アルゴリズムの評価と改良
- 論理とそのVLSI設計への応用 (VLSI設計の新しい流れ)
- 時相論理型言語Tokioを利用したハードウェア機能設計
- FLAでのCAD研究 (特集 電子機器・LSI設計CAD)
- 多段論理回路合成技術の動向 (回路自動合成と最適化論文特集)