Email Record: Design, analysis and test of logic circuits under uncertainty /