A False-Path Aware Formal Static Timing Analyzer Considering Simultaneous Input Transitions

Provided by: Association for Computing Machinery
Topic: Hardware
Format: PDF
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.

Find By Topic