The problem of Pulse Width Modulated (PWM) DC-DC converter simulation is faced in this paper. It is shown how the analysis of this kind of circuits, nonlinear and switching for their nature, can be easily and quickly executed by using symbolic analysis techniques. The paper also presents the program SapWinPE, which performs an automatic symbolic analysis of the considered circuit, and its outputs are in MATLAB compatible format. SapWinpPE features make it more attractive than general-purpose software tools for both academy and industry circuit designers. Other characteristics and potentialities, shown through application examples in the paper, can be advantageously exploited by all the circuit designers and CAD professionals, also at the research and educational level in the academic field.