Rchr
J-GLOBAL ID：200901096617645861
Update date: Jul. 29, 2010
Fujita Masahiro
フジタ マサヒロ | Fujita Masahiro
Affiliation and department：
Job title：
Professor
Homepage URL (1)：
http://cad.t.u-tokyo.ac.jp
Research field (1)：
Electronic devices and equipment
Research keywords (4)：
形式的検証
, 組込みシステム
, SoC
, 設計支援技術
Research theme for competitive and other funds (10)：
- システム検証技術
- デジタルシステム設計支援技術
- デジタルシステム検証技術に関する研究
- 集積回路設計支援・自動合成に関する研究
- ソフトウェア・ハードウェア協調設計手法に関する研究
- Formal Verification of Digital Systems
- Computer-Aided Design for Digital Systems
- Formal verification of digital systems
- Computer Aided Design and automatic synthesis of LSI
- Software/Hardware co-design methods
Show all
MISC (3)：
Works (2)：
-
US patent US5461574 Method of expressing a logic cicent
1990 -
-
US patent US5535132 Variable Sequence determining method for a dichotomy determination graph
1987 -
Education (4)：
- - 1985 The University of Tokyo
- - 1985 The University of Tokyo Graduate School, Division of Engineering
- - 1980 The University of Tokyo The Faculty of Engineering
- - 1980 The University of Tokyo Faculty of Engineering
Professional career (2)：
- (BLANK) (The University of Tokyo)
- (BLANK) (The University of Tokyo)
Work history (4)：
- 1993 - 2000 米国富士通研究所
- 1993 - 2000 Fujitsu Laboratories of America
- 1985 - 1993 富士通研究所
- 1985 - 1993 Fujitsu Laboratories
Awards (5)：
- 1997 - IFIP WG10、5 VLSI Conference distinguishal paper award VLSI国際会議優秀論文賞
- 1994 - 情報処理学会坂井特別賞
- 1991 - 情報処理学会研究賞
- 1991 - 元岡賞
- 1987 - 情報処理学会学術奨励賞
Association Membership(s) (3)：
Return to Previous Page
