A quick and inexpensive method to identify false critical paths using ATPG techniques: an experiment with a PowerPC/sup TM/ microprocessor

Static timing analysis tools are used by designers of high speed/high performance circuits to determine whether timing requirements are met. Timing analysis tools can report critical paths which are characterized by a transition on each node along the path, however, they cannot generate a "witness" vector which would sensitize that path. This gives rise to the possibility of having paths which are reported by the static timing analysis tool as potential critical paths, whereas there exists no vector sequence which can sensitize them. Our goal is to identify these "false critical timing paths" safely and without much overhead, so that the efforts needed to redesign and/or optimize critical paths can be reduced. We have devised a simple technique using a tool that we have written and a commercial ATPG tool to meet this goal. We applied the technique on the state of the art fourth generation MPC7400 PowerPC/sup TM/ microprocessor designed at Motorola's PowerPC Design Center in Austin, TX. Our initial experimental results show the effectiveness of the technique. The salient features of the technique are that it is both quick and inexpensive.

[1]  Rajendran Panda,et al.  Removing user-specified false paths from timing graphs , 2000, Proceedings 37th Design Automation Conference.

[2]  Vishwani D. Agrawal,et al.  Effective path selection for delay fault testing of sequential circuits , 1997, Proceedings International Test Conference 1997.

[3]  Bruce Long,et al.  DFT advances in the Motorola's MPC7400, a PowerPC/sup TM/ G4 microprocessor , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).

[4]  Robert K. Brayton,et al.  Exact required time analysis via false path detection , 1997, DAC.

[5]  Krishna P. Belkhale,et al.  Timing analysis with known false sub graphs , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[6]  C. Pyron,et al.  DFT advances in the Motorola's MPC7400, a PowerPC G4 microprocessor. , 1999 .

[7]  Jacob A. Abraham,et al.  Transistor level synthesis and hierarchical timing optimization for cmos combinational circuits , 1999 .

[8]  Jacob A. Abraham,et al.  Critical path identification and delay tests of dynamic circuits , 1999, International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034).

[9]  Robert K. Brayton,et al.  Delay Models and Exact Timing Analysis , 1993 .