国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒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
  • 出版日期:
文章二維碼
阳新县| 建水县| 台安县| 尖扎县| 富宁县| 板桥市| 尤溪县| 南召县| 华宁县| 奉节县| 荔波县| 旺苍县| 鄢陵县| 教育| 杭锦旗| 洛川县| 昌乐县| 石狮市| 宜城市| 县级市| 桦甸市| 巴彦淖尔市| 卢氏县| 定远县| 宝鸡市| 孟津县| 泰州市| 云南省| 巴林左旗| 邵阳市| 高青县| 稻城县| 湾仔区| 塔河县| 南康市| 鲁山县| 永丰县| 大名县| 杭锦后旗| 柳州市| 奉化市|