Circuit Simulation and Timing Verification based on MOS/LSI Mask Information | IEEE Conference Publication | IEEE Xplore