首页 > 最新文献

2015 IEEE 24th Asian Test Symposium (ATS)最新文献

英文 中文
An Integrated Approach for Improving Compression and Diagnostic Properties of Test Sets 一种提高测试集压缩和诊断性能的综合方法
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.33
Srinivasa Shashank Nuthakki, S. Chattopadhyay
Diagnosis is extremely important to ramp up the yield during the integrated circuit manufacturing process. It reduces the time to market and product cost. High-volume diagnosis has become crucial for yield learning. The backbone of any diagnosis algorithm is the test set in use. Application of test sets for high-volume testing is typically done in test data compression environment to reduce the test time and also the amount of data stored on the tester. For high-volume diagnosis, it is essential to use test sets having high diagnostic power in compression environment. In this work, a novel method has been proposed which combines test data compression and diagnostic power improvement algorithms. Selective Huffman coding is used as the basic test data compression scheme. To improve diagnostic power of a test set we make use of filling algorithms designed to increase the diagnostic ability of the test set.
在集成电路制造过程中,诊断对于提高成品率至关重要。它缩短了上市时间和产品成本。大容量诊断已成为产量学习的关键。任何诊断算法的主干都是使用的测试集。大容量测试的测试集应用通常在测试数据压缩环境中完成,以减少测试时间和存储在测试仪上的数据量。对于大容量的诊断,在压缩环境下使用具有高诊断能力的测试设备是必不可少的。本文提出了一种将测试数据压缩和诊断功率改进算法相结合的新方法。采用选择性霍夫曼编码作为基本的测试数据压缩方案。为了提高测试集的诊断能力,我们采用填充算法来提高测试集的诊断能力。
{"title":"An Integrated Approach for Improving Compression and Diagnostic Properties of Test Sets","authors":"Srinivasa Shashank Nuthakki, S. Chattopadhyay","doi":"10.1109/ATS.2015.33","DOIUrl":"https://doi.org/10.1109/ATS.2015.33","url":null,"abstract":"Diagnosis is extremely important to ramp up the yield during the integrated circuit manufacturing process. It reduces the time to market and product cost. High-volume diagnosis has become crucial for yield learning. The backbone of any diagnosis algorithm is the test set in use. Application of test sets for high-volume testing is typically done in test data compression environment to reduce the test time and also the amount of data stored on the tester. For high-volume diagnosis, it is essential to use test sets having high diagnostic power in compression environment. In this work, a novel method has been proposed which combines test data compression and diagnostic power improvement algorithms. Selective Huffman coding is used as the basic test data compression scheme. To improve diagnostic power of a test set we make use of filling algorithms designed to increase the diagnostic ability of the test set.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126843106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On Improving Transition Test Set Quality to Detect CMOS Transistor Stuck-Open Faults 提高过渡测试集质量检测CMOS晶体管卡断故障
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.24
X. Lin, Wu-Tung Cheng, J. Rajski
Detecting the defects inside the CMOS cells, especially the stuck-open faults, has gained a lot of attentions in recent years. It had been shown the test set generated by using the transition fault model is not sufficient to detect the stuck-open faults. In this paper, we propose an enhanced transition fault model, named cell transition, to improve the quality of the transition test set on detecting the stuck-open faults inside the CMOS cells. The fault sites targeted by the proposed model are placed at the cell boundary in order to keep the fault population similar to the transition fault model. Experimental results demonstrate the cell transition test set detects more stuck-open faults than the transition test set while the test coverage achieved for the transition faults is close to that obtained by the transition test set. Moreover, the number of generated tests is slightly higher than the transition test set.
近年来,对CMOS电池内部缺陷的检测,尤其是卡开故障的检测受到了广泛的关注。结果表明,利用过渡故障模型生成的测试集不足以检测卡开故障。本文提出了一种增强的过渡故障模型,称为单元过渡模型,以提高过渡测试集检测CMOS单元内部卡开故障的质量。该模型所针对的故障点被放置在单元边界,以保持故障群与过渡故障模型相似。实验结果表明,单元转换测试集比转换测试集检测到更多的卡开故障,对转换故障的测试覆盖率与转换测试集接近。此外,生成的测试数量略高于转换测试集。
{"title":"On Improving Transition Test Set Quality to Detect CMOS Transistor Stuck-Open Faults","authors":"X. Lin, Wu-Tung Cheng, J. Rajski","doi":"10.1109/ATS.2015.24","DOIUrl":"https://doi.org/10.1109/ATS.2015.24","url":null,"abstract":"Detecting the defects inside the CMOS cells, especially the stuck-open faults, has gained a lot of attentions in recent years. It had been shown the test set generated by using the transition fault model is not sufficient to detect the stuck-open faults. In this paper, we propose an enhanced transition fault model, named cell transition, to improve the quality of the transition test set on detecting the stuck-open faults inside the CMOS cells. The fault sites targeted by the proposed model are placed at the cell boundary in order to keep the fault population similar to the transition fault model. Experimental results demonstrate the cell transition test set detects more stuck-open faults than the transition test set while the test coverage achieved for the transition faults is close to that obtained by the transition test set. Moreover, the number of generated tests is slightly higher than the transition test set.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128115823","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
A Lightweight Timing Channel Protection for Shared Memory Controllers 一种用于共享内存控制器的轻量级定时通道保护
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.17
Guopei Liu, Ying Wang, Sen Li, Huawei Li, Xiaowei Li
With the growth of cloud computing, security and privacy is becoming more and more important. Timing channel attack is one of the most remarkable security threads for memory controllers due to competition for shared resources. However, the existing protection strategies that ensure the deterministic of memory accesses by dividing bandwidth introduce great latency and performance degradation. This paper proposes a refresh hiding approach that adjusts the refresh operations to multiplex refresh time with additional latency introduced by those bandwidth division strategies. The experiment results show refresh hiding can reduce more than 20% of program runtime, and it will be more efficient as DRAM density increases.
随着云计算的发展,安全性和隐私性变得越来越重要。由于对共享资源的竞争,定时通道攻击是内存控制器中最引人注目的安全线程之一。然而,现有的通过划分带宽来确保内存访问的确定性的保护策略带来了很大的延迟和性能下降。本文提出了一种刷新隐藏方法,该方法将刷新操作调整为多路刷新时间,同时增加了带宽分配策略带来的额外延迟。实验结果表明,刷新隐藏可以减少20%以上的程序运行时间,并且随着DRAM密度的增加,刷新隐藏的效率会更高。
{"title":"A Lightweight Timing Channel Protection for Shared Memory Controllers","authors":"Guopei Liu, Ying Wang, Sen Li, Huawei Li, Xiaowei Li","doi":"10.1109/ATS.2015.17","DOIUrl":"https://doi.org/10.1109/ATS.2015.17","url":null,"abstract":"With the growth of cloud computing, security and privacy is becoming more and more important. Timing channel attack is one of the most remarkable security threads for memory controllers due to competition for shared resources. However, the existing protection strategies that ensure the deterministic of memory accesses by dividing bandwidth introduce great latency and performance degradation. This paper proposes a refresh hiding approach that adjusts the refresh operations to multiplex refresh time with additional latency introduced by those bandwidth division strategies. The experiment results show refresh hiding can reduce more than 20% of program runtime, and it will be more efficient as DRAM density increases.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125860504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
SDC-TPG: A Deterministic Zero-Inflation Parallel Test Pattern Generator 一个确定的零膨胀并行测试模式生成器
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.15
Chun-Hao Chang, Kuen-Wei Yeh, Jiun-Lang Huang, Laung-Terng Wang
Parallelism is one promising solution to accelerating the test pattern generation (TPG) process, several recent works also show that parallel TPG can reduce the test pattern count. However, today's parallel TPG's are mostly non-deterministic, i.e., the generated test set is timing and resource dependent, this complicates the debug process and may degrade the user experience. In this paper, we propose a multi-threading parallel test pattern generator that is both deterministic and incurs zero test inflation. Called SDC-TPG, the proposed parallel TPG relies on synchronized dynamic compaction (SDC) to generate the same test pattern set as the conventional serial TPG with dynamic compaction regardless of the thread timing and the thread count. Furthermore, an early primary fault TPG strategy is proposed to reduce the thread idle times and improve the speedup. Simulation results show that SDC-TPG achieves an average speedup of six with eight threads.
并行是加速测试模式生成(TPG)过程的一种很有前途的解决方案,最近的一些研究也表明并行TPG可以减少测试模式的数量。然而,今天的并行TPG大多是不确定的,也就是说,生成的测试集依赖于时间和资源,这使调试过程变得复杂,并可能降低用户体验。在本文中,我们提出了一个多线程并行测试模式生成器,它既具有确定性,又不会产生测试膨胀。被称为SDC-TPG的提议的并行TPG依赖于同步动态压缩(SDC)来生成与具有动态压缩的传统串行TPG相同的测试模式集,而不考虑线程时间和线程数。在此基础上,提出了一种早期主故障TPG策略,以减少线程空闲时间,提高速度。仿真结果表明,SDC-TPG在8个线程下实现了6个的平均提速。
{"title":"SDC-TPG: A Deterministic Zero-Inflation Parallel Test Pattern Generator","authors":"Chun-Hao Chang, Kuen-Wei Yeh, Jiun-Lang Huang, Laung-Terng Wang","doi":"10.1109/ATS.2015.15","DOIUrl":"https://doi.org/10.1109/ATS.2015.15","url":null,"abstract":"Parallelism is one promising solution to accelerating the test pattern generation (TPG) process, several recent works also show that parallel TPG can reduce the test pattern count. However, today's parallel TPG's are mostly non-deterministic, i.e., the generated test set is timing and resource dependent, this complicates the debug process and may degrade the user experience. In this paper, we propose a multi-threading parallel test pattern generator that is both deterministic and incurs zero test inflation. Called SDC-TPG, the proposed parallel TPG relies on synchronized dynamic compaction (SDC) to generate the same test pattern set as the conventional serial TPG with dynamic compaction regardless of the thread timing and the thread count. Furthermore, an early primary fault TPG strategy is proposed to reduce the thread idle times and improve the speedup. Simulation results show that SDC-TPG achieves an average speedup of six with eight threads.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129424436","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A Test Generation Method for Data Paths Using Easily Testable Functional Time Expansion Models and Controller Augmentation 一种使用易于测试的功能时间展开模型和控制器扩展的数据路径测试生成方法
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.14
Tetsuya Masuda, Jun Nishimaki, Toshinori Hosokawa, H. Fujiwara
In recent years, various high-level test synthesis methods for data paths have been proposed for the improvement in design productivity and test cost reduction. Most of the approaches assume that controllers and data paths are isolated from each other, and hence the hardware overhead becomes large. On the other hand, the approach without separation of a controller and a data path usually decreases the testability. To resolve this problem, an approach that augments a controller by adding extra control functions to make a data path easily testable was proposed. However, the approach cannot always succeed in generating test sequences with high fault coverage if a general ATPG tool is used without knowing any information of augmented control functions. In this paper, we introduce "easily testable functional time expansion models for data paths", and propose a test generation method for data paths using easily testable functional time expansion models and controller augmentation such that easily testable functional time expansion models are controllable. Experimental results show the effectiveness of the proposed method for high level synthesis benchmark circuits.
近年来,为了提高设计效率和降低测试成本,提出了各种高层次的数据路径测试综合方法。大多数方法假设控制器和数据路径彼此隔离,因此硬件开销变得很大。另一方面,不分离控制器和数据路径的方法通常会降低可测试性。为了解决这个问题,提出了一种通过增加额外的控制函数来增强控制器的方法,使数据路径易于测试。然而,如果使用通用的ATPG工具而不知道任何增强控制函数的信息,则该方法并不总是能够成功地生成具有高故障覆盖率的测试序列。本文引入了“易测试的数据路径函数时间展开模型”,提出了一种利用易测试的函数时间展开模型和控制器扩充的数据路径测试生成方法,使易测试的函数时间展开模型具有可控性。实验结果表明了该方法在高阶综合基准电路中的有效性。
{"title":"A Test Generation Method for Data Paths Using Easily Testable Functional Time Expansion Models and Controller Augmentation","authors":"Tetsuya Masuda, Jun Nishimaki, Toshinori Hosokawa, H. Fujiwara","doi":"10.1109/ATS.2015.14","DOIUrl":"https://doi.org/10.1109/ATS.2015.14","url":null,"abstract":"In recent years, various high-level test synthesis methods for data paths have been proposed for the improvement in design productivity and test cost reduction. Most of the approaches assume that controllers and data paths are isolated from each other, and hence the hardware overhead becomes large. On the other hand, the approach without separation of a controller and a data path usually decreases the testability. To resolve this problem, an approach that augments a controller by adding extra control functions to make a data path easily testable was proposed. However, the approach cannot always succeed in generating test sequences with high fault coverage if a general ATPG tool is used without knowing any information of augmented control functions. In this paper, we introduce \"easily testable functional time expansion models for data paths\", and propose a test generation method for data paths using easily testable functional time expansion models and controller augmentation such that easily testable functional time expansion models are controllable. Experimental results show the effectiveness of the proposed method for high level synthesis benchmark circuits.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"201 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123030879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
SHAKTI-F: A Fault Tolerant Microprocessor Architecture 一种容错微处理器体系结构
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.35
Sukrat Gupta, Neel Gala, G. Madhusudan, V. Kamakoti
Deeply scaled CMOS circuits are vulnerable to soft and hard errors. These errors pose reliability concerns, especially for systems used in radiation-prone environments like space and nuclear applications. This paper presents SHAKTI-F, a RISC-V based SEE-tolerant micro-processor architecture that provides a solution to the reliability issues mentioned above. The proposed architecture uses error correcting codes (ECC) to tolerate errors in registers and memories, while it employs a combination of space and time redundancy based techniques to tolerate errors in the ALU. Two novel re-computation techniques for detecting errors for the addition/subtraction and multiplication modules are proposed. The scheme also identifies parts of the circuitry that need to be radiation hardened thus providing a total protection to SEEs. The proposed scheme provides fine-grain error detection capability that help in localization of the error to a specific functional unit and isolating the same, rather than the entire processor or a large module within a processor. This provides a graceful degradation and/or fail-safe shutdown capability to the processor. The HDL model of the processor was validated by simulating it with randomly induced SEEs. The proposed scheme adds an extra penalty of only 20% on the core area and 25% penalty on the performance when compared with conventional systems. This is very less when compared to the penalty incurred by employing schemes including double modular and triple modular redundancy. Interestingly, there is a 45% reduction in power consumption due to introduction of fault tolerance. The resulting system runs at 330 MHz on a 55nm technology node, which is sufficient for the class of applications these cores are utilized for.
深度缩放的CMOS电路容易受到软误差和硬误差的影响。这些误差引起了人们对可靠性的担忧,尤其是在空间和核应用等易受辐射环境中使用的系统。本文提出了SHAKTI-F,一种基于RISC-V的耐see微处理器架构,为上述可靠性问题提供了解决方案。所提出的体系结构使用纠错码(ECC)来容忍寄存器和存储器中的错误,同时使用基于空间和时间冗余的技术组合来容忍ALU中的错误。提出了两种新的用于加减和乘法模块误差检测的重计算技术。该方案还确定了需要进行辐射加固的电路部分,从而为see提供全面保护。该方案提供了细粒度的错误检测能力,有助于将错误定位到特定的功能单元并将其隔离,而不是整个处理器或处理器内的大模块。这为处理器提供了优雅的降级和/或故障安全关闭能力。通过随机诱导的see模拟,验证了处理器的HDL模型。与传统系统相比,该方案仅在核心面积上增加了20%的额外罚款,在性能上增加了25%的罚款。与采用双模和三模冗余方案所产生的代价相比,这是非常少的。有趣的是,由于引入了容错功能,功耗降低了45%。由此产生的系统在55nm技术节点上运行在330 MHz,这足以满足这些核心所使用的应用类别。
{"title":"SHAKTI-F: A Fault Tolerant Microprocessor Architecture","authors":"Sukrat Gupta, Neel Gala, G. Madhusudan, V. Kamakoti","doi":"10.1109/ATS.2015.35","DOIUrl":"https://doi.org/10.1109/ATS.2015.35","url":null,"abstract":"Deeply scaled CMOS circuits are vulnerable to soft and hard errors. These errors pose reliability concerns, especially for systems used in radiation-prone environments like space and nuclear applications. This paper presents SHAKTI-F, a RISC-V based SEE-tolerant micro-processor architecture that provides a solution to the reliability issues mentioned above. The proposed architecture uses error correcting codes (ECC) to tolerate errors in registers and memories, while it employs a combination of space and time redundancy based techniques to tolerate errors in the ALU. Two novel re-computation techniques for detecting errors for the addition/subtraction and multiplication modules are proposed. The scheme also identifies parts of the circuitry that need to be radiation hardened thus providing a total protection to SEEs. The proposed scheme provides fine-grain error detection capability that help in localization of the error to a specific functional unit and isolating the same, rather than the entire processor or a large module within a processor. This provides a graceful degradation and/or fail-safe shutdown capability to the processor. The HDL model of the processor was validated by simulating it with randomly induced SEEs. The proposed scheme adds an extra penalty of only 20% on the core area and 25% penalty on the performance when compared with conventional systems. This is very less when compared to the penalty incurred by employing schemes including double modular and triple modular redundancy. Interestingly, there is a 45% reduction in power consumption due to introduction of fault tolerance. The resulting system runs at 330 MHz on a 55nm technology node, which is sufficient for the class of applications these cores are utilized for.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"308 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133088083","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
In-Circuit Mutation-Based Automatic Correction of Certain Design Errors Using SAT Mechanisms 基于SAT机制的基于电路突变的某些设计错误自动校正
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.41
Payman Behnam, B. Alizadeh
A large amount of time and effort must be spent to ensure the correctness of a digital design. Although many Computer Aided Design (CAD) solutions have been provided to enhance efficiency of existing debugging approaches, they are suffering from shortage of efficient automatic correction mechanisms. In this paper, we introduce an in-circuit mutation technique for correcting design bugs in digital designs. The aim of this work is reducing correction time by connecting primitive gates into inputs of 6-to-1 multiplexers in the place of potential bugs and utilizing satisfiability (SAT) engine for choosing the correct gates. The empirical results demonstrate that our proposed method can correct multiple bugs in a design by targeting gate replacements and wires exchanges efficiently. Average improvements in terms of the runtime and success rate in correction for combinational circuits in comparison with the latest the existing method are 3.4× and 11.5%, respectively. These results for sequential circuits are 3.8× and 17% respectively.
必须花费大量的时间和精力来确保数字设计的正确性。虽然已有许多计算机辅助设计(CAD)解决方案来提高现有调试方法的效率,但它们都缺乏有效的自动校正机制。本文介绍了一种校正数字设计中设计缺陷的在线突变技术。这项工作的目的是通过在潜在错误的地方将原始门连接到6对1多路复用器的输入,并利用满意度(SAT)引擎来选择正确的门,从而减少校正时间。实验结果表明,我们提出的方法可以有效地纠正设计中的多个错误,针对栅极更换和导线交换。与现有方法相比,组合电路的运行时间和校正成功率分别提高了3.4倍和11.5%。顺序电路的结果分别为3.8倍和17%。
{"title":"In-Circuit Mutation-Based Automatic Correction of Certain Design Errors Using SAT Mechanisms","authors":"Payman Behnam, B. Alizadeh","doi":"10.1109/ATS.2015.41","DOIUrl":"https://doi.org/10.1109/ATS.2015.41","url":null,"abstract":"A large amount of time and effort must be spent to ensure the correctness of a digital design. Although many Computer Aided Design (CAD) solutions have been provided to enhance efficiency of existing debugging approaches, they are suffering from shortage of efficient automatic correction mechanisms. In this paper, we introduce an in-circuit mutation technique for correcting design bugs in digital designs. The aim of this work is reducing correction time by connecting primitive gates into inputs of 6-to-1 multiplexers in the place of potential bugs and utilizing satisfiability (SAT) engine for choosing the correct gates. The empirical results demonstrate that our proposed method can correct multiple bugs in a design by targeting gate replacements and wires exchanges efficiently. Average improvements in terms of the runtime and success rate in correction for combinational circuits in comparison with the latest the existing method are 3.4× and 11.5%, respectively. These results for sequential circuits are 3.8× and 17% respectively.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125032884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
A Technique for Analyzing On-Chip Power Supply Impedance 片上电源阻抗分析技术
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.40
M. Ishida, T. Nakura, Akira Matsukawa, R. Ikeno, K. Asada
This paper proposes a method for analyzing the power supply impedance at an on-chip power supply node in the device under test. The proposed method is based on an on-chip power measurement of a power supply voltage fluctuation with sweeping the frequency of the on-chip current load which sinks a square wave current, not sinusoidal. The method can extract the frequency characteristics of not only the magnitude but also the phase characteristic of the power supply impedance. Experimental results based on SPICE simulations proved that the proposed method can accurately measure the frequency characteristic of the power supply impedance. It is also confirmed that the extracted power supply impedance characteristics gives quite similar transient voltage waveforms to the target waveforms.
本文提出了一种分析被测器件片上电源节点供电阻抗的方法。所提出的方法是基于片上电源电压波动的片上功率测量,其扫描片上电流负载的频率,该负载吸收方波电流,而不是正弦电流。该方法不仅可以提取电源阻抗的幅值特性,还可以提取电源阻抗的相位特性。基于SPICE仿真的实验结果表明,该方法可以准确地测量电源阻抗的频率特性。所提取的电源阻抗特性得到的暂态电压波形与目标波形非常相似。
{"title":"A Technique for Analyzing On-Chip Power Supply Impedance","authors":"M. Ishida, T. Nakura, Akira Matsukawa, R. Ikeno, K. Asada","doi":"10.1109/ATS.2015.40","DOIUrl":"https://doi.org/10.1109/ATS.2015.40","url":null,"abstract":"This paper proposes a method for analyzing the power supply impedance at an on-chip power supply node in the device under test. The proposed method is based on an on-chip power measurement of a power supply voltage fluctuation with sweeping the frequency of the on-chip current load which sinks a square wave current, not sinusoidal. The method can extract the frequency characteristics of not only the magnitude but also the phase characteristic of the power supply impedance. Experimental results based on SPICE simulations proved that the proposed method can accurately measure the frequency characteristic of the power supply impedance. It is also confirmed that the extracted power supply impedance characteristics gives quite similar transient voltage waveforms to the target waveforms.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125065397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Diagnostic Tests and Diagnosis for Delay Faults Using Path Segmentation 使用路径分割的延迟故障诊断测试和诊断
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.32
Tino Flenker, André Sülflow, G. Fey
Diagnosis of integrated circuits is an arduous process. Tools are needed which aid developers locating circuit's faulty parts faster. In this work path delay faults are considered. A simulation based diagnosis algorithm using diagnostic test patterns is introduced for locating the cause of the delay fault. Initial paths are segmented to improve the diagnosis accuracy. For each segment, additional diagnostic test patterns are generated using a solver for Boolean Satisfiability. The experimental results show that a significant improvement of the diagnostic accuracy is achievable with our approach.
集成电路的诊断是一个艰巨的过程。需要工具来帮助开发人员更快地定位电路的故障部件。在此工作路径中考虑了延迟故障。介绍了一种基于仿真的基于诊断测试模式的诊断算法,用于定位延迟故障的原因。对初始路径进行分割,提高诊断准确率。对于每个片段,使用布尔可满足性求解器生成额外的诊断测试模式。实验结果表明,该方法可显著提高诊断准确率。
{"title":"Diagnostic Tests and Diagnosis for Delay Faults Using Path Segmentation","authors":"Tino Flenker, André Sülflow, G. Fey","doi":"10.1109/ATS.2015.32","DOIUrl":"https://doi.org/10.1109/ATS.2015.32","url":null,"abstract":"Diagnosis of integrated circuits is an arduous process. Tools are needed which aid developers locating circuit's faulty parts faster. In this work path delay faults are considered. A simulation based diagnosis algorithm using diagnostic test patterns is introduced for locating the cause of the delay fault. Initial paths are segmented to improve the diagnosis accuracy. For each segment, additional diagnostic test patterns are generated using a solver for Boolean Satisfiability. The experimental results show that a significant improvement of the diagnostic accuracy is achievable with our approach.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"8 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123279632","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Novel Scan Segmentation Design for Power Controllability and Reduction in At-Speed Test 一种用于高速测试中功率可控性和降低的新型扫描分割设计
Pub Date : 2015-11-22 DOI: 10.1109/ATS.2015.9
Z. Jiang, D. Xiang, Kele Shen
The increasing power consumption during the chip testing process has become the bottleneck of chip production and testing for micro-nano VLSI circuits. Numerous low power design-for-testability (DfT) techniques have been proposed to deal with the test power problem, and segmented scan method was shown to be an efficient solution. We propose a new power-aware scan segment architecture, which can accurately control the power of shift and capture cycles at the same time. Since enabling only a subset of scan flip-flops to capture test responses in one cycle compromises the fault coverage, we propose a new method to reduce the fault coverage loss. First, we use a more accurate notion, spoiled nodes, instead of violation edges used in previous works to analyse the ependency of flip-flops, then we use simulated annealing(SA) mechanism to find the best combination of these flip-flops while considering the clock trees' impact. To the best of our knowledge, this is the first work to make shift and capture power in a controllable way with minimum fault coverage loss, small test-data volume and no extra hardware overhead for at-speed transition fault test. Extensive experiments have been performed on reference circuit ISCAS89 and IWLS2005 to verify the effectiveness of the proposed method.
芯片测试过程中不断增加的功耗已成为微纳超大规模集成电路芯片生产和测试的瓶颈。为了解决测试功率问题,已经提出了许多低功耗可测试性设计(DfT)技术,而分段扫描方法被证明是一种有效的解决方案。我们提出了一种新的功率感知扫描段架构,该架构可以同时精确地控制移位和捕获周期的功率。由于只允许扫描触发器的子集在一个周期内捕获测试响应会损害故障覆盖率,我们提出了一种新的方法来减少故障覆盖率损失。首先,我们使用一个更准确的概念,即破坏节点,而不是先前工作中使用的违反边来分析触发器的依赖性,然后我们使用模拟退火(SA)机制来寻找这些触发器的最佳组合,同时考虑时钟树的影响。据我们所知,这是第一次以可控的方式进行转移和捕获功率,以最小的故障覆盖损失,较小的测试数据量,并且没有额外的硬件开销进行高速转换故障测试。在参考电路ISCAS89和IWLS2005上进行了大量实验,验证了所提方法的有效性。
{"title":"A Novel Scan Segmentation Design for Power Controllability and Reduction in At-Speed Test","authors":"Z. Jiang, D. Xiang, Kele Shen","doi":"10.1109/ATS.2015.9","DOIUrl":"https://doi.org/10.1109/ATS.2015.9","url":null,"abstract":"The increasing power consumption during the chip testing process has become the bottleneck of chip production and testing for micro-nano VLSI circuits. Numerous low power design-for-testability (DfT) techniques have been proposed to deal with the test power problem, and segmented scan method was shown to be an efficient solution. We propose a new power-aware scan segment architecture, which can accurately control the power of shift and capture cycles at the same time. Since enabling only a subset of scan flip-flops to capture test responses in one cycle compromises the fault coverage, we propose a new method to reduce the fault coverage loss. First, we use a more accurate notion, spoiled nodes, instead of violation edges used in previous works to analyse the ependency of flip-flops, then we use simulated annealing(SA) mechanism to find the best combination of these flip-flops while considering the clock trees' impact. To the best of our knowledge, this is the first work to make shift and capture power in a controllable way with minimum fault coverage loss, small test-data volume and no extra hardware overhead for at-speed transition fault test. Extensive experiments have been performed on reference circuit ISCAS89 and IWLS2005 to verify the effectiveness of the proposed method.","PeriodicalId":256879,"journal":{"name":"2015 IEEE 24th Asian Test Symposium (ATS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129682608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
期刊
2015 IEEE 24th Asian Test Symposium (ATS)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1