Assertion list for term "formed in the source/drain regions".

Results from Ascent++: 1
trench ReceivesActionformed in the source/drain regions 0.25