1. A computer program product comprising program instructions stored by a computer-readable medium for directing operations of a computer during specification of an integrated circuit, comprising: first computer program code that enables a user to specify the existence of uncertainty in a least one circuit; and second computer program code that automatically implements the specified uncertainty as at least one programmable circuit.