US 11,816,410 B2
System and method for formal fault propagation analysis
Dominik Strasser, Munich (DE); Jörg Grosse, Munich (DE); Jan Lanik, Munich (DE); and Raik Brinkmann, Munich (DE)
Assigned to Siemens Electronic Design Automation Gmbh, Munich (DE)
Filed by SIEMENS ELECTRONIC DESIGN AUTOMATION GMBH, Munich (DE)
Filed on Aug. 30, 2022, as Appl. No. 17/899,210.
Application 17/899,210 is a continuation of application No. 16/620,622, granted, now 11,520,963, previously published as PCT/EP2018/066315, filed on Jun. 19, 2018.
Application 16/620,622 is a continuation in part of application No. 15/626,674, filed on Jun. 19, 2017, abandoned.
Claims priority of application No. 100321 (LU), filed on Jun. 19, 2017.
Prior Publication US 2022/0414306 A1, Dec. 29, 2022
Int. Cl. G06F 30/3323 (2020.01); G01R 31/3183 (2006.01); G01R 31/28 (2006.01); G06F 9/30 (2018.01)
CPC G06F 30/3323 (2020.01) [G01R 31/2839 (2013.01); G01R 31/2844 (2013.01); G01R 31/31835 (2013.01); G01R 31/318307 (2013.01); G01R 31/318314 (2013.01); G06F 9/30098 (2013.01)] 12 Claims
OG exemplary drawing
 
1. A computer-implemented method for calculation and display of a fault propagation path, the method comprising:
identifying, by a computing device, a fault location of a fault in an electrical circuit;
identifying, by the computing device, an observation point in the electrical circuit in which the fault has propagated from the fault location to the observation point;
computing, by the computing device, a fault path from the fault location to the observation point; and
displaying, in a waveform viewer, all impacted signals in the fault path in an ordered list from the fault location to the observation point in order of their creation.