藤田 昌宏  Fujita Masahiro

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

巻: 40(5) 号: 5 ページ: 985-998

10.1109/tcad.2020.3011039

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

巻: 40(4) 号: 4 ページ: 735-747

10.1109/tcad.2020.3007253

IEEE Design and Test

巻: 38(2) 号: 2 ページ: 89-96

10.1109/mdat.2020.3006808

電子情報通信学会技術研究報告信学技報

巻: 117 ページ: 151-156

電子情報通信学会技術研究報告信学技報

巻: 117 ページ: 157-162

2017 IEEE International High Level Design Validation and Test Workshop (HLDVT)

巻: 1 ページ: 91-94

10.1109/hldvt.2017.8167469

2017 18th International Symposium on Quality Electronic Design (ISQED)

巻: 1 ページ: 166-173

10.1109/isqed.2017.7918311

IPSJ Transactions on System LSI Design Methodology

巻: Vol.7, February Issue ページ: 46-55

130003394413

IPSJ Transactions on System LSI Design Methodology

巻: 7 号: 0 ページ: 46-55

10.2197/ipsjtsldm.7.46

130003394413

IEICE Transactions on Information and Systems

巻: E97.D 号: 4 ページ: 852-863

10.1587/transinf.E97.D.852

130003394911

第18回 回路とシステム軽井沢ワークショップ

ページ: 557-562

Technical Report of IEICE, VLD2004-134

ページ: 59-64

110003318259

電子情報通信学会技術研究報告 Vol.104,No.708

ページ: 59-64

110003318259

第18回 回路とシステム軽井沢ワークショップ (発表予定)

Proc.of The 18th Workshop on Circuits and Systems in Karuizawa

ページ: 557-562

ACM Transactions on Design Automation of Electornic Systems (掲載予定)

Technical Report of IEICE, VLD2003-149

ページ: 79-84

Proc.of the IASTED, International Conference on Advances in Computer Science and Technology

ページ: 252-258

Proc. of the IASTED, International Conference on Advances in Computer Science and Technology

ページ: 252-258

Proc. of International Workshop on Logic and Synthesis 2003

ページ: 73-80

Proc.Asia South Pacific Design Automation Conference

ページ: 123-128

Proc. Asia South Pacific Design Automation Conference 2003

ページ: 123-128

Proc.of International Workshop on Logic and Synthesis

ページ: 73-80

電子情報通信学会技術研究報告 VLSI設計技術 VLD2003-149 103・702

ページ: 79-84

110003316386

Proc. International High Level Design Validation and Test Workshop 2002

ページ: 139-144

In Proc. of IEEE International Conference on Field-Programmable Technology (FPT-02) 2002

ページ: 236-242

Proc.of Forum on specification & Design Languages (FDL'02)

110003212601

Proc.of Microprocessor Test and Verification (MTV'02)

Proc. of Forum on specification & Design Languages (FDL'02) 2002

110003212601

Formal Techniques for Networked and Distributed Systems (FORTE2002) 2002

ページ: 369-369

Proc.International High Level Design Validation and Test Workshop

ページ: 139-144

Formal Techniques for Networked and Distributed Systems (FORTE2002)

ページ: 369-369

Proc. of Microprocessor Test and Verification (MTV'02) 2002

Proc.of IEEE International Conference on Field-Programmable Technology (FPT-02)

ページ: 236-242

ACM Transactions on Design Automation of Electronic Systems (to be published)