Assertion list
amplifier (primary) → MadeOf
Results from Ascent++: 2
amplifier → MadeOf → silicon 0.31
amplifier → MadeOf → germanium 0.28