首页 > 最新文献

2015 IEEE 33rd VLSI Test Symposium (VTS)最新文献

英文 中文
Signature oriented model pruning to facilitate multi-threaded processors debugging 面向签名的模型修剪,方便多线程处理器调试
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116271
F. Refan, B. Alizadeh, Z. Navabi
In this paper, we propose a signature based pruning technique to facilitate the debugging of multi-threaded processors. To accomplish this, a pipelined implementation of the multi-threaded processor model is checked for correspondence against the specification model based on flushing proof. Then, a two-stage signature oriented pruning method is proposed to avoid the space explosion problem caused by inserting debugging facilities in the model. The results show an average improvement of 47%, and 71% in the size of decision formula and CPU time for the DLX processor, respectively.
本文提出了一种基于签名的剪枝技术,以方便多线程处理器的调试。要做到这一点,多线程处理器模型的流水线实现将根据冲洗证明检查与规范模型的对应关系。然后,提出了一种面向两阶段特征的剪枝方法,避免了在模型中插入调试设施造成的空间爆炸问题。结果显示,DLX处理器的决策公式大小和CPU时间分别平均提高了47%和71%。
{"title":"Signature oriented model pruning to facilitate multi-threaded processors debugging","authors":"F. Refan, B. Alizadeh, Z. Navabi","doi":"10.1109/VTS.2015.7116271","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116271","url":null,"abstract":"In this paper, we propose a signature based pruning technique to facilitate the debugging of multi-threaded processors. To accomplish this, a pipelined implementation of the multi-threaded processor model is checked for correspondence against the specification model based on flushing proof. Then, a two-stage signature oriented pruning method is proposed to avoid the space explosion problem caused by inserting debugging facilities in the model. The results show an average improvement of 47%, and 71% in the size of decision formula and CPU time for the DLX processor, respectively.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"34 13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123148181","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
UPF-based formal verification of low power techniques in modern processors 现代处理器中基于upf的低功耗技术的正式验证
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116288
Reza Sharafinejad, B. Alizadeh, M. Fujita
Ensuring from the correctness of system on a chip (SoC) designs after the insertion of high level power management strategies that are disconnected from low level controlling signals, is a serious challenge to be addressed. This paper proposes a methodology for formally verifying dynamic power management strategies on implementations in modern processors. The proposed methodology is based on correspondence checking between a golden model without power features as a specification and a pipelined implementation with various power management strategies. Our main contributions in this paper are: 1) extracting Power Management Unit (PMU) from Unified Power Format (UPF) and Global Power Management (GPM), 2) automatically integrating PMU into the implementation and 3) checking the correspondence between two models with efficient symbolic simulation. The experimental results show that our method enables the designers to verify the designs with different power management strategies up to several thousands of lines of Register Transfer Level (RTL) code in minutes. In comparison with existing methods such as [7], our method reduces the number of state variables, the number of clauses, the number of symbolic simulation steps, and the CPU time by 11.04×, 17.57×, 2.08× and 13.71×, respectively.
在插入与低电平控制信号断开的高电平电源管理策略后,确保片上系统(SoC)设计的正确性是一个需要解决的严峻挑战。本文提出了一种在现代处理器上正式验证动态电源管理策略实现的方法。所提出的方法是基于没有电源特征作为规范的黄金模型与具有各种电源管理策略的流水线实现之间的对应检查。我们在本文中的主要贡献是:1)从统一电源格式(UPF)和全局电源管理(GPM)中提取电源管理单元(PMU), 2)自动将PMU集成到实现中,3)通过有效的符号仿真检查两个模型之间的对应关系。实验结果表明,我们的方法使设计人员能够在几分钟内验证具有不同电源管理策略的设计,多达数千行寄存器传输电平(RTL)代码。与[7]等现有方法相比,本文方法的状态变量数、子句数、符号模拟步骤数和CPU时间分别减少了11.04×、17.57×、2.08×和13.71×。
{"title":"UPF-based formal verification of low power techniques in modern processors","authors":"Reza Sharafinejad, B. Alizadeh, M. Fujita","doi":"10.1109/VTS.2015.7116288","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116288","url":null,"abstract":"Ensuring from the correctness of system on a chip (SoC) designs after the insertion of high level power management strategies that are disconnected from low level controlling signals, is a serious challenge to be addressed. This paper proposes a methodology for formally verifying dynamic power management strategies on implementations in modern processors. The proposed methodology is based on correspondence checking between a golden model without power features as a specification and a pipelined implementation with various power management strategies. Our main contributions in this paper are: 1) extracting Power Management Unit (PMU) from Unified Power Format (UPF) and Global Power Management (GPM), 2) automatically integrating PMU into the implementation and 3) checking the correspondence between two models with efficient symbolic simulation. The experimental results show that our method enables the designers to verify the designs with different power management strategies up to several thousands of lines of Register Transfer Level (RTL) code in minutes. In comparison with existing methods such as [7], our method reduces the number of state variables, the number of clauses, the number of symbolic simulation steps, and the CPU time by 11.04×, 17.57×, 2.08× and 13.71×, respectively.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123240217","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}
引用次数: 9
Integral impact of BTI and voltage temperature variation on SRAM sense amplifier BTI和电压温度变化对SRAM感测放大器的整体影响
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116291
I. Agbo, M. Taouil, S. Hamdioui, H. Kukner, P. Weckx, P. Raghavan, F. Catthoor
With the continuous downscaling of CMOS technologies, ICs become more vulnerable to transistor aging mainly due to Bias Temperature Instability (BTI). A lot of work is published on the impact of BTI in SRAMs; however most of the work focused mainly on the memory cell array. An SRAM consists also of peripheral circuitries such as address decoders, sense amplifiers, etc. This paper characterizes the combined impact of BTI and voltage temperature fluctuations on the memory sense amplifier for different technology nodes (45nm up to 16nm). The evaluation metric, the sensing delay (SD), is analyzed for various workloads. In contrast to earlier work, this paper thoroughly quantifies the increased impact of BTI in such sense amplifiers for all the relevant technology scaling parameters. The results show that the BTI impact for nominal voltage and temperature is 6.7% for 45nm and 12.0% for 16nm when applying the worst case workload, while this is 1.8% for 45nm technology and 3.6% higher for 16nm when applying the best case workload. In addition, the results show that the increase in power supply significantly reduces the BTI degradation; e.g., the degradation at -10%Vdd is 9.0%, while this does not exceed 5.3% at +10%Vdd at room temperature. Moreover, the results that the increase in temperature can double the degradation; for instance, the degradation at room temperature and nominal Vdd is 6.7% while this goes up to 18.5% at 398K.
随着CMOS技术的不断缩小,ic越来越容易受到晶体管老化的影响,这主要是由于偏置温度不稳定性(BTI)。关于BTI在sram中的影响,已经发表了大量的工作;然而,大多数工作主要集中在存储单元阵列上。SRAM还包括外围电路,如地址解码器、感测放大器等。本文描述了BTI和电压温度波动对不同技术节点(45nm至16nm)存储感测放大器的综合影响。针对不同的工作负载,分析了评估指标感知延迟(SD)。与早期的工作相比,本文彻底量化了BTI在此类感测放大器中对所有相关技术缩放参数的影响。结果表明,在最坏情况下,45nm工艺对标称电压和温度的BTI影响为6.7%,16nm工艺为12.0%,而在最佳情况下,45nm工艺的BTI影响为1.8%,16nm工艺的BTI影响为3.6%。此外,结果表明,功率的增加显著降低了BTI的退化;例如,在-10%Vdd时的降解率为9.0%,而在室温下+10%Vdd时的降解率不超过5.3%。结果表明,温度升高可使降解速率加倍;例如,在室温和标称Vdd下的退化为6.7%,而在398K下则高达18.5%。
{"title":"Integral impact of BTI and voltage temperature variation on SRAM sense amplifier","authors":"I. Agbo, M. Taouil, S. Hamdioui, H. Kukner, P. Weckx, P. Raghavan, F. Catthoor","doi":"10.1109/VTS.2015.7116291","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116291","url":null,"abstract":"With the continuous downscaling of CMOS technologies, ICs become more vulnerable to transistor aging mainly due to Bias Temperature Instability (BTI). A lot of work is published on the impact of BTI in SRAMs; however most of the work focused mainly on the memory cell array. An SRAM consists also of peripheral circuitries such as address decoders, sense amplifiers, etc. This paper characterizes the combined impact of BTI and voltage temperature fluctuations on the memory sense amplifier for different technology nodes (45nm up to 16nm). The evaluation metric, the sensing delay (SD), is analyzed for various workloads. In contrast to earlier work, this paper thoroughly quantifies the increased impact of BTI in such sense amplifiers for all the relevant technology scaling parameters. The results show that the BTI impact for nominal voltage and temperature is 6.7% for 45nm and 12.0% for 16nm when applying the worst case workload, while this is 1.8% for 45nm technology and 3.6% higher for 16nm when applying the best case workload. In addition, the results show that the increase in power supply significantly reduces the BTI degradation; e.g., the degradation at -10%Vdd is 9.0%, while this does not exceed 5.3% at +10%Vdd at room temperature. Moreover, the results that the increase in temperature can double the degradation; for instance, the degradation at room temperature and nominal Vdd is 6.7% while this goes up to 18.5% at 398K.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132698429","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
No Fault Found: The root cause No Fault Found:根本原因
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116284
E. Larsson, B. Eklow, Scott Davidsson, R. Aitken, A. Jutman, Christophe Lotz
No Trouble Found (NTF) has been discussed for several years [1]. An NTF occurs when a device fails at the board/system level and that failure cannot be confirm by the component supplier. There are several explanations for why NTFs occur, including: device complexity; inability to create system level hardware/software transactions which uncover hard to find defects; different environments during testing (power, thermal, noise). More recently a new concept, No Fault Found (NFF), has emerged. A NFF represents a defect which cannot be detected by any known means so far. The premise is that at some point the defect will be exposed - most likely at a customer site when the device is in a system. Given that we looking for a defect that we know nothing about and are theoretically undetectable it will be interesting to see what the panel has to say about the nature of these defects and how we intend to find them.
无故障发现(NTF)已经讨论了好几年[1]。当设备在板/系统级别发生故障并且组件供应商无法确认该故障时,就会发生NTF。对于为什么会发生ntf,有几种解释,包括:设备复杂性;无法创建系统级硬件/软件事务,从而发现难以发现的缺陷;测试期间的不同环境(电源、热、噪声)。最近出现了一个新概念,即无故障发现(NFF)。NFF表示到目前为止任何已知的方法都无法检测到的缺陷。前提是,在某些时候,缺陷将被暴露出来——最有可能是在客户站点,当设备在系统中时。假设我们正在寻找一个我们一无所知的缺陷,并且在理论上是无法检测到的,那么看看小组对这些缺陷的性质以及我们打算如何找到它们的说法将是很有趣的。
{"title":"No Fault Found: The root cause","authors":"E. Larsson, B. Eklow, Scott Davidsson, R. Aitken, A. Jutman, Christophe Lotz","doi":"10.1109/VTS.2015.7116284","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116284","url":null,"abstract":"No Trouble Found (NTF) has been discussed for several years [1]. An NTF occurs when a device fails at the board/system level and that failure cannot be confirm by the component supplier. There are several explanations for why NTFs occur, including: device complexity; inability to create system level hardware/software transactions which uncover hard to find defects; different environments during testing (power, thermal, noise). More recently a new concept, No Fault Found (NFF), has emerged. A NFF represents a defect which cannot be detected by any known means so far. The premise is that at some point the defect will be exposed - most likely at a customer site when the device is in a system. Given that we looking for a defect that we know nothing about and are theoretically undetectable it will be interesting to see what the panel has to say about the nature of these defects and how we intend to find them.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"196 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132194193","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
Improving the accuracy of defect diagnosis by considering reduced diagnostic information 考虑减少诊断信息,提高缺陷诊断的准确性
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116270
I. Pomeranz
It was noted earlier that the accuracy of defect diagnosis may be improved if certain tests are removed from consideration by the defect diagnosis procedure. This paper observes that the effects, which support the removal of tests, also support the removal of observable outputs from consideration during defect diagnosis. Specifically, a test may create an output response that a defect diagnosis procedure will not be able to interpret correctly. This may affect some observable outputs more strongly than others. Therefore, the removal of observable outputs from consideration can improve the accuracy of diagnosis. This paper describes a generalized augmented defect diagnosis procedure that removes tests and observable outputs from consideration. It presents experimental results to demonstrate the effects of removing observable outputs on the accuracy of diagnosis.
前面指出,如果缺陷诊断程序不考虑某些测试,则缺陷诊断的准确性可能会提高。本文观察到,支持去除测试的效应,也支持在缺陷诊断过程中从考虑中去除可观察输出。具体来说,测试可能会创建一个缺陷诊断过程无法正确解释的输出响应。这可能会对某些可观察的输出产生比其他输出更强烈的影响。因此,从考虑中去除可观察输出可以提高诊断的准确性。本文描述了一种广义的增强缺陷诊断程序,该程序将测试和可观察输出从考虑中去除。给出了实验结果来证明去除可观察输出对诊断准确性的影响。
{"title":"Improving the accuracy of defect diagnosis by considering reduced diagnostic information","authors":"I. Pomeranz","doi":"10.1109/VTS.2015.7116270","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116270","url":null,"abstract":"It was noted earlier that the accuracy of defect diagnosis may be improved if certain tests are removed from consideration by the defect diagnosis procedure. This paper observes that the effects, which support the removal of tests, also support the removal of observable outputs from consideration during defect diagnosis. Specifically, a test may create an output response that a defect diagnosis procedure will not be able to interpret correctly. This may affect some observable outputs more strongly than others. Therefore, the removal of observable outputs from consideration can improve the accuracy of diagnosis. This paper describes a generalized augmented defect diagnosis procedure that removes tests and observable outputs from consideration. It presents experimental results to demonstrate the effects of removing observable outputs on the accuracy of diagnosis.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116132085","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
Panel: When will the cost of dependability end innovation in computer design? 专题讨论:可靠性的成本什么时候会终结计算机设计的创新?
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116264
V. Bertacco
As silicon feature sizes approach atomic scales, device reliability is waning and the cost of dependability is on the rise. Post silicon devices, such as CNTs or TFETs, promise better performance but at the cost of even worse reliability. Will we reach the point where the cost of reliability for future silicon substrates is too expensive to justify their existence? Or will we discover new ways to contain the cost of dependability? If we do discover low-cost reliability mechanisms, how much time do we have before we must deploy them? If not, how much life does silicon have left?
随着硅特征尺寸接近原子尺度,器件可靠性正在下降,可靠性成本正在上升。后硅器件,如碳纳米管或tfet,承诺更好的性能,但代价是更差的可靠性。我们是否会达到未来硅衬底可靠性成本过高而无法证明其存在的地步?或者我们会发现新的方法来控制可靠性的成本吗?如果我们确实发现了低成本的可靠性机制,在我们必须部署它们之前,我们还有多少时间?如果不是,硅还剩下多少生命?
{"title":"Panel: When will the cost of dependability end innovation in computer design?","authors":"V. Bertacco","doi":"10.1109/VTS.2015.7116264","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116264","url":null,"abstract":"As silicon feature sizes approach atomic scales, device reliability is waning and the cost of dependability is on the rise. Post silicon devices, such as CNTs or TFETs, promise better performance but at the cost of even worse reliability. Will we reach the point where the cost of reliability for future silicon substrates is too expensive to justify their existence? Or will we discover new ways to contain the cost of dependability? If we do discover low-cost reliability mechanisms, how much time do we have before we must deploy them? If not, how much life does silicon have left?","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126296906","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
Testing of 3D-stacked ICs with hard- and soft-dies - a Particle Swarm Optimization based approach 基于粒子群优化的硬、软模3d堆叠集成电路测试
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116268
R. Karmakar, Aditya Agarwal, S. Chattopadhyay
This paper presents a test architecture optimization and test scheduling strategy for TSV based 3D-Stacked ICs (SICs). A test scheduling heuristic, that can fit in both session-based and session-less test environments, has been used to select the test concurrency between the dies of the stack. The proposed method minimizes the overall test time of the stack, without violating the system level resource and TSV limits. Particle Swarm Optimization (PSO) based meta search technique has been used to select the resource allocation of individual dies and also their internal test schedules. Incorporation of PSO in two stages of optimization produces a notable reduction in the overall test time of SIC. Experimental results show that upto 51% reduction in test time can be achieved using our strategy, over the existing techniques.
提出了一种基于TSV的3d堆叠集成电路测试体系结构优化和测试调度策略。采用了一种测试调度启发式方法,该方法既适用于基于会话的测试环境,也适用于无会话的测试环境。该方法在不违反系统级资源和TSV限制的情况下,最大限度地减少了堆栈的总体测试时间。基于粒子群优化(PSO)的元搜索技术用于选择单个模具的资源分配和内部测试计划。在优化的两个阶段中加入粒子群算法可以显著减少SIC的整体测试时间。实验结果表明,与现有技术相比,使用我们的策略可以减少多达51%的测试时间。
{"title":"Testing of 3D-stacked ICs with hard- and soft-dies - a Particle Swarm Optimization based approach","authors":"R. Karmakar, Aditya Agarwal, S. Chattopadhyay","doi":"10.1109/VTS.2015.7116268","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116268","url":null,"abstract":"This paper presents a test architecture optimization and test scheduling strategy for TSV based 3D-Stacked ICs (SICs). A test scheduling heuristic, that can fit in both session-based and session-less test environments, has been used to select the test concurrency between the dies of the stack. The proposed method minimizes the overall test time of the stack, without violating the system level resource and TSV limits. Particle Swarm Optimization (PSO) based meta search technique has been used to select the resource allocation of individual dies and also their internal test schedules. Incorporation of PSO in two stages of optimization produces a notable reduction in the overall test time of SIC. Experimental results show that upto 51% reduction in test time can be achieved using our strategy, over the existing techniques.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"45 10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121184872","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 multi-layered methodology for defect-tolerance of datapath modules in processors 处理器中数据路径模块容错的多层方法
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116252
Hsunwei Hsiung, S. Gupta
Technology scaling increases circuits' susceptibility to manufacturing imperfections and dramatically decreases processor yields. Traditional defect-tolerance approaches add explicit redundant circuitry to improve yield and hence are very expensive for datapath modules in processors. We propose a multi-layered methodology to develop new and efficient defect-tolerance approaches for processors. Specifically, we develop a microarchitecture layer approach for arithmetic logic units (ALU), a circuit layer approach for multipliers, and an ISA layer approach for floating-point units (FPU). We demonstrate that our three approaches improve performance-per-fabricated-die-area of a modern processor core by 3.5%, 2.4%, and at least 9%, and hence collectively provide significant gains.
技术规模增加了电路对制造缺陷的敏感性,并大大降低了处理器的产量。传统的容错方法增加了显式冗余电路以提高良率,因此对于处理器中的数据路径模块来说非常昂贵。我们提出了一种多层的方法来为处理器开发新的和有效的缺陷容忍方法。具体而言,我们为算术逻辑单元(ALU)开发了微架构层方法,为乘法器开发了电路层方法,为浮点单元(FPU)开发了ISA层方法。我们证明了我们的三种方法将现代处理器核心的每个制造模面积的性能提高了3.5%,2.4%和至少9%,因此共同提供了显着的收益。
{"title":"A multi-layered methodology for defect-tolerance of datapath modules in processors","authors":"Hsunwei Hsiung, S. Gupta","doi":"10.1109/VTS.2015.7116252","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116252","url":null,"abstract":"Technology scaling increases circuits' susceptibility to manufacturing imperfections and dramatically decreases processor yields. Traditional defect-tolerance approaches add explicit redundant circuitry to improve yield and hence are very expensive for datapath modules in processors. We propose a multi-layered methodology to develop new and efficient defect-tolerance approaches for processors. Specifically, we develop a microarchitecture layer approach for arithmetic logic units (ALU), a circuit layer approach for multipliers, and an ISA layer approach for floating-point units (FPU). We demonstrate that our three approaches improve performance-per-fabricated-die-area of a modern processor core by 3.5%, 2.4%, and at least 9%, and hence collectively provide significant gains.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128825872","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
Robust counterfeit PCB detection exploiting intrinsic trace impedance variations 稳健的假冒PCB检测利用固有的跟踪阻抗变化
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116294
Fengchao Zhang, Andrew Hennessy, S. Bhunia
The long and distributed supply chain of printed circuit boards (PCBs) makes them vulnerable to different forms of counterfeiting attacks. Existing chip-level integrity validation approaches cannot be readily extended to PCB. In this paper, we address this issue with a novel PCB authentication approach that creates robust, unique signatures from a PCB based on process-induced variations in its trace impedances. The approach comes at virtually zero design and hardware overhead and can be applied to legacy PCBs. Experiments with two sets of commercial PCBs as well as a set of custom designed PCBs show that the proposed approach can obtain unique authentication signature with inter-PCB hamming distance of 47.94% or higher.
印刷电路板(pcb)的长而分散的供应链使它们容易受到不同形式的假冒攻击。现有的芯片级完整性验证方法不能轻易地扩展到PCB。在本文中,我们用一种新颖的PCB认证方法来解决这个问题,该方法基于过程引起的走线阻抗变化,从PCB中创建鲁棒的、唯一的签名。该方法几乎没有设计和硬件开销,可以应用于传统pcb。在两套商用pcb和一套定制设计pcb上的实验表明,该方法可以获得唯一的认证签名,pcb间汉明距离达到47.94%以上。
{"title":"Robust counterfeit PCB detection exploiting intrinsic trace impedance variations","authors":"Fengchao Zhang, Andrew Hennessy, S. Bhunia","doi":"10.1109/VTS.2015.7116294","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116294","url":null,"abstract":"The long and distributed supply chain of printed circuit boards (PCBs) makes them vulnerable to different forms of counterfeiting attacks. Existing chip-level integrity validation approaches cannot be readily extended to PCB. In this paper, we address this issue with a novel PCB authentication approach that creates robust, unique signatures from a PCB based on process-induced variations in its trace impedances. The approach comes at virtually zero design and hardware overhead and can be applied to legacy PCBs. Experiments with two sets of commercial PCBs as well as a set of custom designed PCBs show that the proposed approach can obtain unique authentication signature with inter-PCB hamming distance of 47.94% or higher.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126067385","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}
引用次数: 31
Improving accuracy of on-chip diagnosis via incremental learning 通过增量学习提高片上诊断的准确性
Pub Date : 2015-04-27 DOI: 10.1109/VTS.2015.7116280
Xuanle Ren, Mitchell Martin, R. D. Blanton
On-chip test/diagnosis is proposed to be an effective method to ensure the lifetime reliability of integrated systems. In order to manage the complexity of such an approach, an integrated system is partitioned into multiple modules where each module can be periodically tested, diagnosed and repaired if necessary. The limitation of on-chip memory and computing capability, coupled with the inherent uncertainty in diagnosis, causes the occurrence of misdiagnoses. To address this challenge, a novel incremental-learning algorithm, namely dynamic k-nearest-neighbor (DKNN), is developed to improve the accuracy of on-chip diagnosis. Different from the conventional KNN, DKNN employs online diagnosis data to update the learned classifier so that the classifier can keep evolving as new diagnosis data becomes available. Incorporating online diagnosis data enables tracking of the fault distribution and thus improves diagnostic accuracy. Experiments using various benchmark circuits (e.g., the cache controller from the OpenSPARC T2 processor design) demonstrate that diagnostic accuracy can be more than doubled.
片上测试/诊断是保证集成系统寿命可靠性的有效方法。为了管理这种方法的复杂性,集成系统被划分为多个模块,每个模块都可以定期测试、诊断和必要时修复。由于片上存储和计算能力的限制,再加上诊断本身的不确定性,导致了误诊的发生。为了解决这一挑战,开发了一种新的增量学习算法,即动态k-最近邻(DKNN),以提高片上诊断的准确性。与传统的KNN不同,DKNN利用在线诊断数据更新学习到的分类器,使分类器能够随着新的诊断数据的出现而不断进化。结合在线诊断数据,可以跟踪故障的分布,提高诊断的准确性。使用各种基准电路(例如,来自OpenSPARC T2处理器设计的缓存控制器)的实验表明,诊断准确性可以提高一倍以上。
{"title":"Improving accuracy of on-chip diagnosis via incremental learning","authors":"Xuanle Ren, Mitchell Martin, R. D. Blanton","doi":"10.1109/VTS.2015.7116280","DOIUrl":"https://doi.org/10.1109/VTS.2015.7116280","url":null,"abstract":"On-chip test/diagnosis is proposed to be an effective method to ensure the lifetime reliability of integrated systems. In order to manage the complexity of such an approach, an integrated system is partitioned into multiple modules where each module can be periodically tested, diagnosed and repaired if necessary. The limitation of on-chip memory and computing capability, coupled with the inherent uncertainty in diagnosis, causes the occurrence of misdiagnoses. To address this challenge, a novel incremental-learning algorithm, namely dynamic k-nearest-neighbor (DKNN), is developed to improve the accuracy of on-chip diagnosis. Different from the conventional KNN, DKNN employs online diagnosis data to update the learned classifier so that the classifier can keep evolving as new diagnosis data becomes available. Incorporating online diagnosis data enables tracking of the fault distribution and thus improves diagnostic accuracy. Experiments using various benchmark circuits (e.g., the cache controller from the OpenSPARC T2 processor design) demonstrate that diagnostic accuracy can be more than doubled.","PeriodicalId":187545,"journal":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127119000","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}
引用次数: 13
期刊
2015 IEEE 33rd VLSI Test Symposium (VTS)
全部 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