国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

基于鎖存器路徑的靜態(tài)時(shí)序分析在第三方驗證中的應用
DOI:
CSTR:
作者:
作者單位:

上海航天電子技術(shù)研究所,上海航天電子技術(shù)研究所,上海航天電子技術(shù)研究所,上海航天電子技術(shù)研究所,上海航天電子技術(shù)研究所

作者簡(jiǎn)介:

通訊作者:

中圖分類(lèi)號:

TP391.9

基金項目:


Application of Latch_Based STA analysis in Independent Verification
Author:
Affiliation:

Shanghai Aerospace Electronic Technology Institute,Shanghai Aerospace Electronic Technology Institute,Shanghai Aerospace Electronic Technology Institute,Shanghai Aerospace Electronic Technology Institute,Shanghai Aerospace Electronic Technology Institute

Fund Project:

  • 摘要
  • |
  • 圖/表
  • |
  • 訪(fǎng)問(wèn)統計
  • |
  • 參考文獻
  • |
  • 相似文獻
  • |
  • 引證文獻
  • |
  • 資源附件
  • |
  • 文章評論
    摘要:

    隨著(zhù)可編程邏輯門(mén)陣列(FPGA)設計規模的擴大,靜態(tài)時(shí)序分析可有效減輕時(shí)序仿真的負擔,縮短項目周期。常見(jiàn)的靜態(tài)時(shí)序分析(STA)多是基于觸發(fā)器(FF_Based STA),對觸發(fā)器的STA算法研究已經(jīng)比較成熟。但FPGA綜合后網(wǎng)表可能會(huì )產(chǎn)生鎖存器,而鎖存器的STA與觸發(fā)器的STA在算法上存在差異。為保證在FPGA產(chǎn)品第三方驗證工作中對STA路徑分析覆蓋率達到100%,有必要對基于鎖存器的時(shí)序分析(Latch_Based STA)做研究。闡述了鎖存器“時(shí)間借入”與“時(shí)間借出”的概念。分析了“鎖存器寬裕時(shí)間(slack time)”特性,繪制了其函數圖。在某FPGA第三方驗證項目中使用STA 工具Prime Time(一種計算機模型分析工具),分別對由“時(shí)間借入”、“時(shí)間借出”而導致“時(shí)序松弛”和“時(shí)序收緊”兩種情況做了計算和分析,對STA路徑分析覆蓋率達到了100%,滿(mǎn)足了第三方驗證要求。

    Abstract:

    With the expansion of FPGA design scale,STA can relieve the stess of Timing Simulation,shorten project cycle.The common STA is more FF_Based STA,but after synthesis,unexpected Latch can be generated.While the calculating algorithms of Latch_Based STA and FF_Based STA is different,for the purpose of reaching 100% coverage rate of SAT path,it is necessary for the Independent Verification Authority to do some research on Latch_Based STA .The conception of “Time Borrowed”,”Time Given” and the feature of Latch slack time was explained,its function graphic was abstracted. Two separate example was given by Prime Time( a tool of Computer model simulation)

    參考文獻
    相似文獻
    引證文獻
引用本文

劉國斌,左麗麗,陳云,祝周榮,劉偉.基于鎖存器路徑的靜態(tài)時(shí)序分析在第三方驗證中的應用計算機測量與控制[J].,2017,25(9).

復制
分享
文章指標
  • 點(diǎn)擊次數:
  • 下載次數:
  • HTML閱讀次數:
  • 引用次數:
歷史
  • 收稿日期:2017-03-20
  • 最后修改日期:2017-04-08
  • 錄用日期:2017-04-10
  • 在線(xiàn)發(fā)布日期: 2017-09-14
  • 出版日期:
文章二維碼
锦屏县| 澄城县| 新绛县| 驻马店市| 临江市| 洛南县| 抚州市| 拉孜县| 宣恩县| 金沙县| 榕江县| 那曲县| 广平县| 大丰市| 扎兰屯市| 永吉县| 根河市| 清镇市| 景德镇市| 东阳市| 古田县| 沧源| 台中市| 甘孜县| 青龙| 临潭县| 怀仁县| 永修县| 库尔勒市| 太保市| 淅川县| 海伦市| 抚州市| 盐边县| 任丘市| 西华县| 保山市| 永福县| 洪洞县| 瓮安县| 财经|