Graduate School of Information, Production and SystemsWaseda University


Professor KIMURA Shinji



High-level Verification Technologies

05chI have been working on the design and verification of VLSI systems from my graduate thesis on a design method of regular structural VLSI circuits. Verification means to show the correctness of the designs of VLSI systems, and is one of key issues because of the huge cost and the long time to implement VLSI chips. I think a method to show the correctness of VLSI designs by designing Java processor, voice recognizer and image recognition circuits.

  • High-level Design and Verification
  • Application Specific High-level Synthesis
  • Hardware/Software Codesign
  • Dependable Computing


Page Top
WASEDA University

The Waseda University official website
<<>> doesn't support your system.

Please update to the newest version of your browser and try again.


Suporrted Browser