[原创] 关于lowpower 形式验证的解释

taotao_ic

刚才看到朋友问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

icfbicfb

有道理啊，长知识

lylchmm

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

Rofia

low power 验证 verdi_lp

skjeon78

good info

金角大王G

恩恩，感谢感谢~~

ddlo999

look look