Association for Computing Machinery
Timing closure has always been the biggest bottleneck in the modern VLSI design flow. Traditional timing verification techniques such as Static Timing Analysis (STA) are usually too conservative or sometimes too optimistic. This inaccuracy may lead to an unnecessary procrastination of time to market or even silicon failure. It is mainly due to the inability to detect false paths and handle multiple-input-transitioning effects in the timing analysis process. In this paper, the authors proposed a novel Formal Static Timing Analysis (FSTA) technique which can model the multiple input transitioning effects, detect the false paths, and generate an input transition pattern for the true critical path at the same time.