Assertion list
region (aspect of transistor ) → CapableOf

Results from Ascent++: 5
regionCapableOf overlap with the source 0.31
regionCapableOf comprise a plurality of recesses 0.25
regionCapableOf display the routing setup report 0.25
regionCapableOf overlap with first power line 0.25
regionCapableOf overlap with the drain 0.25