Efficient Formal strategies to verify the robustness of the design