スポンサーリンク
東京大学大学院工学系研究科電子工学 | 論文
- 誤差を有するシステムのシミュレーション結果に対する統計的解析とそのハードウェアによる高速化(設計環境,システム設計及び一般)
- プログラム可能な素子を利用したゲートレベル回路のデバッグ手法
- プログラム可能な素子を利用した大規模回路の自動修復手法
- Data Flow Graph Partitioning Algorithms and Their Evaluations for Optimal Spatio-temporal Computation on a Coarse Grain Reconfigurable Architecture
- Performance Estimation with Automatic False-Path Detection for System-Level Designs
- Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
- Custom Instruction Generation for Configurable Processors with Limited Numbers of Operands
- Trends in Formal Verification Techniques for C-based Hardware Designs
- プログラム可能な素子を利用した大規模回路の自動修復手法(検証・デバック技術,システム設計及び一般)
- プログラム可能な素子を利用したゲートレベル回路のデバッグ手法(検証・デバック技術,システム設計及び一般)