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