A design automation method is provided which reduces complication of design work resulting from {HEAD ~ individual verification} of {TAIL ~ a plurality} of objects to be verified, for example, electromigration and hot carrier effect 
of
A design automation method is provided which reduces complication of design work resulting from { HEAD ~ individual verification } of { TAIL ~ a plurality } of objects to be verified , for example , electromigration and hot carrier effect
OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH