Assertion list
circuit (primary) → IsA
Results from Ascent++: 5
circuit → IsA → closed path 0.45
circuit → IsA → path 0.36
circuit → IsA → physical path 0.26
circuit → IsA → a nmos device 0.25
circuit → IsA → deenergized by circuit protecti… 0.25