US7302633B2 - LSI Design System, Logic Correction Support Equipment, Logic Correction Support Method Used Therefor, and Program Therefor