藤田昌宏

フジタマサヒロ | Fujita Masahiro

所属機関・部署：
職名：教授
ホームページURL (1件)： http://cad.t.u-tokyo.ac.jp

研究分野 (1件)：電子デバイス、電子機器

研究キーワード (4件)：形式的検証 , 組込みシステム , SoC , 設計支援技術

競争的資金等の研究課題 (10件)：

全件表示

MISC (3件)：

Multi-terminal Binary Decision Diagrams : An Efficient Data Structure for Matrix Representation. Formal Methed in System Design Kluwar Academic Publishers. 1997. 10. 2-3
Variable Ordering Algorithms for Ordered Binary Decision Diagrams and thieir Evaluation. IEEE Trans. on CAD. 1993. 12. 1
Aid to hierarchical and structured logic design using temporal logic and Prolog. Proceeding Pt. E. IEE. 1986. 283-294

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 -

学歴 (4件)：

学位 (2件)：

経歴 (4件)：

受賞 (5件)：

所属学会 (3件)：

ACM , IEEE , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

藤田 昌宏