Conformal lec这个是cadence的工具是干啥的?

Viewed 37

Conformal lec这个是cadence的工具是干啥的?

1 Answers

做逻辑等价性检查的,检查RTL与RTL、RTL与网表、网表与网表是否逻辑等价。是形式验证的一种,检查综合、DFT、APR等阶段有没有误改变设计的逻辑。