Verifying_UPF_Designs_with_Retention_Registers.D-2010.03

iceone · 发表于 2011-5-22 03:12:09

谢谢啊谢谢啊

guozhujun1 · 发表于 2011-7-7 15:48:48

学习中。。

astonism · 发表于 2011-7-11 20:39:51

Good Job!!!

lubee2011 · 发表于 2011-10-14 23:33:18

[资料] Verifying_UPF_Designs_with_Retention_Registers.D-2010.03

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

lubee2011 · 发表于 2011-10-14 23:36:10

顶顶顶。

feiying_cq · 发表于 2011-10-21 12:31:11

POWER GATING 这个不错

jakeguo · 发表于 2011-10-31 09:55:10

灰常好，不错。

alisun · 发表于 2011-11-5 12:11:00

回复 1# creese

Good to know. Thanks.

afren · 发表于 2011-11-5 15:38:37

学习了，感谢

ddale · 发表于 2011-11-5 15:44:20

henhaode dongxi ,xiexie

[资料] Verifying_UPF_Designs_with_Retention_Registers.D-2010.03

站长推荐 /2