US Patent 11176299 Analysis of signal transitions in feedback circuits

An approach for detecting potential failures and sensitivities, based on preliminary verification of timing circuits which includes feedback and combinatorial loops for is disclosed. The approach comprises relating timing events by algebraic equations, breaking loops, and feedbacks by backward reference, and then propagate signals through time and netlist.