蒋 洪海 | 東京大学工学部精密機械工学科
スポンサーリンク
概要
関連著者
-
蒋 洪海
東京大学工学部精密機械工学科
-
山本 保
東京大学工学部精密機械工学科
-
冨田 昌宏
神戸大学大学院工学研究科電気電子工学専攻
-
林 喜弘
東京大学工学部
-
冨田 昌宏
神戸大学大学院工学研究科
-
林 喜弘
東京大学:工学部
-
山本 保
東京大学大学院
-
富田 昌宏
神戸大学大学院
-
石渡 亮伸
東京大学
-
冨田 昌宏
東京大学
著作論文
- 論理設計誤りの追跡と修正の自動化
- 多重論理設計誤りの自動追跡手法
- 基本機能に着目した論理検証カバレッジの一尺度
- 論理設計誤りの自動修正手法(2) : 単一誤りに対する追跡と修正
- 論理設計誤りの自動修正手法(1) : 誤り追跡入力の生成法と性質
- 機能記述に基づくテストパターンを用いた論理検証