久木元 裕治 | 東京大学:工学部
スポンサーリンク
概要
関連著者
-
久木元 裕治
東京大学:工学部
-
田中 英彦
東京大学工学部
-
中村 宏
東京大学大学院工学系研究科電気工学専攻
-
久木元 裕治
東京大学工学部
-
中村 宏
東京大学工学部電気工学科
-
中村 宏
東京大学工学部
-
斎藤 勉
Nec C&c 研究所
-
田中 英彦
東京大学大学院工学系研究科
-
久木元 裕治
東京大学
-
斎藤 勉
東京大学
-
田中 英彦
東京大学
-
久木元 裕治
東京大学大学院工学系研究科情報工学専攻
-
中村 宏
東京大学大学院工学系研究科先端学際工学専攻
著作論文
- MOS同期回路の設計検証
- 時相論理を動作記述に用いたデータパス検証システム
- Tokioに基づくデータパス検証システムの評価
- RTL-Tokio記述からの制御系の抽出
- 時相論理に基づく順序回路検証システムの二分決定グラフを用いた改良