スポンサーリンク
東京大学大学院工学系研究科電子工学 | 論文
- UMLとSpecCを用いたハードウェアの上位設計手法に関する検討
- UMLを用いた実時間・高信頼性組込みシステムの上位設計についての検討(実時間処理,組込システム及び一般)
- UMLを用いた実時間・高信頼性組込みシステムの上位設計についての検討(実時間処理,組込システム及び一般)
- インクリメンタル高位合成に向けた設計記述間差分の計算手法
- インクリメンタル高位合成に向けた設計記述間差分の計算手法
- 光吸収誘起量子井戸混晶化によるDFBレーザの発振波長トリミング
- 分布帰還型半導体レーザの波長トリミング技術
- 分布帰還型半導体レーザの波長トリミング技術
- SpecC言語によるハードウェア・ソフトウェア混在システム記述を対象としたプログラムスライシング手法の提案(システムオンシリコン設計技術並びにこれを活用したVLSI)
- SpecC言語によるハードウェア・ソフトウェア混在システム記述を対象としたプログラムスライシング手法の提案(システムオンシリコン設計技術並びにこれを活用したVLSI)
- システムレベル設計における同期検証フレームワークの提案(高位設計-1, システムオンシリコン設計技術並びにこれを活用した VLSI)
- システムレベル設計における同期検証フレームワークの提案(高位設計-1, システムオンシリコン設計技術並びにこれを活用した VLSI)
- 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法(高位検証,FPGA応用及び一般)
- 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法(高位検証,FPGA応用及び一般)
- 順序回路の上位設計記述における等価性指定の自動化手法(高位検証,FPGA応用及び一般)
- Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath
- C言語プログラムにおけるループ最適化に対するループ展開を伴わない等価性検証手法(検証)
- C言語プログラムにおけるループ最適化に対するループ展開を伴わない等価性検証手法(検証)
- C言語プログラムにおけるループ最適化に対するループ展開を伴わない等価性検証手法(検証,組込技術とネットワークに関するワークショップETNET2007)
- C言語プログラムにおけるループ最適化に対するループ展開を伴わない等価性検証手法(検証,組込技術とネットワークに関するワークショップETNET2007)