Assertion list
circuit (primary) → HasA

Results from Ascent++: 52
circuitHasA load 0.84
circuitHasA resistor 0.54
circuitHasA output 0.52
circuitHasA inductor 0.52
circuitHasA fuse 0.51
circuitHasA high input impedance 0.51
circuitHasA function 0.48
circuitHasA limit 0.47
circuitHasA component 0.47
circuitHasA outlet 0.45
circuitHasA coil 0.43
circuitHasA a dc solution 0.42
circuitHasA two inputs 0.41
circuitHasA breaker 0.37
circuitHasA transistor 0.37
circuitHasA input 0.36
circuitHasA voltage 0.35
circuitHasA two resistors 0.34
circuitHasA led 0.33
circuitHasA ground 0.33
circuitHasA a voltage source 0.32
circuitHasA current sources 0.32
circuitHasA low power consumption 0.32
circuitHasA a power source 0.30
circuitHasA common terminal 0.27
circuitHasA two states 0.27
circuitHasA configuration 0.26
circuitHasA different voltages 0.26
circuitHasA reactive components 0.26
circuitHasA same structure 0.26
circuitHasA a control node 0.25
circuitHasA a plurality of switches 0.25
circuitHasA a resistance of one ohm 0.25
circuitHasA address decoders 0.25
circuitHasA electronic eye 0.25
circuitHasA energy storage elements 0.25
circuitHasA five grandstand areas 0.25
circuitHasA gap 0.25
circuitHasA independent voltage 0.25
circuitHasA led indicator 0.25
circuitHasA mutual inductors 0.25
circuitHasA reset signal source 0.25
circuitHasA same voltage 0.25
circuitHasA small hole 0.25
circuitHasA tag 0.25
circuitHasA three large 430pf capacitors 0.25
circuitHasA two or more branches 0.25
circuitHasA unity loop gain 0.25
circuitHasA vacuum valves 0.25
circuitHasA voltage levels 0.25
circuitHasA current limiting feature 0.16
circuitHasA desired property 0.16