Accelerated Verification Of Integrated Circuits Against The Effects Of Process, Voltage And Temperature Variations