A critical path delay check system. - Ryotaro Kamikawai; Minoru Yamada; Tsuneyo Chiba; Kenichi Furumaya; Yoji Tsuchiya (DAC, 1981)