Unified Large And Small Signal State-Space Based Modeling And Symbolic Simulation For Pwm Converters