国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒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
  • 出版日期:
文章二維碼
五台县| 天峻县| 桐梓县| 土默特右旗| 平遥县| 庆元县| 云和县| 类乌齐县| 黑河市| 大新县| 淮阳县| 万全县| 云龙县| 合作市| 民权县| 泸水县| 大化| 乌苏市| 三明市| 壤塘县| 河源市| 新化县| 葵青区| 万安县| 南投市| 丰原市| 松滋市| 嫩江县| 阜康市| 荣昌县| 涟水县| 濮阳县| 泸西县| 博白县| 眉山市| 保康县| 菏泽市| 崇仁县| 南靖县| 固始县| 德庆县|