Research of alarm correlations based on static defect detection | Synapse