Assertion list
led (primary) → HasPrerequisite

Results from Ascent++: 10
ledHasPrerequisite driver 0.56
ledHasPrerequisite current 0.49
ledHasPrerequisite a series resistor 0.43
ledHasPrerequisite lot less power 0.34
ledHasPrerequisite 20ma 0.31
ledHasPrerequisite a lot of work 0.29
ledHasPrerequisite energy-absorbing filters 0.29
ledHasPrerequisite less maintenance 0.28
ledHasPrerequisite a circuit board 0.25
ledHasPrerequisite efficient driver 0.25