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.