Performance robustness analysis of VLSI circuits with process variations based on Kharitonov's theorem | IEEE Conference Publication | IEEE Xplore