Graduate School of Information, Production and SystemsWaseda University

Other

Professor KIMURA Shinji

05-2Introduction

Research

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

Sorry!
The Waseda University official website
<<https://www.waseda.jp/fsci/gips/en/>> doesn't support your system.

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

Continue

Suporrted Browser

Close