A general framework for probabilistic low-power design space exploration considering process variation | IEEE Conference Publication | IEEE Xplore