标签： formality

在当前的形式验证的领域，主要有两个工具，一个就是Cadence的conformal，另外一个就是Synopsys的formality（以下简称FM）。 通常情况下，形式验证的工具的主战场，是在RTLv … Continue reading 形式验证formality的原理,formality等价性验证