国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒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
  • 出版日期:
文章二維碼
房产| 日土县| 四川省| 昔阳县| 普宁市| 屏南县| 东乌珠穆沁旗| 新龙县| 张掖市| 松潘县| 松溪县| 阜新市| 通许县| 乌苏市| 桐乡市| 临潭县| 洪雅县| 万源市| 禹城市| 平昌县| 宜川县| 平顺县| 从江县| 拜泉县| 高州市| 栖霞市| 英德市| 普陀区| 曲沃县| 乐东| 鄂州市| 枣强县| 楚雄市| 台中市| 龙江县| 江口县| 龙井市| 临夏县| 上饶县| 改则县| 宁波市|