我們都知道，在做hold time檢查的時(shí)候，是需要從lib中讀取reg的hold requirement time，或者說(shuō)hold margin。

最基本的，hold margin應(yīng)該也是一個(gè)input transition及output load的函數(shù)。那么，如果考慮socv/pocv的時(shí)候，hold margin的mean和sigma值要如何計(jì)算呢？

其實(shí)我對(duì)這個(gè)問(wèn)題的理解還不夠深入，感覺(jué)還是比較復(fù)雜的，我只能大概說(shuō)一下我的想法。Mean值就比較樸素，應(yīng)該可以直接查lib得到。

不過(guò)需要注意的是，有些lib可能在創(chuàng)建的時(shí)候就考慮到了sigma的影響，為了更加悲觀一些，這種lib就會(huì)在hold margin的mean值上已經(jīng)加上了一些sigma的影響，這種lib的hold margin會(huì)比正常的要小一點(diǎn)，具體是怎么計(jì)算的可能真的在我的能力范圍之外了。

那么，hold margin的sigma值怎么得來(lái)的呢？之前我的理解很簡(jiǎn)單，認(rèn)為和一般查cell delay的sigma一樣，讀取lvf文件即可。

但是今天發(fā)現(xiàn)事情并沒(méi)有如此質(zhì)樸，它的sigma是要被前面一系列delay的sigma影響的。這有點(diǎn)不好理解，我暫時(shí)也不知道為什么會(huì)被前面的delay sigma影響。

首先我們知道一條path上，最終delay的分布的mean值是所有cell及net mean值的和，最終delay分布的sigma值是所有cell及net sigma的平方和再開(kāi)根號(hào)。好像是data path的delay sigma會(huì)影響到hold margin的sigma，launch path貌似沒(méi)有影響。

最終好像也有不同的計(jì)算方式，一種是算數(shù)相加，把path delay sigma與lib中查到的hold margin的假的sigma直接加起來(lái)，還要乘以相應(yīng)系數(shù)，得到hold margin真的sigma。另一種是取他們的平方和開(kāi)根號(hào)，再乘系數(shù)。

現(xiàn)在我也在努力找這部分的資料，但是感覺(jué)還是有點(diǎn)少，了解的不夠深，上面寫(xiě)的都是半猜半推理的，有可能不對(duì)，如果有什么想法歡迎與我討論。

另外我還想問(wèn)，transition的sigma要考慮進(jìn)去嗎，因?yàn)椴煌膖ransition不是會(huì)對(duì)應(yīng)不同的cell的delay嗎？