91欧美超碰AV自拍|国产成年人性爱视频免费看|亚洲 日韩 欧美一厂二区入|人人看人人爽人人操aV|丝袜美腿视频一区二区在线看|人人操人人爽人人爱|婷婷五月天超碰|97色色欧美亚州A√|另类A√无码精品一级av|欧美特级日韩特级

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

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

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

通過(guò)靜態(tài)時(shí)序分析驗(yàn)證設(shè)計(jì)的正確性

sally100 ? 來(lái)源:數(shù)字ICer ? 作者:數(shù)字ICer ? 2022-11-28 15:26 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

靜態(tài)時(shí)序分析介紹

傳統(tǒng)的電路設(shè)計(jì)分析方法是僅僅采用動(dòng)態(tài)仿真的方法來(lái)驗(yàn)證設(shè)計(jì)的正確性。隨著集成電路的發(fā)展,這一驗(yàn)證方法就成為了大規(guī)模復(fù)雜的設(shè)計(jì)驗(yàn)證時(shí)的瓶頸。

相對(duì)于動(dòng)態(tài)仿真方法,靜態(tài)時(shí)序分析方法要快很多,而且它能夠驗(yàn)證所有的門(mén)級(jí)電路設(shè)計(jì)的時(shí)序關(guān)系。

靜態(tài)時(shí)序分析最大的特點(diǎn)是不需要加入輸入測(cè)試向量,每一個(gè)時(shí)序路徑都自動(dòng)被檢測(cè)到。

靜態(tài)時(shí)序分析工具主要對(duì)設(shè)計(jì)電路中以下路徑進(jìn)行分析:

從原始輸入端到設(shè)計(jì)電路中的所有觸發(fā)器;

從觸發(fā)器到觸發(fā)器;

從觸發(fā)器到設(shè)計(jì)電路的原始輸出端口;

從設(shè)計(jì)電路的原始輸入端口到原始輸出端口。

時(shí)序路徑(Timing Path)

路徑1:從設(shè)計(jì)電路的原始輸入端口A到觸發(fā)器的數(shù)據(jù)端口D。

路徑2:從觸發(fā)器的CLK端到觸發(fā)器的數(shù)據(jù)輸入端口D。

路徑3:從觸發(fā)器的CLK端到設(shè)計(jì)電路的原始輸出端口Z。

路徑4:從設(shè)計(jì)電路的原始輸入端口A到設(shè)計(jì)電路的原始輸出端口Z。

觸發(fā)器的建立時(shí)間(Setup Time):

指的是時(shí)鐘信號(hào)變化之前數(shù)據(jù)保持不變的時(shí)間

觸發(fā)器的保持時(shí)間(Hold Time):

指的是時(shí)鐘信號(hào)變化之后數(shù)據(jù)保持不變的時(shí)間

時(shí)間裕量(Slack)

Slack是指信號(hào)在時(shí)序路徑上要求的時(shí)間和實(shí)際花費(fèi)的時(shí)間之差。

時(shí)鐘偏斜(Clock Skew)

時(shí)鐘偏斜是指從時(shí)鐘定義點(diǎn)到不同觸發(fā)器時(shí)鐘引腳的延時(shí)差。在可綜合的同步設(shè)計(jì)電路中,在一個(gè)時(shí)鐘沿第一個(gè)觸發(fā)器放出數(shù)據(jù),此數(shù)據(jù)在另一個(gè)時(shí)鐘沿(通常是接下來(lái)的那個(gè)時(shí)鐘沿)被第二個(gè)觸發(fā)器接收到。如果這兩個(gè)時(shí)鐘沿(發(fā)出數(shù)據(jù)的時(shí)鐘沿和接收數(shù)據(jù)的時(shí)鐘沿)是同一個(gè)時(shí)鐘源放出的,則在理想狀態(tài)下,兩個(gè)時(shí)鐘沿相差一個(gè)時(shí)鐘周期。但是由于兩個(gè)觸發(fā)器的時(shí)鐘路徑的不同,路徑上的延時(shí)會(huì)有一定的差別,接收數(shù)據(jù)的時(shí)鐘沿可能早到或晚到,這樣的話就會(huì)產(chǎn)生時(shí)鐘偏斜。

更多請(qǐng)查看 :

綜合與時(shí)序分析

PTPX功耗分析 | Average Power Analysis

PTPX功耗分析 | Peak Power Analysis

實(shí)例:用PrimeTime進(jìn)行時(shí)序分析

Primetime,縮寫(xiě)為PT,是一個(gè)獨(dú)立的STA工具。它不僅能夠在設(shè)計(jì)電路所要求的約束條件下檢查時(shí)序,還能對(duì)設(shè)計(jì)電路進(jìn)行全面的靜態(tài)時(shí)序分析。

(1)讀取設(shè)計(jì)電路數(shù)據(jù)

把電路的設(shè)計(jì)代碼文件讀入PT中,以便PT進(jìn)行分析。值得注意的是,PT做靜態(tài)時(shí)序分析的時(shí)候只能讀映射過(guò)的文件。

read_db-netlist_only.db#dbformat
read_verilog.sv#verilogformat
read_vhdl.svhd#vhdlformat
read_edif.edf#EDIFformat

(2)創(chuàng)建設(shè)計(jì)電路的約束條件

對(duì)設(shè)計(jì)電路設(shè)置約束條件,這樣才能得到接近實(shí)際情況的分析結(jié)果。通常需要設(shè)置相關(guān)的時(shí)鐘信號(hào)和輸入/輸出延時(shí)

create_clock-period40-waveform{020}CLK
set_clock_latency-source0.2CLK
set_clock_uncertainty-setup0.5-hold0.5CLK
set_dont_touch_networkCLK
set_ideal_networkCLK

(3)指定環(huán)境分析條件

除了一些語(yǔ)法上輕微的差別,PT的環(huán)境的設(shè)置命令與DC一致。

下面是常用的設(shè)置環(huán)境的命令:

set_wire_load_model-name
set_wire_load_mode
set_operating_conditions
set_load50[all_outputs]
set_input_delay10.0-clock[all_inputs]
set_output_delay10.0-clock[all_outputs]

(4)進(jìn)行靜態(tài)時(shí)序分析

report_timing:顯示時(shí)序路徑信息。
report_timing -delay max -from a -to z2
report_timing -delay min -from a -to z2

上述第一條命令用于建立時(shí)間沖突的檢查,第二條命令用于保持時(shí)間沖突的檢查。

report_constraint:顯示設(shè)計(jì)電路的相關(guān)約束信息。
report_constraint -all_violators

檢查時(shí)序沖突和修正沖突

由于靜態(tài)時(shí)序工具把整個(gè)設(shè)計(jì)電路打散成時(shí)序路徑,分析不同路徑的時(shí)序信息,得到建立時(shí)間和保持時(shí)間的計(jì)算結(jié)果。而靜態(tài)時(shí)序分析的精髓就在于判斷和分析這兩個(gè)參數(shù)的結(jié)果。

消除建立、保持時(shí)間的沖突方法

消除建立時(shí)間的沖突方法如下:

加強(qiáng)約束條件重新綜合設(shè)計(jì)電路或?qū)Ξa(chǎn)生沖突的時(shí)序路徑進(jìn)行進(jìn)一步的優(yōu)化;

通過(guò)做ECO(Engineering Change Order)來(lái)消除沖突;

如果以上方法都不能產(chǎn)生效果,那可能只好通過(guò)修改RTL代碼來(lái)實(shí)現(xiàn)。

消除保持時(shí)間沖突方法如下:

絕大多數(shù)的布局布線工具都具有自動(dòng)消除保持時(shí)間沖突的功能,可以通過(guò)這些工具來(lái)實(shí)現(xiàn);

如果工具不能實(shí)現(xiàn)的話,可以在產(chǎn)生沖突的時(shí)序路徑上通過(guò)ECO添加緩沖器邏輯,使得數(shù)據(jù)到達(dá)的時(shí)間符合保持時(shí)間的檢查,以此消除沖突。

統(tǒng)計(jì)靜態(tài)時(shí)序分析

靜態(tài)時(shí)序分析很久以來(lái)都被看作是百萬(wàn)門(mén)級(jí)芯片時(shí)序分析的基本方法及設(shè)計(jì)完成的檢驗(yàn)。然而,隨著深亞微米技術(shù)進(jìn)一步下降到90 nm及其以下的線寬,設(shè)計(jì)者在進(jìn)行靜態(tài)時(shí)序分析時(shí)面臨著太多的不確定性。

用統(tǒng)計(jì)表態(tài)時(shí)序分析(SSTA,Statistical Static Timing Analysis)的方法有可能估計(jì)出許多不確定的現(xiàn)象,幫助設(shè)計(jì)者精調(diào)設(shè)計(jì),減少不必要的過(guò)度設(shè)計(jì),使得設(shè)計(jì)更可靠,進(jìn)而提高良率。

傳統(tǒng)的時(shí)序分析的局限

制程變異的來(lái)源有很多,主要包括每批晶圓的差異、晶圓與晶圓間的差異、裸片間的差異,以及裸片上的差異等。

將電路置于最好條件(Best Case)、最壞條件(Worst Case)等多種情況下進(jìn)行分析,但是對(duì)于晶片上的制程變異卻無(wú)能為力。因?yàn)樵谧顗臈l件分析時(shí),靜態(tài)時(shí)序分析總是假定一個(gè)晶圓上的電路同時(shí)都處于最壞情況下,而實(shí)際上,同一個(gè)晶圓上的電路不可能同時(shí)都處于最壞的條件下(這可由分析版圖或者工藝得來(lái))。

在一個(gè)芯片上不同位置上畫(huà)了兩個(gè)完全一樣的MOS管,制造出來(lái)后,兩只MOS管的性能很難保證完全一樣。當(dāng)工藝在90 nm以下時(shí),誤差會(huì)高達(dá)20%~30%。傳統(tǒng)式的靜態(tài)時(shí)序分析是將芯片上所有器件按同一個(gè)工藝及工作條件下的時(shí)間路徑上的延時(shí)加起來(lái),因而傳統(tǒng)式的靜態(tài)時(shí)序分析對(duì)于延遲的估計(jì)過(guò)于悲觀。

統(tǒng)計(jì)靜態(tài)時(shí)序分析的概念

在靜態(tài)時(shí)序分析中,信號(hào)的到達(dá)時(shí)間和門(mén)延遲都是確定的數(shù)值。

在統(tǒng)計(jì)靜態(tài)時(shí)序分析中,當(dāng)工藝參數(shù)的偏差用隨機(jī)變量建模后,作為工藝參數(shù)函數(shù)的門(mén)延遲、互連線延遲和門(mén)輸入端信號(hào)的到達(dá)時(shí)間自然也需要用帶有概率分布的隨機(jī)變量來(lái)描述。

統(tǒng)計(jì)靜態(tài)時(shí)序分析的步驟

首先,要有用于統(tǒng)計(jì)靜態(tài)時(shí)序分析的標(biāo)準(zhǔn)單元庫(kù)。

通過(guò)統(tǒng)計(jì)靜態(tài)時(shí)序分析,找出合適的時(shí)序窗(Timing Window),在此窗中,良率可以達(dá)到最高。

總之,統(tǒng)計(jì)靜態(tài)時(shí)序分析通過(guò)對(duì)制程變異進(jìn)行恰當(dāng)?shù)慕?,更好地解決了延遲的不確定性問(wèn)題,避免了過(guò)度的余量,提高了設(shè)計(jì)的性能及制造的良品率。

審核編輯:郭婷

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

    關(guān)注

    5453

    文章

    12574

    瀏覽量

    374695
  • 觸發(fā)器
    +關(guān)注

    關(guān)注

    14

    文章

    2056

    瀏覽量

    63418

原文標(biāo)題:靜態(tài)時(shí)序分析

文章出處:【微信號(hào):數(shù)字ICer,微信公眾號(hào):數(shù)字ICer】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。

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

掃碼添加小助手

加入工程師交流群

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    儲(chǔ)能EMS控制器(7) — 如何快捷驗(yàn)證儲(chǔ)能柜內(nèi)設(shè)備接入的正確性?

    儲(chǔ)能柜項(xiàng)目,初期要接入集成設(shè)備(PCS、BMS、電表等)進(jìn)行調(diào)試,設(shè)備調(diào)試過(guò)程比較繁瑣又容易出錯(cuò),怎樣才能便捷地驗(yàn)證儲(chǔ)能柜內(nèi)設(shè)備接入的正確性?簡(jiǎn)介儲(chǔ)能柜項(xiàng)目,初期要接入集成設(shè)備(PCS、BMS、電表
    的頭像 發(fā)表于 01-23 11:40 ?204次閱讀
    儲(chǔ)能EMS控制器(7) — 如何快捷<b class='flag-5'>驗(yàn)證</b>儲(chǔ)能柜內(nèi)設(shè)備接入的<b class='flag-5'>正確性</b>?

    鎖存器中的時(shí)間借用概念與靜態(tài)時(shí)序分析

    對(duì)于基于鎖存器的設(shè)計(jì),靜態(tài)時(shí)序分析會(huì)應(yīng)用一個(gè)稱為時(shí)間借用的概念。本篇博文解釋了時(shí)間借用的概念,若您的設(shè)計(jì)中包含鎖存器且時(shí)序報(bào)告中存在時(shí)間借用,即可適用此概念。
    的頭像 發(fā)表于 12-31 15:25 ?5509次閱讀
    鎖存器中的時(shí)間借用概念與<b class='flag-5'>靜態(tài)</b><b class='flag-5'>時(shí)序</b><b class='flag-5'>分析</b>

    【飛凌OK-T153 開(kāi)發(fā)板試用】SPI驗(yàn)證

    SPI應(yīng)用軟件驗(yàn)證 啟機(jī)設(shè)備結(jié)點(diǎn)順利產(chǎn)生 spidev_test驗(yàn)證 從上圖驗(yàn)證 發(fā)現(xiàn)TX和RX的數(shù)據(jù)不同, 為什么? 因?yàn)槲覀兘硬寮](méi)有外接從片,為了方便驗(yàn)證數(shù)據(jù)
    發(fā)表于 11-16 09:04

    Chroma 80611 電源時(shí)序/安規(guī)綜合分析儀:電器安全與性能的自動(dòng)化驗(yàn)證專家

    在電器、電源適配器、信息技術(shù)設(shè)備等產(chǎn)品的生產(chǎn)線末端測(cè)試或研發(fā)驗(yàn)證中,對(duì)其上電時(shí)序、關(guān)機(jī)時(shí)序以及安規(guī)性能進(jìn)行快速、全面的自動(dòng)化測(cè)試,是確保產(chǎn)品安全與功能符合
    的頭像 發(fā)表于 11-04 10:25 ?516次閱讀
    Chroma 80611 電源<b class='flag-5'>時(shí)序</b>/安規(guī)綜合<b class='flag-5'>分析</b>儀:電器安全與性能的自動(dòng)化<b class='flag-5'>驗(yàn)證</b>專家

    vivado時(shí)序分析相關(guān)經(jīng)驗(yàn)

    改為寄存輸出。 時(shí)序分析有兩個(gè)主要路徑 Intra-clock:同時(shí)鐘之間的路徑分析,需實(shí)打?qū)嵔鉀Q。(改善設(shè)計(jì),改變綜合策略等) Inter-clock:表示跨時(shí)鐘路徑,在靜態(tài)
    發(fā)表于 10-30 06:58

    在Linux ubuntu上使用riscv-formal工具驗(yàn)證蜂鳥(niǎo)E203 SoC的正確性

    內(nèi)容:在Linux ubuntu上使用riscv-formal工具驗(yàn)證蜂鳥(niǎo)E203 SoC的正確性 步驟: 1、下載和安裝riscv-formal工具: bash復(fù)制代碼 git clone
    發(fā)表于 10-24 07:52

    如何驗(yàn)證電能質(zhì)量在線監(jiān)測(cè)裝置數(shù)據(jù)校驗(yàn)系統(tǒng)的準(zhǔn)確?

    驗(yàn)證電能質(zhì)量在線監(jiān)測(cè)裝置 數(shù)據(jù)校驗(yàn)系統(tǒng)的準(zhǔn)確 ,核心是通過(guò) “標(biāo)準(zhǔn)基準(zhǔn)對(duì)比、模擬真實(shí)工況、量化指標(biāo)評(píng)估”,確保校驗(yàn)系統(tǒng)能精準(zhǔn)識(shí)別監(jiān)測(cè)裝置數(shù)據(jù)的 “正確性 / 偏差
    的頭像 發(fā)表于 09-25 17:42 ?837次閱讀

    如何驗(yàn)證硬件冗余設(shè)計(jì)的有效

    硬件冗余設(shè)計(jì)的核心目標(biāo)是應(yīng)對(duì)單點(diǎn)故障、保障系統(tǒng)連續(xù)運(yùn)行,其有效驗(yàn)證需圍繞 “故障發(fā)生時(shí)的切換能力、數(shù)據(jù)完整、業(yè)務(wù)連續(xù)” 三大核心指標(biāo)展開(kāi),通過(guò)
    的頭像 發(fā)表于 09-18 16:36 ?1266次閱讀
    如何<b class='flag-5'>驗(yàn)證</b>硬件冗余設(shè)計(jì)的有效<b class='flag-5'>性</b>?

    如何使用運(yùn)行數(shù)據(jù)趨勢(shì)分析驗(yàn)證裝置準(zhǔn)確?

    利用運(yùn)行數(shù)據(jù)趨勢(shì)分析驗(yàn)證電能質(zhì)量在線監(jiān)測(cè)裝置準(zhǔn)確,核心邏輯是 通過(guò)長(zhǎng)期采集的電網(wǎng)運(yùn)行數(shù)據(jù),判斷其趨勢(shì)是否符合電網(wǎng)實(shí)際規(guī)律、是否具備穩(wěn)定性與一致
    的頭像 發(fā)表于 09-18 10:33 ?505次閱讀
    如何使用運(yùn)行數(shù)據(jù)趨勢(shì)<b class='flag-5'>分析</b><b class='flag-5'>驗(yàn)證</b>裝置準(zhǔn)確<b class='flag-5'>性</b>?

    看不見(jiàn)的安全防線:信而泰儀表如何驗(yàn)證零信任有效

    ——從靜態(tài)防御轉(zhuǎn)向動(dòng)態(tài)信任評(píng)估,從粗放權(quán)限分配轉(zhuǎn)向最小化權(quán)限原則。本文將深入解析零信任安全架構(gòu)的核心機(jī)理,并基于零信任實(shí)現(xiàn)方案,全面介紹如何通過(guò)信而泰測(cè)試儀表進(jìn)行專業(yè)驗(yàn)證,確保零信任的安全可靠。 零信任
    發(fā)表于 09-09 15:33

    如何驗(yàn)證硬件加速是否真正提升了通信協(xié)議的安全?

    驗(yàn)證硬件加速是否真正提升通信協(xié)議的安全,需從 安全功能正確性、抗攻擊能力增強(qiáng)、安全性能適配、合規(guī)一致 等核心維度展開(kāi),結(jié)合實(shí)驗(yàn)室測(cè)試與真實(shí)場(chǎng)景驗(yàn)
    的頭像 發(fā)表于 08-27 10:16 ?1163次閱讀
    如何<b class='flag-5'>驗(yàn)證</b>硬件加速是否真正提升了通信協(xié)議的安全<b class='flag-5'>性</b>?

    動(dòng)態(tài)BGP與靜態(tài)BGP的區(qū)別?

    支持自動(dòng)發(fā)現(xiàn)(通常通過(guò)監(jiān)聽(tīng)端口) 適用場(chǎng)景小型網(wǎng)絡(luò)、連接少量對(duì)等網(wǎng)絡(luò)大型網(wǎng)絡(luò)、頻繁變動(dòng)的對(duì)等關(guān)系 可維護(hù)修改需人工操作,靈活性差可自動(dòng)發(fā)現(xiàn)/建立鄰居,運(yùn)維更自動(dòng)化 路由學(xué)習(xí)來(lái)源通常結(jié)合靜態(tài)路由導(dǎo)入來(lái)自
    發(fā)表于 06-24 06:57

    EDA是什么,有哪些方面

    仿真、時(shí)序分析等工具驗(yàn)證設(shè)計(jì)正確性,避免實(shí)際制造中的錯(cuò)誤]。 邏輯綜合與優(yōu)化:將高層次設(shè)計(jì)轉(zhuǎn)換為門(mén)級(jí)網(wǎng)表,進(jìn)行邏輯優(yōu)化、功耗分析
    發(fā)表于 06-23 07:59

    西門(mén)子再收購(gòu)EDA公司 西門(mén)子宣布收購(gòu)Excellicon公司 時(shí)序約束工具開(kāi)發(fā)商

    精彩看點(diǎn) 此次收購(gòu)將幫助系統(tǒng)級(jí)芯片 (SoC) 設(shè)計(jì)人員通過(guò)經(jīng)市場(chǎng)檢驗(yàn)的時(shí)序約束管理能力來(lái)加速設(shè)計(jì),并提高功能約束和結(jié)構(gòu)約束的正確性 ? 西門(mén)子宣布 收購(gòu) Excellicon 公司 ,將該公司用于
    的頭像 發(fā)表于 05-20 19:04 ?1605次閱讀
    西門(mén)子再收購(gòu)EDA公司  西門(mén)子宣布收購(gòu)Excellicon公司  <b class='flag-5'>時(shí)序</b>約束工具開(kāi)發(fā)商

    變壓器分布電容對(duì)反激變換器的影響分析

    ,對(duì)該模型進(jìn)行了等效處理,繼而詳細(xì)分析了分布電容對(duì)電路工作產(chǎn)生的影響,歸納出有意義的結(jié)論,并基于以上研究,提出控制寄生參數(shù)的工程方法,并通過(guò)實(shí)驗(yàn)驗(yàn)證了文中分析
    的頭像 發(fā)表于 05-14 13:58 ?2.2w次閱讀
    變壓器分布電容對(duì)反激變換器的影響<b class='flag-5'>分析</b>