| CPC G01R 31/31725 (2013.01) | 20 Claims |

|
1. A computer-implemented method for automatic fault detection during a timing analysis comprising:
reading, using a processor, design and power intent information associated with an electronic design;
automatically identifying a plurality of inter-power domain paths from the design and power intent information;
automatically filtering the plurality of inter-power domain paths to identify one or more faulty inter-power domain paths using a graph-based approach, wherein identifying the one or more faulty inter-power domain paths reduces a search space; and
automatically generating a report depicting the one or more faulty inter-power domain paths.
|