Verifying_UPF_Designs_with_Retention_Registers.D-2010.03

creese · 发表于 2010-11-16 14:22:20

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

x

对于lowpower设计如果使用了retention register来保存power gating circuit的status，那么在做formality时就要有一些特殊的要求，这篇文档详细介绍了对synospsys的UPF流程用formality来进行验证的方法。

mtwumtwu · 发表于 2010-11-16 15:53:29

good reference

zh123456789 · 发表于 2010-11-16 17:32:56

谢谢啊

nslnsl · 发表于 2010-11-22 14:12:10

good!!!!!!

along520 · 发表于 2010-11-24 15:51:30

thanks

gaconht · 发表于 2010-11-24 19:22:03

thanks so much

nslnsl · 发表于 2010-11-28 10:31:40

学习了！！！

bobo1982 · 发表于 2011-1-22 20:49:53

thanks

jefffree · 发表于 2011-2-10 12:01:35

bu cuo de zi liao duo xie

hyperion007 · 发表于 2011-4-2 14:22:47

非常很好

[资料] Verifying_UPF_Designs_with_Retention_Registers.D-2010.03