Ascent++
Search
Assertion list
second phase
(
subgroup
of
phase
)
→ HasA
Results from
Ascent++
:
4
second phase
→
HasA
→
brunelleschi
0.39
second phase
→
HasA
→
donatello
0.39
second phase
→
HasA
→
higher resistance
0.25
second phase
→
HasA
→
leading edge voltage
0.25