Assertion list for term "other semiconductor device".

Results from Ascent++: 1
die IsAother semiconductor device 0.25