Automatic verification of metastability effect

• 声称是面向自动化验证亚稳态效应