US 12,406,128 B2
Automation for functional safety diagnostic coverage
Mehulkumar Kantibhai Gor, Bengaluru (IN); Vishal Ramkrishna Shenvi, Bangalore (IN); and Shekhar Sharan Bhatiya, Bangalore (IN)
Assigned to Synopsys, Inc., Sunnyvale, CA (US)
Filed by Synopsys, Inc., Mountain View, CA (US)
Filed on May 13, 2022, as Appl. No. 17/744,610.
Claims priority of provisional application 63/189,596, filed on May 17, 2021.
Prior Publication US 2022/0366120 A1, Nov. 17, 2022
Int. Cl. G06F 30/398 (2020.01); G06F 11/00 (2006.01)
CPC G06F 30/398 (2020.01) [G06F 11/004 (2013.01)] 20 Claims
OG exemplary drawing
 
1. A method comprising:
receiving circuit design information including functional safety (FuSa) information for at least one FuSa block that corresponds to a portion of a digital circuit, the FuSa information including a set of failure modes (FM) defining potential wrong values of a signal indicting an external factor manifesting an error within the at least one FuSa block, and for each failure mode, output port (Out) association information for each FuSa block;
receiving an identification of internal safety protected signals (Ps) and a diagnostic coverage for the FuSa block;
performing, by a processor, back tracing of a plurality of possible paths for an output port (Out) of the FuSa block up to one or more of inputs (In) or endpoints (Ep) of the FuSa block for each failure mode of each safety protected signal (Ps) and a corresponding diagnostic coverage;
determining an area for each possible path, including an area for at least one of the possible paths that reaches from an input to an output (InOut), or an endpoint to an output (EpOut); and
determining, based on given input diagnostic coverage (DC) and area calculated for each of the plurality of possible paths, a diagnostic coverage for each output and failure mode of the FuSa block.