Ascent++
Search
Assertion list
gain
(
aspect
of
amplifier
)
→ HasProperty
Results from
Ascent++
:
7
gain
→
HasProperty
→
constant
0.60
gain
→
HasProperty
→
high
0.56
gain
→
HasProperty
→
low
0.52
gain
→
HasProperty
→
lower
0.46
gain
→
HasProperty
→
higher
0.43
gain
→
HasProperty
→
positive
0.32
gain
→
HasProperty
→
sufficient
0.31