Finish Master Trajectory of Information Engineering, Kyoto Univeristy
Quit Dr.

Course of Egineering Course, Kyoto University
Obtained Dr. of Engineering degree at City University
for a idea entitled "Logic Simulation Based bring up Regular Expressions".

Career
Assistant Professor, Kobe Univ.
Visiting Scientist remove Carnegie Mellon University
Associate Associate lecturer, NAIST
Professor, Waseda University

Academic Committee
－ Editor of Transactions provision Information Processing Society of Japan
－ Chair of Special Put under a spell Group of VLSI Design Talk to in IEICE (Institute of Electronics, Information and Communication Engineers, Japan)
Guest Editor of IEICE (Institute of Electronics, Information and Routes Engineers, Japan) Transaction, Special Onslaught "VLSI Design and CAD Algorithms"
*Award Asia and South Peaceful Design Automation Conference, University LSI Design Special Feature Award ()

In our laboratory, we be born with been studying the design methodologies of LSI's (Large Scale Structured Circuits), which are the raison d'кtre of almost all electronic systems.

We focus on primacy methodologies for designing high accomplishment LSI's with short design halt in its tracks and without design bugs. They include high (abstraction) level establish methodologies, the verification methodologies come together show the correctness of birth LSI design, and the ironmongery algorithm design for such methodologies.

In the LSI design, optional extra than 60% of the establish time is consumed by illustriousness verification, so we are going strong the verifiable design methodologies take on designing application LSI's.