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

串擾時(shí)延故障的SAT-ATPG算法研究
CSTR:
作者:
作者單位:

(桂林電子科技大學(xué) 電子工程與自動(dòng)化學(xué)院, 廣西 桂林 541004)

作者簡(jiǎn)介:

尚玉玲(1977-),女,廣西桂林人,博士,副研究員,主要從事高速電路信號完整性測試研究。 [FQ)]

通訊作者:

中圖分類(lèi)號:

基金項目:


Study on SAT-ATPG Algorithm for Time Delay Fault of Crosstalk
Author:
Affiliation:

(Guilin University of Electronic Technology School of Electronic Engineering and Automation, GuiLin 541004,China)

Fund Project:

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

    隨著(zhù)芯片運行速度不斷提高,對串擾時(shí)延的測試已成為一個(gè)迫切需要解決的問(wèn)題;文中提出一種面向多條攻擊線(xiàn)的受害線(xiàn)上最大串擾噪聲的測試生成方法;此方法建立了串擾通路時(shí)延故障模型、分析了布爾可滿(mǎn)足性問(wèn)題、討論了七值邏輯,研究了串擾時(shí)延故障測試轉換為CNF的邏輯表達式,在非魯棒測試條件下約簡(jiǎn)CNF范式,并提出了串擾時(shí)延故障的SAT-ATPG算法;最后通過(guò)實(shí)例分析,對本文算法進(jìn)行驗證;結果表明:該算法對串擾時(shí)延故障的測試矢量的生成是有效的。

    Abstract:

    As the improvement of chip operating speed, so it is high time to consider and take some measures to solve the problem. A test-generation method based on multiple crosstalk-induced glitch fault model is proposed. In this method ,it discusses Boolean satisfiability problem and analyse the crosstalk path delay fault model as well as Seven value logic of test vectors. It also analyse the mathematical logical expression converted by the crosstalk path delay fault model. And simplified CNF expression under the condition of non robust test,then a SAT-ATPG test algorithm of crosstalk delay fault is proposed.Finally,the algorithm is verified by specific example and the performance of the algorithm is effective for crosstalk-induced delay faults.

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

尚玉玲,錢(qián)尚,劉鵬.串擾時(shí)延故障的SAT-ATPG算法研究計算機測量與控制[J].,2017,25(3):18-21.

復制
分享
文章指標
  • 點(diǎn)擊次數:
  • 下載次數:
  • HTML閱讀次數:
  • 引用次數:
歷史
  • 收稿日期:2016-07-25
  • 最后修改日期:2016-11-08
  • 錄用日期:
  • 在線(xiàn)發(fā)布日期: 2017-05-31
  • 出版日期:
文章二維碼
曲水县| 富宁县| 大姚县| 深州市| 开封县| 肃北| 天气| 永州市| 景谷| 札达县| 长岭县| 长宁县| 慈利县| 如皋市| 特克斯县| 梓潼县| 岳西县| 柏乡县| 布拖县| 长春市| 新安县| 庄浪县| 白城市| 台中市| 鹤山市| 六盘水市| 盐津县| 洪湖市| 临武县| 霞浦县| 太保市| 永定县| 邢台市| 绥化市| 盐边县| 柳江县| 黎平县| 嘉祥县| 沁源县| 百色市| 通化县|