Design, Analysis and Test of Logic Circuits Under Uncertainty