A Highly Fault-Efficient SAT-Based ATPG Flow

Eggersglub S.; Drechsler R.

首页> 外文期刊>Design & Test of Computers, IEEE >A Highly Fault-Efficient SAT-Based ATPG Flow

【24h】

A Highly Fault-Efficient SAT-Based ATPG Flow

机译：基于SAT的高效故障诊断ATPG流

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Editor's notes:

机译：编者注：

著录项

来源
《Design & Test of Computers, IEEE》 |2012年第4期|p.63-70|共8页
作者
Eggersglub S.; Drechsler R.;
展开▼
作者单位

German Research Center for Artificial Intelligence (DFKI), Bremen, Germany;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
ATPG; Formal Methods; SAT; SAT-based ATPG; Test Generation;

机译：ATPG;形式方法;SAT;基于SAT的ATPG;测试生成;

相似文献

外文文献
中文文献
专利

1. Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG [J] . Raiola Pascal, Burchard Jan, Neubauer Felix, Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2017,第6期

机译：评估D-Chains在SAT基ATPG和诊断TPG中的有效性
2. SAT-based ATPG beyond stuck-at fault testing: Applications to fault tolerance [J] . Sybille Hellebrand, Hans-Joachim Wunderlich Information Technology . 2014,第4期

机译：基于SAT的ATPG超越了固定故障测试：对容错的应用
3. A Two-Variable Model for SAT-Based ATPG [J] . Chen H., Marques-Silva J. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013,第12期

机译：基于SAT的ATPG的两个变量模型
4. A new SAT-based ATPG for generating highly compacted test sets [C] . Eggersglu Stephan, Krenz-Baath Rene, Glowatz Andreas, Design and Diagnostics of Electronic Circuits amp; Systems (DDECS), 2012 IEEE 15th International Symposium on . 2012

机译：基于SAT的新型ATPG，可生成高度紧凑的测试集
5. Detailed Flow Field Analysis of Air and Highly Viscous Liquid Slug Flow in Horizontal Pipes [D] . Kim, Teawoo 2019

机译：水平管中空气和高粘性液团流的详细流场分析
6. A Rheological Model for Evaluating the Behavior of Shear Thickening of Highly Flowable Mortar [O] . Mengyuan Li, Jianguo Han, Yuqi Zhou, 2021

机译：一种评价高度可流动砂浆剪切增厚行为的流变模型
7. A New SAT-based ATPG for Generating Highly Compacted Test Sets [O] . Andreas Glowatz, Friedrich Hapke, Rolf Drechsler 2015

机译：一种新的基于saT的aTpG，用于生成高度紧凑的测试集
8. Kinetic theory and boundary conditions for flows of highly inelastic spheres: Applications to gravity driven granular flows down bumpy inclines. Quarterly progress report, January 1, 1992--March 30, 1992 [R] . Richman, M W 1992

机译：高度无弹性球体流动的动力学理论和边界条件：重力驱动颗粒流向下颠簸倾斜的应用。 1992年1月1日至1992年3月30日的季度进度报告

A Highly Fault-Efficient SAT-Based ATPG Flow

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅