Abstract: In Formal Verification Environment, setup time and hold time are not honored by formal verification tool. To analyze the impact of metastability on functionality of the design in formal ...