Method of automatically searching for leakage current path

An automatic leakage current detection system configured to:

• receive a circuit design description of an electronic circuit;
• analyze the circuit description to identify a first power rail terminal;
• search, starting from the first power rail terminal, for one or more current paths to a second power rail terminal via one or more circuit components;
• report, for at least one current path between the first power rail terminal and the second power rail terminal via the one or more circuit components, a leakage current path;
• and/or report that there are no leakage current paths if no current paths between the first power rail terminal and the second power rail terminal are identified.

A non-transitory computer-readable storage medium having stored thereon instructions that when executed by a computer cause the computer to carry out a method of automatically searching for one or more leakage current paths in an electronic circuit comprising:

• receiving a circuit design description of the electronic circuit;
• analyzing the circuit description to identify a first power rail terminal;
• searching, starting from the first power rail terminal, for one or more current paths to a second power rail terminal via one or more circuit components;
• reporting, for at least one current path between the first power rail terminal and the second power rail terminal via the one or more circuit components, a leakage current path;
• and/or reporting that there are no leakage current paths if no current paths between the first power rail terminal and the second power rail terminal are identified.