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

taotao_ic · 发表于 2015-1-20 20:29:31

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

刚才看到朋友问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 · 发表于 2015-1-21 11:22:02

有道理啊，长知识

lylchmm · 发表于 2015-11-23 02:05:30

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

Rofia · 发表于 2015-11-23 10:21:33

low power 验证 verdi_lp

skjeon78 · 发表于 2016-1-24 14:17:38

good info

金角大王G · 发表于 2020-12-18 14:24:40

恩恩，感谢感谢~~

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

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /2