Assertion list for term "formed in the semiconductor layer".

Results from Ascent++: 1
drain ReceivesActionformed in the semiconductor layer 0.30