Faculty Members HIRAYAMA Takashi
Fields of Research
- Computer Science
High-Level and Logic Synthesis, Logic Optimization Algorithms, and Testing for VLSIs
Digital circuits were designed manually by engineers in the past, but they are now synthesized automatically by computers. Therefore, the performance of the automatic synthesis software significantly affects the quality of the resulting circuits. To design modern vary-large-scale digital circuits efficiently, novel synthesis software, or algorithm, is required. To cope with the need, I am engaged in developing synthesis algorithms exploiting exclusive-OR (EXOR) gates. By combining the properties of EXOR operation and the branch-and-bound strategy, I have successfully developed the world's first algorithm that can synthesize exact minimum AND-EXOR circuits for some practical functions.
I like to teach computer science as well as state-of-the-art technologies of computer hardware and software. Through the education in the IT field, I want to give students the motivation for working as IT professionals. I always encourage students to develop their skills and to contribute not only to the community but also to the world in the future.