Process variation-aware approximation for efficient timing management of digital circuits | IEEE Conference Publication | IEEE Xplore