Timing verification system based on delay time hierarchical nature. - Minoru Nomura; Shinichi Sato; Nobuo Takano; Toshinori Aoyama; Akihiko Yamada (DAC, 1982)