A Timing Verification System Based on Extracted MOS/VLSI Circuit Parameters | IEEE Conference Publication | IEEE Xplore