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