Research on the machining characteristics of composite pulse power supply for the electrical discharge machining of semiconductor silicon crystal