Behavioral modeling of timing slack variation in digital circuits due to power supply noise | IEEE Conference Publication | IEEE Xplore