标签：cadence

如何使用Conformal进行形式验证？

一、LEC简介 Conformal的逻辑等价性检查（LEC）工具，是Encounter功能验证平台的一部分，用于验证从RTL到布局的复杂片上系统（SoC）设计。它不依赖于输入激励，通过数学解析的方式对电路的逻辑等效性进行完备验证，确保...