A timing verification system based on extracted MOS/VLSI circuit parameters. - Pauline Ng; Wolfram Glauert; Robert Kirk (DAC, 1981)