Capturing All Admissible Linear Regions for Fastening Simulation of Piecewise-Linear Dynamic Circuits