Novel Verification Method for Timing Optimization Based on DPSO (VLSI Design, 2018)