‹‹ 上一主题 | 下一主题 ››
发新话题
打印

[求助] 那位Formality高人知道这两个词是什么意思？

catcat1028

见习会员

Rank: 1

总资产
105 晶元 
金币
10 金币 
1# 大 中 小 发表于 2008-3-11 09:32 PM  只看该作者

那位Formality高人知道这两个词是什么意思？

1.UPF Formality Verification Flow是指什么样的formal verify flow呢？( S5 T* \6 q( P6 ]/ y6 w$ _5 r
2.Formality ESP是什么呢？

TOP

yeyewowo

小有名气

Rank: 3Rank: 3

总资产
286 晶元 
金币
30 金币 
2# 大 中 小 发表于 2008-3-29 02:43 PM  只看该作者
同问~顶楼主) S( ]7 Y4 @0 e% D8 ?, h
希望高手赐教

TOP

东方之子

正式会员

Rank: 2

总资产
189 晶元 
金币
10 金币 
3# 大 中 小 发表于 2008-3-31 10:39 AM  只看该作者
尚未研究formality呢。

TOP

powerg3

版主

Rank: 7Rank: 7Rank: 7

总资产
1122 晶元 
金币
0 金币 
4# 大 中 小 发表于 2008-8-16 10:03 PM  只看该作者
1.UPF Formality Verification Flow是指什么样的formal verify flow呢？, V" b. y$ P" |5 ~( t$ d
UPF: unifided power format
8 |( A8 [( R7 j. s+ |4 JUPF FOrmaility verification flow 用于使用低功耗设计方法的design! X3 p4 c1 S$ q! }* O; f
6 I: L$ X! d/ r- v0 V1 W! M7 I( T
2.Formality ESP是什么呢？
9 R0 ^* {. e% A5 V( G5 gVerifies full-custom and memory designs when including ESP echnology

TOP

‹‹ 上一主题 | 下一主题 ››
发新话题