スポンサーリンク
東京大学大学院工学系研究科電子工学 | 論文
- 積グラフ探索を利用した実用的なプロトコル変換器の自動合成と検証(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 積グラフ探索を利用した実用的なプロトコル変換器の自動合成と検証(システムオンシリコン設計技術並びにこれを活用したVLSI)
- IP再利用のための動的再構成可能プロトコル変換器合成手法(設計・最適化技術)
- 動作合成前後の設計記述に対する記号シミュレーションによる形式的等価性検証の検討(検証・シミュレーション,システム設計及び一般)
- 動作合成前後の設計記述に対する記号シミュレーションによる形式的等価性検証の検討(検証・シミュレーション,システム設計及び一般)
- 動作合成前後の設計記述に対する記号シミュレーションによる形式的等価性検証の検討
- 状態遷移表現への変換に基づくハードウェア/ソフトウェア協調設計の形式的検証手法(ハードウェア,フォーマルアプローチ論文)
- 組込みシステムのシステムレベル設計におけるオブジェクト指向技術の応用(組込技術とネットワークに関するワークショップETNET2006)
- 組込みシステムのシステムレベル設計におけるオブジェクト指向技術の応用(組込技術とネットワークに関するワークショップETNET2006)
- 組込みシステムのシステムレベル設計におけるオブジェクト指向技術の応用(組込技術とネットワークに関するワークショップETNET2006)
- FSMへの変換に基づくHW/SW協調設計の形式的検証手法に関する研究(設計・合成, 組込技術とネットワークに関するワークショップ)
- FSMへの変換に基づくHW/SW協調設計の形式的検証手法に関する研究
- FSM への変換に基づく HW/SW 協調設計の形式的検証手法に関する研究(設計・合成, 組込技術とネットワークに関するワークショップ)
- トランスダクション法を用いた非同期制御回路最適化
- 時相論理によるハードウェア同期部の仕様記述とPrologによるその状態遷移表への自動合成法
- ハードウェア状態遷移表現のPrologによる検証
- 時相論理によるハードウェア仕様記述とPrologを用いたゲート回路の検証
- C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley, 1980(20世紀の名著名論)
- 1M-6 動作合成された束データ方式による非同期式回路とその動作仕様に対する等価性検証手法(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2P-1 動的ウェブアプリケーションの操作に対する画面間遷移の網羅的検証(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
スポンサーリンク