德克薩斯州AUSTIN-IC表征提供商Silicon Metrics Corp.將推出基于SiliconSmart Models的產(chǎn)品線。該系列產(chǎn)品包括該公司為邏輯設(shè)計人員提供的首個產(chǎn)品 - 一種可延長靜態(tài)時序分析儀精度的時序簽核工具。

新產(chǎn)品線的一部分是生成開放式庫API(OLA)的工具 - 兼容SiliconSmart模型。 Silicon Metrics聲稱這些模型使用的動態(tài)方法比現(xiàn)在的固定靜態(tài)模型更準(zhǔn)確。該公司還表示，其工具可以取代常用的標(biāo)準(zhǔn)延遲格式(SDF)反標(biāo)注流程。

Cellrater，該公司的第一個工具，已更名為SiliconSmart CR。該產(chǎn)品有望對IC細(xì)胞庫進(jìn)行準(zhǔn)確表征。新產(chǎn)品是生成模型的SiliconSmart OMC(開放模型編譯器)和SiliconSmart TSO(定時簽核)，它可以精確地提升定時分析器。

“靜態(tài)，固定的模型是Silicon Metrics公司總裁兼首席執(zhí)行官Callan Carpenter表示，目前該行業(yè)的標(biāo)準(zhǔn)格式已經(jīng)失去了它的實(shí)用性。 “你今天真正需要的是更精確的表征，你必須將這種表征與算法相匹配。”

SiliconSmart模型提供了一個實(shí)例 - 特定操作點(diǎn)(ISOP)功能。 Carpenter說，這很重要，因?yàn)樾酒瑑蓚?cè)的兩個NAND門可能會受到熱梯度，IR壓降或交叉耦合的影響。因此，供電電壓可能會有所不同，但這只能通過逐個實(shí)例建模來顯示。

精心設(shè)計

此外，SiliconSmart模型使用“選擇性細(xì)化”方法在性能和準(zhǔn)確性方面提供最佳平衡。給定模型可以包括用于設(shè)計過程前端的基于表格的表示，具有用于后端優(yōu)化的電阻 - 電容延遲計算的非線性ISOP模型以及用于定時簽核的自表征模型。最高精度是一個完整的三維現(xiàn)場解決方案。

為了獲得SiliconSmart模型的優(yōu)勢，用戶必須首先使用SiliconSmart OMC創(chuàng)建它們，據(jù)該公司稱，它是第一個庫編譯器生成符合OLA的模型。 OLA是硅集成計劃(Si2)支持的新興行業(yè)標(biāo)準(zhǔn)。

OMC工具可以從SiliconSmart CR獲取輸入，但不需要它。進(jìn)入OMC的其他途徑包括Synopsys的Liberty格式，高級庫格式和延遲計算語言。該工具輸出OLA 1.1和IEEE 1481 API兼容模型。對于每個生成的模型，OMC都會生成一個自動驗(yàn)證測試套件。

SiliconSmart TSO使用SiliconSmart模型為現(xiàn)有的靜態(tài)時序分析工具提供Carpenter所謂的“Turbo boost”。 TSO嵌入在工具中，并在特定路徑上運(yùn)行，用戶認(rèn)為值得仔細(xì)觀察。如果需要，TSO可以選擇適當(dāng)?shù)某橄蠹墑e或用戶可以做出決定，一直到完整的3-D場解算器。不過，在運(yùn)行時間與準(zhǔn)確度之間存在權(quán)衡。

Carpenter表示，TSO可以通過允許反向注釋逐個實(shí)例的特性來顯著提高準(zhǔn)確性。它還消除了對SDF反向注釋的任何需求。據(jù)Carpenter稱，TSO的輸出“只是一組更好的有序路徑”，其報告的格式與主機(jī)時序分析器相同。

目前，Silicon Metrics僅宣布支持Cadence的時序分析器。 Ambit Envisia綜合套件。更重要的是支持Synopsys，它在時序分析和綜合方面處于領(lǐng)先地位。 Carpenter說發(fā)布任何公告還為時過早，但他指出Synopsys是Silicon Metrics的投資者，兩家公司已合作超過一年。