Design methodologies for robust low-power digital systems under static and dynamic variations