李 蓮福 | 東京大学大学院工学系研究科電気系工学専攻
スポンサーリンク
概要
関連著者
-
藤田 昌宏
東京大学大学院工学系研究科電子工学
-
李 蓮福
東京大学大学院工学系研究科電気系工学専攻
-
松本 剛史
東京大学大規模集積システム設計教育研究センター
-
藤田 昌宏
東京大学大規模集積システム設計教育研究センター:科学技術振興機構戦略的創造研究推進事業crest
-
藤田 昌宏
国立札幌病院
-
藤田 昌宏
東京大学大規模集積システム設計教育研究センター(vdec)|科学技術振興機構戦略的創造研究推進事業crest
-
藤田 昌宏
富士通研
-
小松 聡
東京大学大規模集積システム設計教育研究センター
-
石川 悠司
東京大学大学院工学系研究科電子工学専攻
-
渡邊 翔太
東京大学大学院工学系研究科
-
吉田 浩章
東京大学大学院工学系研究科
-
余宮 尚志
株式会社東芝ソフトウェア技術センター
-
瀬戸 謙修
東京大学大規模集積システム設計教育研究センター
-
吉田 浩章
東京大学大規模集積システム設計教育研究センター(vdec)|科学技術振興機構戦略的創造研究推進事業crest
-
PARK GiLark
Samsung Electronics Co., Ltd.
-
KANG SeongWoon
Samsung Electronics Co., Ltd.
-
浜村 博史
Samsung Electronics Co., Ltd.
-
浜村 博史
Samsung Electronics Co. Ltd.
-
Park Gilark
Samsung Electronics Co. Ltd.
-
Kang Seongwoon
Samsung Electronics Co. Ltd.
-
瀬戸 謙修
東京都市大学工学部
-
余宮 尚志
株式会社東芝
-
藤田 昌宏
富士通研究所人工知能研究部
-
西原 佑
東京大学大学院工学系研究科電気系工学専攻
-
小島 慶久
東京大学大学院工学系研究科電子工学専攻
-
藤田 昌宏
埼玉大学大学院理工学研究科
著作論文
- A method of reproducing input/output error trace on high-level design for hardware debug support (ディペンダブルコンピューティング)
- 設計再利用のためのIPライブラリ検索システム(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- 上位設計記述におけるダイナミックプログラムスライシングを用いたポストシリコンデバッグ支援手法(デバック,組込技術とネットワークに関するワークショップETNET2009)
- 上位設計記述におけるダイナミックプログラムスライシングを用いたポストシリコンデバッグ支援手法(デバッグ,組込技術とネットワークに関するワークショップETNET2009)
- ハードウェアデバッグ支援のためのエラー入出力トレースの上位レベル設計における再現手法(高位レベルテスト・検証,VLSI設計とテスト及び一般)
- 製造後デバッグのための入出力シーケンススライシング手法(設計/テスト/検証)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
- 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地-)
- 既存設計の再利用を考慮したSoCの仕様記述手法と上位設計方法論
- ハードウェア設計における設計資産の仕様記述およびその検証手法(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- 設計再利用のためのIPライブラリ検索システム(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- ハードウェア設計における設計資産の仕様記述およびその検証手法(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- 上位設計記述におけるダイナミックプログラムスライシングを用いたポストシリコンデバッグ支援手法(デバック,組込技術とネットワークに関するワークショップETNET2009)
- 上位設計記述におけるダイナミックプログラムスライシングを用いたポストシリコンデバッグ支援手法(デバッグ,組込技術とネットワークに関するワークショップETNET2009)