Circuit simulation and timing verification based on MOS/LSI mask information. - Toshiro Akino; Masafumi Shimode; Yukinaga Kurashige; Toshio Negishi (DAC, 1979)