西原 佑 | 東京大学大学院工学系研究科電気系工学専攻
スポンサーリンク
概要
関連著者
-
西原 佑
東京大学大学院工学系研究科電気系工学専攻
-
藤田 昌宏
東京大学大学院工学系研究科電子工学
-
松本 剛史
東京大学大規模集積システム設計教育研究センター
-
藤田 昌宏
東京大学大規模集積システム設計教育研究センター(vdec)|科学技術振興機構戦略的創造研究推進事業crest
-
藤田 昌宏
東京大学大規模集積システム設計教育研究センター:科学技術振興機構戦略的創造研究推進事業crest
-
原田 裕基
東京大学大学院工学系研究科電気系工学専攻
-
安藤 大介
東京大学大学院工学系研究科電子工学専攻
-
藤田 昌宏
国立札幌病院
-
藤田 昌宏
富士通研
-
小島 慶久
東京大学大学院工学系研究科電子工学専攻
-
高 飛
東京大学大学院工学系研究科電子工学専攻
-
原田 裕基
東京大学工学部電子工学科
-
許 金美
東京大学大学院工学系研究科電子工学専攻
-
藤田 昌宏
富士通研究所人工知能研究部
-
佐々木 俊介
東京大学大学院工学系研究科電子工学専攻
-
安藤 大介
東京大学工学部電子工学科
-
佐々木 俊介
東京大学
-
李 蓮福
東京大学大学院工学系研究科電気系工学専攻
-
藤田 昌宏
埼玉大学大学院理工学研究科
-
小松 聡
東京大学大規模集積システム設計教育研究センター
著作論文
- 充足可能性判定に基づくシステムレベルデバッグ支援手法におけるバグモデルの導入による効率化 (VLSI設計技術)
- A method of reproducing input/output error trace on high-level design for hardware debug support (ディペンダブルコンピューティング)
- ハードウェアデバッグ支援のためのエラー入出力トレースの上位レベル設計における再現手法(高位レベルテスト・検証,VLSI設計とテスト及び一般)
- 充足可能性判定に基づくシステムレベルデバッグ支援手法におけるバグモデルの導入による効率化
- システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- 1M-5 ワードレベル論理式の充足可能性判定問題を利用したシステムレベル設計デバッグ支援手法(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- システムレベル設計における並列動作の同期に関するデバッグ支援手法(デバック,組込技術とネットワークに関するワークショップETNET2009)
- システムレベル設計における並列動作の同期に関するデバッグ支援手法(デバック,組込技術とネットワークに関するワークショップETNET2009)
- システムレベル設計における並列動作の同期に関するデバッグ支援手法(デバッグ,組込技術とネットワークに関するワークショップETNET2009)
- システムレベル設計における並列動作の同期に関するデバッグ支援手法(デバッグ,組込技術とネットワークに関するワークショップETNET2009)
- 順序回路の上位設計記述における等価性指定の自動化手法(高位検証,FPGA応用及び一般)
- 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法(高位検証,FPGA応用及び一般)
- 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法(高位検証,FPGA応用及び一般)
- 順序回路の上位設計記述における等価性指定の自動化手法(高位検証,FPGA応用及び一般)
- 順序回路の上位設計記述における等価性指定の自動化手法(高位検証,FPGA応用及び一般)
- 状態遷移表現への変換に基づくハードウェア/ソフトウェア協調設計の形式的検証手法(ハードウェア,フォーマルアプローチ論文)
- システムレベル設計言語に対するフォールスパスを考慮した性能評価(システムオンシリコン設計技術並びにこれを活用したVLSI)
- システムレベル設計言語に対するフォールスパスを考慮した性能評価(システムオンシリコン設計技術並びにこれを活用したVLSI)
- システムレベル設計に対する拡張システム依存グラフを利用した記述チェッカ(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- システムレベル設計に対する拡張システム依存グラフを利用した記述チェッカ(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006)
- SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006)
- SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006)
- 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法(高位検証,FPGA応用及び一般)
- 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法(高位検証,FPGA応用及び一般)
- 順序回路の上位設計記述における等価性指定の自動化手法(高位検証,FPGA応用及び一般)