Design, analysis and test of logic circuits under uncertainty (2013)