Assertion list
class d amplifier (subgroup of amplifier ) → HasProperty

Results from Ascent++: 1
class d amplifierHasProperty efficient 0.81