18video性欧美19sex,欧美高清videosddfsexhd,性少妇videosexfreexxx片中国,激情五月激情综合五月看花,亚洲人成网77777色在线播放

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內(nèi)不再提示

我們該如何應對SOC中越來越龐大和復雜的SDC約束?

roborobo_0706 ? 來源:ExASIC ? 2024-03-13 14:52 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

SOC設計變得越來越復雜,成本越來越高,設計和驗證也越來越困難。設計尺寸、眾多的IP、先進技術節(jié)點、時鐘和時鐘域數(shù)量的增加,以及multi-mode/multi-coner組合中為時序收斂造成設計約束變得越來越復雜。為高效的應對復雜的設計約束,需要一個完整的產(chǎn)品來生成、管理,整合和驗證與靜態(tài)時序分析引擎相關的設計約束,以確保設計的正確性。

在約束、時鐘或時序方面的錯誤所造成的巨大代價通常迫使設計團隊采取最小化策略——設計一個完全最小的、安全的、最不容易出錯的時序約束集合。設計領域經(jīng)驗豐富的領導者認識到這是一個復雜的、多方面的問題,需要各種能力和技術來解決。簡單的結構或語義工具和方法只能捕獲簡單的問題,而且會產(chǎn)生大量的誤報信息,需要設計人員進行檢查。一個完善的解決方案應該是輔助和幫助設計團隊創(chuàng)建設計約束條件,覆蓋設計需求,使其滿足功耗、性能和面積目標,同時最小化由于時鐘或時序問題而導致的其他風險。

為解決上述問題,Excellicon公司提供了Conman和Concert的組合解決方案,來幫助設計公司應對各種在設計中出現(xiàn)的SDC問題。

Conman:設計約束文件的編譯和管理

ConMan是第一個商用的形式化設計約束編譯器工具,它可以自動為任何層次結構和SoC的任何模式生成SDC,從而大大縮短了時序收斂的周期。ConMan提供了一種直觀的方法,可以自動編譯和管理針對于不同設計的sign off質(zhì)量級別的、構造及正確的時間約束文件,且工具已經(jīng)通過ISO2626認證。

ab42d178-e088-11ee-a297-92fbcf53809c.png

ConMan還通過在設計周期的早期將前端與后端對齊來重新定義時序約束,從而消除了仿真測試中假設的時序與SDC文件中用于實現(xiàn)時序之間的斷層。 ConMan生成并維護單一數(shù)據(jù)源,供前端和后端設計人員使用,以捕獲、生成和管理所有操作模式的設計時序約束,同時在設計的所有階段向設計人員提供反饋。使用ConMan,設計人員可以從前端工程師開始RTL開發(fā),一直到后端團隊的實現(xiàn)階段,開始生成時序約束。所有信息通過ConMan跟蹤,并可以通過報告或可視化的模擬計時數(shù)據(jù)進行查看。

ab552cb0-e088-11ee-a297-92fbcf53809c.png

設計人員可以手動提供時序信息,也可以選擇從舊的SDC或通過設計層次結構的任何塊的仿真結果提取時序信息。ConMan使用其強大的形式化符號仿真引擎自動驗證所有的輸入數(shù)據(jù),然后在設計層次結構中組裝和傳播所有的時序數(shù)據(jù),解決時序沖突,并在需要時向設計師提供數(shù)據(jù)以進一步細化。

ConMan平臺包含以下組件:

僅以RTL或gate作為輸入的多模式約束生成Multi-Mode Constraints

約束管理

約束設定的提升(promotion)

時鐘可視化與分析

Multi-Mode Constraints Generation

ConMan生成SDC格式的全面時序約束,適用于任何設計層次和任何模式。不需要SDC語法知識。

ab64f258-e088-11ee-a297-92fbcf53809c.png

sdc用于任何層次結構,任何模式和任何類型- RTL或Gates

不同類型:單模式,合并模式-層次化或者扁平化100%發(fā)現(xiàn)所有時鐘和模式引腳

完整的SDC時序約束,包含時鐘,時序異常,Case Analysis,IO延遲,時鐘組,drc等。

單數(shù)據(jù)庫多模式,RTL和Gate的時序約束

約束管理

約束管理

ConMan提供了Excel的無縫接口,通過該接口,所有的時序約束都可以在工具外部進行管理或修改。這種雙向接口允許設計師使用熟悉的Excel電子表格格式來檢查時序數(shù)據(jù),并在需要時修改它。

ab7ec8ae-e088-11ee-a297-92fbcf53809c.png

約束條件的提升(Promotion)

目前,約束的大多數(shù)傳播都是使用操作層次分隔符的手工方法完成的。這種技術增加了在編輯過程中引入錯誤和丟失約束的風險。Excellicon的多傳播功能不僅自動化方式節(jié)省設計師手工編輯數(shù)據(jù)需要花費數(shù)周的過程,而且還為設計師提供了很大的靈活性來處理他們可能遇到的任何情況,既然他們試圖生成適當?shù)母哔|(zhì)量的約束。

ab8c75e4-e088-11ee-a297-92fbcf53809c.png

ConMan提供了三種技術,用于將較低級別的時序約束提升到層次結構的任何層。支持混合使用這三種方法。

集成方法- IP時序約束允許改變作為頂層設計結構的結果

隔離方法—IP時序約束保持原樣。

上下文方法——頂層和低級別的約束都可用,但它們不在彼此的上下文中。隨著設計者定義和指導的時序約束的增量傳播而進行推廣。

時鐘可視化與分析

理解任何設計的時鐘總是最困難的任務之一,并且非常容易出錯?,F(xiàn)有的解決方案繪制了一個完整的邏輯示意圖,從其中識別時鐘邏輯不僅是困難的,有時是不可能的。

ConMan利用一種直觀的抽象方法來顯示時鐘圖(自動從HDL中提取),從中設計者可以快速理解任何層次結構、全平面或分層視圖的時鐘邏輯。此外,ConMan使用其正式引擎使設計人員能夠執(zhí)行時鐘傳播的“假設”分析,以創(chuàng)建不同的操作模式。

ab9c83d0-e088-11ee-a297-92fbcf53809c.jpg

ConCert :約束證明平臺

ConCert 是一個sign off平臺,為 ASIC/SOC 或 FPGA 流程的任何階段的提供時序約束驗證、降級(Demotion)和預算(Budgeting)獨一無二的系統(tǒng)。

abac57f6-e088-11ee-a297-92fbcf53809c.jpg

ConCert 平臺包含以下組件:

約束驗證

Exception工具箱

Demotion和Budgeting工具箱

等價檢查

設計分析

約束驗證

ConCert 使用形式化算法來驗證時序約束,從而提供對設計及其相關時序約束的準確深入分析。ConCert 的約束驗證方法不同于當今市場上可用的傳統(tǒng)工具。傳統(tǒng)工具主要是通過使用數(shù)千條規(guī)則來關注語法和基本正確性的 SDC linter。這總是會在輸出報告中產(chǎn)生大量噪音。此外,時序意圖丟失并且無法通過此類傳統(tǒng)工具進行分析。

ConCert 除了 linting 之外,還利用其形式化引擎來分析設計和 SDC 文件的行為。提取設計的時序意圖和相關的 SDC 文件并進行比較,以生成精確的分析報告。這種方法可以消除噪聲輸出,并將約束驗證領域擴展到下一代,遠遠超出語法和基本檢查。

abc3bdba-e088-11ee-a297-92fbcf53809c.png

此外,通過 ConCert,設計人員還可以在原始 SDC 缺少約束的情況下生成增量 SDC,或者使 SDC 信號完整性相兼容。

例外工具箱

時序約束文件通常包含大量異常,例如錯誤路徑 (FP) 和多周期路徑 (MCP)。此類例外通常分為“結構”和“時間意圖”例外。結構異常取決于設計結構,可以通過形式化技術進行驗證。然而,時序意圖類型的異常與設計結構無關,即它們基于設計人員的意圖(例如對所有復位引腳設置錯誤路徑約束),因此不能使用形式化技術來驗證它們。

典型時序約束文件中大約 20% 的 FP 和 MCP 異常屬于結構類型。然而,挑戰(zhàn)在于其余 80% 的例外情況,這些例外情況屬于 RTL 設計人員在功能設計時定義的時序意圖性質(zhì)。由于形式化技術不能用于此類異常,設計人員傳統(tǒng)上通過手動審查約束文件來驗證它們。

abddc502-e088-11ee-a297-92fbcf53809c.png

ConCert-ET 是 ConCert 的一個插件,是當今市場上唯一的工具,不僅可以通過形式化方式驗證結構異常,還可以使用專有方法驗證時序意圖類型的異常。

約束模擬

通常,對 RTL 進行仿真以確保功能正確性。與設計相關的時序以 SDC 格式捕獲,與 RTL 功能無關。設計的兩個方面,即功能和時序,僅在設計周期后期執(zhí)行 SDF 反標的GLS仿真時才對齊。

即使有了約束驗證工具、LEC、STA、CDC 分析和故障分析工具等靜態(tài)工具的可用性,人們?nèi)詴僭O不需要 GLS。然而,今天不存在可以驗證時序約束的時序意圖性質(zhì)的 EDA 解決方案。時序意圖是指獨立于設計結構但基于設計者意圖的約束。例如,SDC文件中定義的復雜時鐘波形;或在 SDC 文件中指定的錯誤/多周期路徑不是基于邏輯結構,而是基于設計人員的經(jīng)驗和只是來指定。

這就需要 GLS 來捕捉這些類型的問題。但是,GLS 的一個主要問題是設置 GLS 環(huán)境是一項極其繁瑣的任務。為了規(guī)避這些問題并幫助在 ASIC 周期的早期階段仿真設計(無需通過 SDF 進行延遲反標),Excellicon 開發(fā)了一種 ABSV(基于斷言的 SDC 驗證)功能,其中相關的時序約束被轉(zhuǎn)換為可在仿真期間使用的 SVA。

abfbe820-e088-11ee-a297-92fbcf53809c.png

這種方法消除了運行 SDF反標的 GLS 的需要,從而顯著減少了循環(huán)迭代時間。SVA 也可以在 RTL 階段進行仿真,從而完全簡化整個流程。

ac05e816-e088-11ee-a297-92fbcf53809c.png

降級和預算

ConCert-BT 是 ConCert 的一個附加組件,使設計人員能夠以從 RTL 到物理實現(xiàn)的不同精度級別執(zhí)行約束降級(demotion)和分層預算(budgeting)。

該產(chǎn)品具有完整的功能:

約束降級

預算生成

基于百分比

基于邏輯的層次

基于固有單元延遲和布局寄生的延遲

驗證所有設計macros的預算

手動細化預算

根據(jù) STA 時序slack值自動重新分配時序預算

具有每個macros過去的預算歷史進行分層預算管理

ac14abbc-e088-11ee-a297-92fbcf53809c.png

使用 ConMan,設計人員可以將 IP 約束提升到頂層,隨后通過 ConCert-BT 可以將約束降級到 P&R 活動的宏觀層面。ConCert-BT 在配置工具以選擇性地降級某些約束或自動降級所有約束方面提供了充分的靈活性。

隨著設計在物理實現(xiàn)過程的趨于穩(wěn)定,時序預算也會不斷變化。這包括對 ECO 的 RTL 更改,這可能會導致設計中各個模塊之間的時序不平衡,這需要調(diào)整 IO 延遲值以解決macros之間的時序違反問題。設計人員必須找到一種重新分配預算的方法,以解決False路徑的時序問題;手動完成的方式會導致長時間的迭代,并且通常是芯片的次優(yōu)時序。

由于物理實現(xiàn)工程師團隊在他們自己的模塊上并行工作,接口時序必須考慮準確的預算,以使頂層時序順利通過而沒有任何違反。前端設計人員可以使用 ConCert-BT 在實施周期的早期階段使用基于百分比或基于邏輯的預算生成適當?shù)念A算,而后端工程師可以利用最強大的物理預算生成使用平面圖信息進行預算,并在整個時序收斂周期中管理預算,包括創(chuàng)建時序模型,從而在流片前進行最終迭代。

ac2bafba-e088-11ee-a297-92fbcf53809c.png

ConCert-BT 提供了一個全面的解決方案,不僅可以跨macros驗證現(xiàn)有預算的正確性,還可以通過其直觀的 Budget Map GUI 顯示預算。通過 BudgetMap,設計人員可以輕松調(diào)試失敗的路徑并采取糾正措施。

等價檢查

隨著設計從一個設計階段進展到另一個設計階段,約束總是會發(fā)生變化。可能會添加新的約束或修改現(xiàn)有的約束,這可能會導致時序約束不等效并失去最初的意圖。

由于 SoC 是層次化設計的,因此可能存在模塊級時序可能與頂層時序不相關的情況。當執(zhí)行頂層完全扁平(flatten) STA 時,這可能會出現(xiàn)問題。

因此,需要證明約束之間的時序等效性。ConCert 提供兩種等效方法:

Top to Top——檢查設計周期不同階段之間的約束等效性

Top to Block – 檢查頂層約束和模塊間的約束等效性

ac3ab258-e088-11ee-a297-92fbcf53809c.png


審核編輯:劉清

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用,如有內(nèi)容侵權或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • EDA工具
    +關注

    關注

    5

    文章

    274

    瀏覽量

    33620
  • SoC設計
    +關注

    關注

    1

    文章

    150

    瀏覽量

    19434
  • 信號完整性
    +關注

    關注

    68

    文章

    1469

    瀏覽量

    97534
  • RTL
    RTL
    +關注

    關注

    1

    文章

    393

    瀏覽量

    62128
  • SDC
    SDC
    +關注

    關注

    0

    文章

    50

    瀏覽量

    16083

原文標題:SOC中的SDC約束正變得越來越龐大和復雜,我們該如何應對

文章出處:【微信號:ExASIC,微信公眾號:ExASIC】歡迎添加關注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    IC datasheet為什么越來越薄了?

    剛畢業(yè)的時候IC spec動則三四百頁甚至一千頁,這種設置和使用方法很詳盡,但是這幾年IC datasheet為什么越來越薄了,還分成了IC功能介紹、code設置、工廠量產(chǎn)等等規(guī)格書,很多東西都藏著掖著,想了解個IC什么東西都要發(fā)郵件給供應商,大家有知道這事為什么的嗎?
    發(fā)表于 03-06 13:55

    新人報道,祝論壇越來越

    新人報道,祝論壇越來越旺。
    發(fā)表于 04-02 15:12

    藍牙技術越來越雞肋

    藍牙技術越來越雞肋熱43已有 1631 次閱讀2012-04-26 10:06標簽:藍牙技術 藍牙是現(xiàn)代數(shù)字無線領域中的一個小小奇跡,但這項技術正在變得越來越雞肋,讓一部分用戶深感無奈
    發(fā)表于 09-16 05:05

    為什么RF濾波器越來越重要?

    為什么RF濾波器越來越重要? 移動無線數(shù)據(jù)和4G LTE 網(wǎng)絡的快速增長導致了對新頻段以及通過載波聚合來組合頻段的需求不斷增長,以容納無線流量。3G 網(wǎng)絡只使用了大約五個頻段,LTE 網(wǎng)絡現(xiàn)在
    發(fā)表于 07-30 06:10

    請問時序約束文件SDC支持哪些約束

    時序約束文件SDC支持哪些約束?
    發(fā)表于 08-11 09:27

    看門狗功能在 MCU 應用中越來越重要

    由于多線程、實時和多任務嵌入式系統(tǒng)的情況紛繁復雜,使我們越來越難以預料微處理器會在什么時候出現(xiàn)問題。
    發(fā)表于 06-02 08:53 ?7次下載
    看門狗功能在 MCU 應用<b class='flag-5'>中越來越</b>重要

    如何將Altera的SDC約束轉(zhuǎn)換為Xilinx XDC約束

    了解如何將Altera的SDC約束轉(zhuǎn)換為Xilinx XDC約束,以及需要更改或修改哪些約束以使Altera的約束適用于Vivado設計軟件
    的頭像 發(fā)表于 11-27 07:17 ?5761次閱讀

    黑科技大盤點 機器人已經(jīng)在我們的生活中越來越普及

    近兩年,機器人已經(jīng)在我們的生活中越來越普及。可是你知道這些“黑科技”是怎么實現(xiàn)的嗎?不如先來看看今年最熱點、最有趣的機器人背后的秘密吧!
    發(fā)表于 12-11 15:40 ?1585次閱讀

    不得不承認人類越來越像人工智能了!

    算法當?shù)?為什么人類和人工智能越來越像? 算法告訴我們如何思考,而這正在改變我們。隨著計算機學會如何模仿,我們是否正開始變得
    發(fā)表于 04-04 09:10 ?721次閱讀

    如何應對越來越強的物聯(lián)網(wǎng)攻擊

    物聯(lián)網(wǎng)應用越來越廣泛,針對物聯(lián)網(wǎng)的攻擊也日漸增加。
    發(fā)表于 07-24 10:03 ?806次閱讀

    自動駕駛供應鏈的關系越來越復雜 成本問題成發(fā)展的核心

    自動駕駛供應鏈的關系,正在變得越來越復雜。其中的核心問題,在于投入技術研發(fā)、驗證測試及量產(chǎn)的成本高居不下,而且看起來像是個“無底洞”。
    發(fā)表于 12-09 08:37 ?1313次閱讀

    看門狗功能在 MCU 應用中越來越重要

    由于多線程、實時和多任務嵌入式系統(tǒng)的情況紛繁復雜,使我們越來越難以預料微處理器會在什么時候出現(xiàn)問題。 在某種程度上獨立運行的服務程序是如此之多,其中一些很有可能會生存下來,而其它的則被鎖定、廢棄或者執(zhí)行無用代碼。
    發(fā)表于 02-09 11:08 ?2次下載
    看門狗功能在 MCU 應用<b class='flag-5'>中越來越</b>重要

    為什么FPGA在原型驗證中越來越重要

    升級。與此同時,隨著芯片制造工藝越來越先進,芯片設計的復雜度呈指數(shù)級增長。這種近乎矛盾的發(fā)展趨勢讓芯片設計公司面臨著巨大的創(chuàng)新壓力,同時先進工藝高昂的量產(chǎn)成本進一步增加了企業(yè)的經(jīng)營風險。
    的頭像 發(fā)表于 05-18 10:34 ?1787次閱讀
    為什么FPGA在原型驗證<b class='flag-5'>中越來越</b>重要

    可穿戴設備中的傳感器:尺寸越來越“小”,左右越來越“大”

    MEMS器件具有重量輕、體積小、成本低、功耗小等優(yōu)點,非常有利于MEMS器件在電信和消費電子等行業(yè)中的應用。近年來,MEMS技術在汽車行業(yè)尤其是包括安全氣囊系統(tǒng)在內(nèi)的車輛安全系統(tǒng)中越來越受到青睞。
    的頭像 發(fā)表于 05-20 15:01 ?3132次閱讀
    可穿戴設備中的傳感器:尺寸<b class='flag-5'>越來越</b>“小”,左右<b class='flag-5'>越來越</b>“大”

    我們的城市為什么越來越熱?

    全球氣候在變暖,我們焚燒石油,煤炭等化石燃料,產(chǎn)生了大量二氧化碳等溫室氣體,導致全球氣候變暖,尤其大陸氣溫升高,城市變得越來越熱。圖:上海前灘的夜晚,被太陽曬熱的建筑熱島效應夏天天太熱,在陽光
    的頭像 發(fā)表于 08-03 08:14 ?1345次閱讀
    <b class='flag-5'>我們</b>的城市為什么<b class='flag-5'>越來越</b>熱?