Assertion list for term "bounded by outermost polysilicon stripes".
Results from Ascent++: 1
region (aspect of transistor) → ReceivesAction → bounded by outermost polysilicon stripes 0.31