Timing verification system based on delay time hierarchical nature.

Minoru Nomura, Shinichi Sato, Nobuo Takano, Toshinori Aoyama, Akihiko Yamada

Browse the full DAC paper archive.