US8566763B2 - Logic Circuit Design Method, Logic Design Program, and Semiconductor Integrated Circuit