关于lowpower 形式验证的解释

刚才看到朋友问formality没有发现level shifter 错误的问题。在这里简单给大家介绍下关于lowpower 形式验证的问题lowpower的形式验证，基本分成3类
（1） 结构性验证：主要检查设计中lowpower结构的问题，如 lowpower cell missing ，incorrect lowpower cell。
工具：cadence conformal lowpower（golden），Atrenta spyglass lp， synopsys MVRC
（2） 等效性验证：检查加了低功耗单元后功能上的一致。对于levelshifter无效，levelshifter会被等效成buffer。主要是影响iso cell

工具：cadence conformal lowpower（golden）， synopsys Formality
（3)功能性验证：主要是检查power control模块状态机的问题

工具：cadence conformal lowpower/IFV， synopsys MVsim

有道理啊，长知识

能否提供下，synopsys mvsim和mvrc这两个工具的下载链接。多谢了小编！

low power 验证 verdi_lp

good info