首页 > 最新文献

2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)最新文献

英文 中文
A rule-based approach for minimizing power dissipation of digital circuits 一种基于规则的数字电路功耗最小化方法
Subrata Das, P. Dasgupta, P. Fiser, Sudip Ghosh, D. K. Das
Minimization of power dissipation of VLSI circuits is one of the major concerns of recent digital circuit design primarily due to the ever decreasing feature sizes of circuits, higher clock frequencies and larger die sizes. The primary contributors to power dissipation in digital circuits include leakage power, short-circuit power and switching power. Of these, power dissipation due to the circuit switching activity constitutes the major component. As such, an effective mechanism to minimize the power loss in such cases often involves the minimization of the switching activity. In this paper, we propose an intelligent rule-based algorithm for reducing the switching activity of the digital circuits at logic optimization stage. The proposed algorithm is empirically tested for several standard digital circuits with Synopsys EDA tool and the results obtained are quite encouraging.
最小化VLSI电路的功耗是最近数字电路设计的主要关注点之一,主要是由于电路的特征尺寸不断减小,更高的时钟频率和更大的芯片尺寸。造成数字电路功耗的主要因素包括泄漏功率、短路功率和开关功率。其中,由电路开关活动引起的功耗构成了主要组成部分。因此,在这种情况下最小化功率损耗的有效机制通常涉及最小化开关活动。本文提出了一种基于规则的智能算法,用于减少数字电路在逻辑优化阶段的开关活动。利用Synopsys EDA工具对几种标准数字电路进行了实证测试,得到了令人鼓舞的结果。
{"title":"A rule-based approach for minimizing power dissipation of digital circuits","authors":"Subrata Das, P. Dasgupta, P. Fiser, Sudip Ghosh, D. K. Das","doi":"10.1109/DDECS.2016.7482470","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482470","url":null,"abstract":"Minimization of power dissipation of VLSI circuits is one of the major concerns of recent digital circuit design primarily due to the ever decreasing feature sizes of circuits, higher clock frequencies and larger die sizes. The primary contributors to power dissipation in digital circuits include leakage power, short-circuit power and switching power. Of these, power dissipation due to the circuit switching activity constitutes the major component. As such, an effective mechanism to minimize the power loss in such cases often involves the minimization of the switching activity. In this paper, we propose an intelligent rule-based algorithm for reducing the switching activity of the digital circuits at logic optimization stage. The proposed algorithm is empirically tested for several standard digital circuits with Synopsys EDA tool and the results obtained are quite encouraging.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114482497","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}
引用次数: 3
A new user-friendly ATPG platform for digital circuits 一个新的用户友好的数字电路ATPG平台
Marek Lipovský, Ján Svarc, E. Gramatová, P. Fiser
The paper presents a new graphical platform for automatic test patterns generation and fault simulation for digital circuits. The platform integrates two existing academic tools for test pattern generation and fault simulation: ATALANTA and HOPE. Both tools use a specific format "bench" for circuit description which is not suitable in connection to professional CAD tools. Therefore, the platform has been extended by a new translator for mapping a VHDL digital circuit model to the format "bench". The platform contains also a separate random test patterns generator linked to the fault simulator HOPE and generation of test pairs for delay faults using the transition fault model. The new automatic test pattern generation platform provides a user-friendly environment suitable for education.
提出了一种用于数字电路自动测试图生成和故障仿真的图形化平台。该平台集成了两种现有的用于测试模式生成和故障仿真的学术工具:atlanta和HOPE。这两种工具都使用特定格式的“工作台”进行电路描述,这与专业CAD工具的连接不合适。因此,该平台通过一个新的转换器进行了扩展,用于将VHDL数字电路模型映射到“bench”格式。该平台还包含一个独立的随机测试模式生成器,与故障模拟器HOPE相连,并使用转换故障模型生成延迟故障的测试对。新的自动测试模式生成平台提供了一个适合教育的用户友好的环境。
{"title":"A new user-friendly ATPG platform for digital circuits","authors":"Marek Lipovský, Ján Svarc, E. Gramatová, P. Fiser","doi":"10.1109/DDECS.2016.7482474","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482474","url":null,"abstract":"The paper presents a new graphical platform for automatic test patterns generation and fault simulation for digital circuits. The platform integrates two existing academic tools for test pattern generation and fault simulation: ATALANTA and HOPE. Both tools use a specific format \"bench\" for circuit description which is not suitable in connection to professional CAD tools. Therefore, the platform has been extended by a new translator for mapping a VHDL digital circuit model to the format \"bench\". The platform contains also a separate random test patterns generator linked to the fault simulator HOPE and generation of test pairs for delay faults using the transition fault model. The new automatic test pattern generation platform provides a user-friendly environment suitable for education.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130309195","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
Multi-objective BDD optimization for RRAM based circuit design 基于RRAM的多目标BDD优化电路设计
S. Shirinzadeh, Mathias Soeken, R. Drechsler
Resistive switching property enables various promising applications such as design of non-volatile in-memory computing devices which has attracted high attention to Resistive Random Access Memories (RRAMs). In this work, we present a multi-objective BDD optimization approach for RRAM based logic circuit design. Dissimilar to classical BDD optimization, evaluating the cost metrics of the circuits in this case does not only depend on the number of BDD nodes but is more advanced. We have utilized a non-dominated sorting genetic algorithm for bi-objective BDD optimization with respect to the number of required RRAMs and computational steps addressing the area and delay of the resulting circuits, respectively. The algorithm also allows preference to one of the objectives if it is of higher significance. Experimental results show that the proposed multi-objective genetic algorithm achieves considerable reduction in both aforementioned criteria in comparison with an existing approach.
电阻性开关特性使得非易失性存储计算器件的设计等各种有前景的应用受到了人们的高度关注。在这项工作中,我们提出了一种基于RRAM的逻辑电路设计的多目标BDD优化方法。与经典的BDD优化不同,在这种情况下,评估电路的成本指标不仅取决于BDD节点的数量,而且更高级。我们利用非支配排序遗传算法进行双目标BDD优化,涉及所需rram的数量和计算步骤,分别解决所得到电路的面积和延迟。该算法还允许优先考虑一个目标,如果它是更重要的。实验结果表明,与现有的多目标遗传算法相比,本文提出的多目标遗传算法在上述两个指标上都有较大的降低。
{"title":"Multi-objective BDD optimization for RRAM based circuit design","authors":"S. Shirinzadeh, Mathias Soeken, R. Drechsler","doi":"10.1109/DDECS.2016.7482461","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482461","url":null,"abstract":"Resistive switching property enables various promising applications such as design of non-volatile in-memory computing devices which has attracted high attention to Resistive Random Access Memories (RRAMs). In this work, we present a multi-objective BDD optimization approach for RRAM based logic circuit design. Dissimilar to classical BDD optimization, evaluating the cost metrics of the circuits in this case does not only depend on the number of BDD nodes but is more advanced. We have utilized a non-dominated sorting genetic algorithm for bi-objective BDD optimization with respect to the number of required RRAMs and computational steps addressing the area and delay of the resulting circuits, respectively. The algorithm also allows preference to one of the objectives if it is of higher significance. Experimental results show that the proposed multi-objective genetic algorithm achieves considerable reduction in both aforementioned criteria in comparison with an existing approach.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131137040","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}
引用次数: 15
Energy-aware scheduling of FIR filter structures using a timed automata model 基于时间自动机模型的FIR滤波器结构能量感知调度
E. R. Wognsen, René Rydhof Hansen, K. Larsen, P. Koch
Software Defined Radio (SDR) devices are becoming increasingly popular due to their support for mode-, standard- and application-flexibility. At the same time however, the energy consumption of such devices typically suffers from the use of reconfigurable real-time platforms which are known to be severely power hungry. In this work we therefore show how to use tools and techniques developed by the formal methods community to minimize the energy consumption of Finite Impulse Response (FIR) filters which are extensively used in SDR front-ends. We conduct experiments with four different FIR filter structures where we initially derive data flow graphs and precedence graphs using the Synchronous Data Flow (SDF) notation. Based on actual measurements on the Altera Cyclone IV FPGA, we derive power and timing estimates for addition and multiplication, including idling power consumption. We next model the FIR structures in UPPAAL CORA and employ model checking to find energy-optimal solutions in linearly priced timed automata. In conclusion we state that there are significant energy-versus-time differences between the four structures when we experiment with varying numbers of adders and multipliers. Similarly, we find that idle power becomes an important parameter when a high number of functional units are allocated.
软件定义无线电(SDR)设备由于其对模式、标准和应用灵活性的支持而变得越来越流行。然而,与此同时,这种设备的能源消耗通常受到使用可重构实时平台的影响,众所周知,这些平台非常耗电。因此,在这项工作中,我们展示了如何使用正式方法社区开发的工具和技术来最大限度地减少在SDR前端广泛使用的有限脉冲响应(FIR)滤波器的能量消耗。我们使用四种不同的FIR滤波器结构进行实验,其中我们最初使用同步数据流(SDF)表示法导出数据流图和优先图。基于Altera Cyclone IV FPGA的实际测量,我们得出了加法和乘法的功率和时间估计,包括空转功耗。接下来,我们对UPPAAL CORA中的FIR结构建模,并使用模型检查来寻找线性定价时间自动机的能量最优解。综上所述,当我们用不同数量的加法器和乘法器进行实验时,这四种结构之间存在显著的能量与时间差异。同样,我们发现当分配大量功能单元时,空闲功率成为一个重要的参数。
{"title":"Energy-aware scheduling of FIR filter structures using a timed automata model","authors":"E. R. Wognsen, René Rydhof Hansen, K. Larsen, P. Koch","doi":"10.1109/DDECS.2016.7482468","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482468","url":null,"abstract":"Software Defined Radio (SDR) devices are becoming increasingly popular due to their support for mode-, standard- and application-flexibility. At the same time however, the energy consumption of such devices typically suffers from the use of reconfigurable real-time platforms which are known to be severely power hungry. In this work we therefore show how to use tools and techniques developed by the formal methods community to minimize the energy consumption of Finite Impulse Response (FIR) filters which are extensively used in SDR front-ends. We conduct experiments with four different FIR filter structures where we initially derive data flow graphs and precedence graphs using the Synchronous Data Flow (SDF) notation. Based on actual measurements on the Altera Cyclone IV FPGA, we derive power and timing estimates for addition and multiplication, including idling power consumption. We next model the FIR structures in UPPAAL CORA and employ model checking to find energy-optimal solutions in linearly priced timed automata. In conclusion we state that there are significant energy-versus-time differences between the four structures when we experiment with varying numbers of adders and multipliers. Similarly, we find that idle power becomes an important parameter when a high number of functional units are allocated.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124289599","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
An effective approach for functional test programs compaction 一种有效的功能测试程序压缩方法
Aymen Touati, A. Bosio, P. Girard, A. Virazel, P. Bernardi, M. Reorda
Functional test guarantees that the circuit is tested under normal conditions, thus avoiding any over-as well as under-test. This work is based on the use of Software-Based-Self-Test that allows a special application of functional test to the processor-based systems. This strategy applies the so-called functional test programs that are executed by the processor to guarantee a given fault coverage. The main goal of this paper is to investigate the static test compaction of a given set of functional test programs. The investigation aims at understanding and determining how to select the best functional test program candidates to obtain the smallest set having the best fault coverage. Results carried out on two different microprocessors show that a 49% reduction in test length and a 28.7% reduction in test application time can be achieved.
功能测试保证电路在正常条件下进行测试,从而避免任何测试过度或测试不足。这项工作是基于基于软件的自测试的使用,它允许对基于处理器的系统进行功能测试的特殊应用。该策略应用所谓的功能测试程序,由处理器执行,以保证给定的故障覆盖率。本文的主要目的是研究一组给定功能测试程序的静态测试压缩。调查的目的是了解和确定如何选择最佳的功能测试程序候选,以获得具有最佳故障覆盖率的最小集。在两个不同的微处理器上进行的结果表明,测试长度减少了49%,测试应用时间减少了28.7%。
{"title":"An effective approach for functional test programs compaction","authors":"Aymen Touati, A. Bosio, P. Girard, A. Virazel, P. Bernardi, M. Reorda","doi":"10.1109/DDECS.2016.7482466","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482466","url":null,"abstract":"Functional test guarantees that the circuit is tested under normal conditions, thus avoiding any over-as well as under-test. This work is based on the use of Software-Based-Self-Test that allows a special application of functional test to the processor-based systems. This strategy applies the so-called functional test programs that are executed by the processor to guarantee a given fault coverage. The main goal of this paper is to investigate the static test compaction of a given set of functional test programs. The investigation aims at understanding and determining how to select the best functional test program candidates to obtain the smallest set having the best fault coverage. Results carried out on two different microprocessors show that a 49% reduction in test length and a 28.7% reduction in test application time can be achieved.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127596043","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}
引用次数: 6
Low power voltage sensing through capacitance to digital conversion 低功率电压感应通过电容到数字转换
D. Shang, Yuqing Xu, K. Gao, F. Xia, A. Yakovlev
Capacitance sensors are widely used for sensing physical parameters. Conventional capacitance to digital methods use complex analog ADC techniques which are power hungry. Recently a fully digital solution was proposed with improved power consumption. This paper describes a number of problems in that solution, analyzes these problems, and proposes a new design free of these problems. A voltage senor as an example was designed based on the proposed capacitance to digital conversion in this paper. The new method achieves the same accuracy with less than half the circuit size, and 25% and 33% savings on power and energy consumption.
电容式传感器广泛用于物理参数的检测。传统的电容转数字方法使用复杂的模拟ADC技术,耗电量大。最近提出了一种完全数字化的解决方案,降低了功耗。本文描述了该方案中存在的一些问题,并对这些问题进行了分析,提出了一种新的解决方案。以电压传感器为例,基于所提出的电容-数字转换方法进行了设计。新方法在电路尺寸不到一半的情况下实现了相同的精度,并节省了25%和33%的功率和能耗。
{"title":"Low power voltage sensing through capacitance to digital conversion","authors":"D. Shang, Yuqing Xu, K. Gao, F. Xia, A. Yakovlev","doi":"10.1109/DDECS.2016.7482476","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482476","url":null,"abstract":"Capacitance sensors are widely used for sensing physical parameters. Conventional capacitance to digital methods use complex analog ADC techniques which are power hungry. Recently a fully digital solution was proposed with improved power consumption. This paper describes a number of problems in that solution, analyzes these problems, and proposes a new design free of these problems. A voltage senor as an example was designed based on the proposed capacitance to digital conversion in this paper. The new method achieves the same accuracy with less than half the circuit size, and 25% and 33% savings on power and energy consumption.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128080589","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}
引用次数: 3
Optimized differencing algorithm for firmware updates of low-power devices 针对低功耗设备固件更新优化差分算法
Ondrej Kachman, M. Baláz
Modern intelligent systems are often equipped with the low-power wireless sensor or actuator devices in their structure. These devices may need firmware updates once the system is deployed. Battery powered, physically inaccessible devices require energy effective updates. The problem of energy effective updates includes the differencing algorithms that generate small delta files. This paper presents the differencing algorithm that generates the delta files for the updates without an external memory. The proposed algorithm introduces optimizations that improve its performance over the existing solutions. The generated delta files are very small and the updates do not require external flash memory.
现代智能系统通常在其结构中配备低功耗无线传感器或执行器装置。一旦系统部署,这些设备可能需要固件更新。电池供电,物理上难以接近的设备需要能源有效更新。能源有效更新的问题包括生成小增量文件的差分算法。本文提出了一种不用外部存储器就能生成增量文件的差分算法。提出的算法引入了优化,提高了现有解决方案的性能。生成的增量文件非常小,更新不需要外部闪存。
{"title":"Optimized differencing algorithm for firmware updates of low-power devices","authors":"Ondrej Kachman, M. Baláz","doi":"10.1109/DDECS.2016.7482473","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482473","url":null,"abstract":"Modern intelligent systems are often equipped with the low-power wireless sensor or actuator devices in their structure. These devices may need firmware updates once the system is deployed. Battery powered, physically inaccessible devices require energy effective updates. The problem of energy effective updates includes the differencing algorithms that generate small delta files. This paper presents the differencing algorithm that generates the delta files for the updates without an external memory. The proposed algorithm introduces optimizations that improve its performance over the existing solutions. The generated delta files are very small and the updates do not require external flash memory.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126830045","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
The design features of low-temperature radiation-hardened instrumentation amplifiers and sensor interfaces 低温抗辐射仪器放大器和传感器接口的设计特点
A. E. Titov, N. Prokopenko, I. Pakhomov
The article gives a theoretical analysis of the generalized structure of precision instrumentation amplifiers (IA) of modern interfaces for sensor and diagnostic systems of robots and unmanned aerial vehicles (UAV), which operate, among others, on exposure to radiation and low temperatures. The main disadvantages of classical IA are determined from the common positions and the possible ways of their clearing are presented. The new architecture of radiation-hardened differential difference op-amp (DDA) based on "folded" cascode is developed for the application in sensor interfaces and its simulation results are given, taking into account the effect of disturbing factors.
本文对机器人和无人机(UAV)的传感器和诊断系统的现代接口的精密仪器放大器(IA)的一般结构进行了理论分析,其中包括暴露于辐射和低温下的操作。从常见的位置出发,确定了经典IA的主要缺点,并提出了消除这些缺点的可能方法。针对传感器接口的应用,提出了一种基于“折叠”级联码的抗辐射差分运放(DDA)新结构,并给出了考虑干扰因素影响的仿真结果。
{"title":"The design features of low-temperature radiation-hardened instrumentation amplifiers and sensor interfaces","authors":"A. E. Titov, N. Prokopenko, I. Pakhomov","doi":"10.1109/DDECS.2016.7482479","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482479","url":null,"abstract":"The article gives a theoretical analysis of the generalized structure of precision instrumentation amplifiers (IA) of modern interfaces for sensor and diagnostic systems of robots and unmanned aerial vehicles (UAV), which operate, among others, on exposure to radiation and low temperatures. The main disadvantages of classical IA are determined from the common positions and the possible ways of their clearing are presented. The new architecture of radiation-hardened differential difference op-amp (DDA) based on \"folded\" cascode is developed for the application in sensor interfaces and its simulation results are given, taking into account the effect of disturbing factors.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127923235","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}
引用次数: 3
Built-in self-repair architecture generator for digital cores 内置自修复架构生成器的数字核心
Stefan Kristofík, M. Baláz
Built-in self-repair (BISR) concept is widely utilized and proven by industry to increase the reliability of regular structures such as memory cores. The idea of using this concept in mostly irregular structures such as logic cores is quite new and represents a challenging task with many problems involved; e.g. the identification of regular parts in a logic core suitable for reconfiguration, excessive area overhead and complexity of reconfiguration logic, etc. Current promising solutions for an efficient BISR architecture design are based on reconfigurable logic blocks (RLBs). In this paper, a new automated generator of the adequate BISR reconfiguration architecture is proposed. The generation process input is a simple description of arbitrary logic core already divided into RLBs and the generated output is the synthesizable HDL description of the BISR architecture for the core.
内置自修复(BISR)概念被广泛应用并被业界证明可以提高常规结构(如存储核心)的可靠性。在大多数不规则结构(如逻辑核心)中使用这个概念的想法是相当新的,并且代表了一个具有许多问题的挑战性任务;例如,逻辑核心中适合重构的规则部件的识别,重构逻辑的面积开销过大和复杂性等。当前有效的BISR架构设计的有前途的解决方案是基于可重构逻辑块(rlb)。本文提出了一种新的充分BISR重构结构的自动发生器。生成过程输入是已划分为rlb的任意逻辑核心的简单描述,生成的输出是该核心的BISR架构的可合成HDL描述。
{"title":"Built-in self-repair architecture generator for digital cores","authors":"Stefan Kristofík, M. Baláz","doi":"10.1109/DDECS.2016.7482448","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482448","url":null,"abstract":"Built-in self-repair (BISR) concept is widely utilized and proven by industry to increase the reliability of regular structures such as memory cores. The idea of using this concept in mostly irregular structures such as logic cores is quite new and represents a challenging task with many problems involved; e.g. the identification of regular parts in a logic core suitable for reconfiguration, excessive area overhead and complexity of reconfiguration logic, etc. Current promising solutions for an efficient BISR architecture design are based on reconfigurable logic blocks (RLBs). In this paper, a new automated generator of the adequate BISR reconfiguration architecture is proposed. The generation process input is a simple description of arbitrary logic core already divided into RLBs and the generated output is the synthesizable HDL description of the BISR architecture for the core.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131198005","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
Efficient triggering of Trojan hardware logic 有效触发木马硬件逻辑
A. Voyiatzis, K. Stefanidis, P. Kitsos
The detection of malicious hardware logic (hardware Trojan) requires test patterns that succeed in exciting the malicious logic part. Testing of all possible input patterns is often prohibitively expensive. As an alternative, we explored previously the applicability of the combinatorial testing principles. In this paper, we turn our focus on the efficiency of this approach for triggering the hidden malicious logic. We present a series of experiments with Trojan designs of various activation patterns and lengths that target a cryptographic module performing AES cryptography. Our findings indicate that the available test suites succeed in triggering the malicious logic in all cases requiring only a very small number of test vectors. Thus, it is an efficient means for detecting malicious hardware logic.
恶意硬件逻辑(硬件木马)的检测需要能够成功激发恶意逻辑部分的测试模式。测试所有可能的输入模式通常是非常昂贵的。作为一种选择,我们在前面探讨了组合测试原则的适用性。在本文中,我们将重点放在该方法触发隐藏恶意逻辑的效率上。我们提出了一系列针对执行AES加密的加密模块的各种激活模式和长度的木马设计的实验。我们的发现表明,可用的测试套件在所有情况下都成功地触发了恶意逻辑,只需要非常少量的测试向量。因此,它是检测恶意硬件逻辑的有效手段。
{"title":"Efficient triggering of Trojan hardware logic","authors":"A. Voyiatzis, K. Stefanidis, P. Kitsos","doi":"10.1109/DDECS.2016.7482481","DOIUrl":"https://doi.org/10.1109/DDECS.2016.7482481","url":null,"abstract":"The detection of malicious hardware logic (hardware Trojan) requires test patterns that succeed in exciting the malicious logic part. Testing of all possible input patterns is often prohibitively expensive. As an alternative, we explored previously the applicability of the combinatorial testing principles. In this paper, we turn our focus on the efficiency of this approach for triggering the hidden malicious logic. We present a series of experiments with Trojan designs of various activation patterns and lengths that target a cryptographic module performing AES cryptography. Our findings indicate that the available test suites succeed in triggering the malicious logic in all cases requiring only a very small number of test vectors. Thus, it is an efficient means for detecting malicious hardware logic.","PeriodicalId":404733,"journal":{"name":"2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125163153","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}
引用次数: 23
期刊
2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)
全部 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