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