スポンサーリンク
東京大学大学院工学系研究科電子工学 | 論文
- システムレベル設計言語に対するフォールスパスを考慮した性能評価(システムオンシリコン設計技術並びにこれを活用したVLSI)
- システムレベル設計言語に対するフォールスパスを考慮した性能評価(システムオンシリコン設計技術並びにこれを活用したVLSI)
- システムレベル設計に対する拡張システム依存グラフを利用した記述チェッカ(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- システムレベル設計に対する拡張システム依存グラフを利用した記述チェッカ(上流設計技術(1),システムオンシリコン設計技術並びにこれを活用したVLSI)
- SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006)
- SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006)
- SpecC言語の依存グラフを利用したプログラムチェッカ(組込技術とネットワークに関するワークショップETNET2006)
- Reducing scheduling overheads in dynamically reconfigurable processors (VLSI設計技術)
- Reducing scheduling overheads in dynamically reconfigurable processors (コンピュータシステム)
- Reducing scheduling overheads in dynamically reconfigurable processors (リコンフィギャラブルシステム)
- SpecC 記述のプログラムスライシングを利用した未初期化変数・未使用変数の検出(高位設計-1, システムオンシリコン設計技術並びにこれを活用した VLSI)
- SpecC 記述のプログラムスライシングを利用した未初期化変数・未使用変数の検出(高位設計-1, システムオンシリコン設計技術並びにこれを活用した VLSI)
- データ符号化によるVLSIにおける低消費電力・高信頼データ伝送手法の検討(低消費)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- The AMS Extension to System Level Design Language-SpecC(System Level Design,VLSI Design and CAD Algorithms)
- Synchronization Mechanism for Timed/Untimed Mixed-Signal System Level Design Environment(Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
- 準形式的モデル検査のハードウェア実装による高速化の検討(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 準形式的モデル検査のハードウェア実装による高速化の検討(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- UML と SpecC を用いたハードウェアの上位設計手法に関する検討(高位設計-1, システムオンシリコン設計技術並びにこれを活用した VLSI)
- UML と SpecC を用いたハードウェアの上位設計手法に関する検討(高位設計-1, システムオンシリコン設計技術並びにこれを活用した VLSI)
- UMLとSpecCを用いたハードウェアの上位設計手法に関する検討