Ascent++
Search
Assertion list
collector
(
aspect
of
transistor
)
→ CapableOf
Results from
Ascent++
:
2
collector
→
CapableOf
→
flow through the transistor
0.30
collector
→
CapableOf
→
occur in case
0.09