US8448111B2 - System and Method for Metastability Verification of Circuits of an Integrated Circuit