Complete board timing verification solutions are available today through symbolic timing analysis. Symbolic timing analysis offers the speed of static timing without the false timing path reports. This paper describes the Mentor Graphics symbolic timing analysis and verification tool, Tau, which uses a spreadsheet-based user interface to generate a concise list of relevant timing equations. The use of Timing Models and a description of the workflow using Tau are also discussed.

Note: By clicking on the above link, this paper will be emailed to your TechOnLine log-in address by Mentor Graphics.