WDCM設(shè)計(jì)約束管理
客戶(hù)痛點(diǎn)
對(duì)于中小規(guī)模的企業(yè)：
1.通過(guò)腳本或者手寫(xiě)SDC，腳本維護(hù)高且無(wú)法保證質(zhì)量
?
2.新人需要學(xué)習(xí)SDC語(yǔ)法，學(xué)習(xí)成本高
1.人工審查耗時(shí)
?
2.版本控制復(fù)雜,很難保證不同版本之間的連續(xù)性和一致性
?
3.自動(dòng)化檢查不足
1.整合多個(gè)block或多個(gè)IP的sdc到TOP時(shí)，工作難度大且容易出錯(cuò)且很難保證一致性
?
2.設(shè)計(jì)更新后，SDC也需要隨著更新，人工更新SDC工作量大且容易出錯(cuò)
解決方案
解決方案—可視化界面設(shè)計(jì)SDC
解決方案—SDC質(zhì)量檢查
1.SDC語(yǔ)法檢查
?
2.讀取RTL 設(shè)計(jì)模型以及SDC文件時(shí)序模型，檢查時(shí)鐘定義是否沖突、時(shí)鐘關(guān)系是否沖突等
解決方案—SDC Merge和更新
1.使用WDCM，設(shè)計(jì)師可以將IP約束以及Block約束merge到最高級(jí)別
2.設(shè)計(jì)更新后，比如層次化調(diào)整，WDCM會(huì)讀取RTL的設(shè)計(jì)模型以及原始SDC，然后自動(dòng)更新SDC
解決方案—等價(jià)性檢查
SOC一般是層次化的結(jié)構(gòu)，多個(gè)Block整合到Top時(shí)，模塊級(jí)別的時(shí)序可能與頂層時(shí)序不一致,需要證明約束之間的時(shí)序等價(jià)性，WDCM提供了兩種等價(jià)性驗(yàn)證方法
1.頂層對(duì)頂層（Top to Top）– 用于檢查設(shè)計(jì)周期不同階段之間的約束等價(jià)性。
2.頂層對(duì)模塊（Top to Block）– 用于檢查模塊級(jí)別約束相對(duì)于頂層的上下文一致性。
-? 收益? -
- 提高效率
1.自動(dòng)化處理：工具可以用可視化的界面生成SDC、自動(dòng)更新和檢查，減少手動(dòng)操作的時(shí)間和工作量。
2.快速迭代：自動(dòng)化工具能夠快速響應(yīng)設(shè)計(jì)變更，及時(shí)更新SDC文件，縮短整體設(shè)計(jì)周期。
- 提升質(zhì)量
1.自動(dòng)化的檢查,包括語(yǔ)法檢查、邏輯檢查,確保SDC的質(zhì)量
2.確保不同層級(jí)（Block級(jí)別和Top級(jí)別）之間的SDC文件保持一致性和完整性
- 降低學(xué)習(xí)成本以及管理維護(hù)成本
1.可視化的操作界面降低學(xué)習(xí)SDC語(yǔ)法的難度
2.確保輸出件遵循統(tǒng)一的規(guī)范
請(qǐng)?zhí)顚?xiě)您的信息
華芯盛
深圳總部：深圳市龍華區(qū)民治北站數(shù)字創(chuàng)新中心B棟2205
長(zhǎng)沙公司：長(zhǎng)沙市岳麓區(qū)柏寧地王廣場(chǎng)南棟20013
常州公司：常州市新北區(qū)三晶工業(yè)園2號(hào)樓B418
?
銷(xiāo)售熱線：18874772409
人力資源熱線：13418638862
?