形式验证工具: Synopsys的Formality Cadence LEC(Logic Equivalence Check)