首页 > 最新文献

2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)最新文献

英文 中文
Energy-Efficient Convolutional Neural Networks via Recurrent Data Reuse 基于循环数据重用的高效卷积神经网络
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8714880
Luca Mocerino, V. Tenace, A. Calimera
Deep learning (DL) algorithms have substantially improved in terms of accuracy and efficiency. Convolutional Neural Networks (CNNs) are now able to outperform traditional algorithms in computer vision tasks such as object classification, detection, recognition, and image segmentation. They represent an attractive solution for many embedded applications which may take advantage from machine-learning at the edge. Needless to say, the key to success lies under the availability of efficient hardware implementations which meet the stringent design constraints.Inspired by the way human brains process information, this paper presents a method that improves the processing efficiency of CNNs leveraging their repetitiveness. More specifically, we introduce (i) a clustering methodology that maximizes weights/activation reuse, and (ii) the design of a heterogeneous processing element which integrates a Floating-Point Unit (FPU) with an associative memory that manages recurrent patterns. The experimental analysis reveals that the proposed method achieves substantial energy savings with low accuracy loss, thus providing a practical design option that might find application in the growing segment of edge-computing.
深度学习(DL)算法在准确性和效率方面有了很大的提高。卷积神经网络(cnn)现在能够在物体分类、检测、识别和图像分割等计算机视觉任务中优于传统算法。对于许多可以利用边缘机器学习的嵌入式应用程序来说,它们代表了一个有吸引力的解决方案。毋庸置疑,成功的关键在于满足严格设计约束的高效硬件实现的可用性。受人脑处理信息方式的启发,本文提出了一种利用cnn的重复性来提高其处理效率的方法。更具体地说,我们引入了(i)一种最大化权重/激活重用的聚类方法,以及(ii)一个异构处理元素的设计,该元素集成了一个浮点单元(FPU)和一个管理循环模式的关联存储器。实验分析表明,该方法在低精度损失的情况下实现了大量的节能,从而为边缘计算领域的发展提供了一种实用的设计选择。
{"title":"Energy-Efficient Convolutional Neural Networks via Recurrent Data Reuse","authors":"Luca Mocerino, V. Tenace, A. Calimera","doi":"10.23919/DATE.2019.8714880","DOIUrl":"https://doi.org/10.23919/DATE.2019.8714880","url":null,"abstract":"Deep learning (DL) algorithms have substantially improved in terms of accuracy and efficiency. Convolutional Neural Networks (CNNs) are now able to outperform traditional algorithms in computer vision tasks such as object classification, detection, recognition, and image segmentation. They represent an attractive solution for many embedded applications which may take advantage from machine-learning at the edge. Needless to say, the key to success lies under the availability of efficient hardware implementations which meet the stringent design constraints.Inspired by the way human brains process information, this paper presents a method that improves the processing efficiency of CNNs leveraging their repetitiveness. More specifically, we introduce (i) a clustering methodology that maximizes weights/activation reuse, and (ii) the design of a heterogeneous processing element which integrates a Floating-Point Unit (FPU) with an associative memory that manages recurrent patterns. The experimental analysis reveals that the proposed method achieves substantial energy savings with low accuracy loss, thus providing a practical design option that might find application in the growing segment of edge-computing.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124986029","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
Accurate Wirelength Prediction for Placement-Aware Synthesis through Machine Learning 基于机器学习的位置感知合成的准确无线长度预测
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8715016
Daijoon Hyun, Yuepeng Fan, Youngsoo Shin
Placement-aware synthesis, which combines logic synthesis with virtual placement and routing (P&R) to better take account of wiring, has been popular for timing closure. The wirelength after virtual placement is correlated to actual wirelength, but correlation is not strong enough for some chosen paths. An algorithm to predict the actual wirelength from placement-aware synthesis is presented. It extracts a number of parameters from a given virtual path. A handful of synthetic parameters are compiled through linear discriminant analysis (LDA), and they are submitted to a few machine learning models. The final prediction of actual wirelength is given by the weighted sum of prediction from such machine learning models, in which weight is determined by the population of neighbors in parameter space. Experiments indicate that the predicted wirelength is 93% accurate compared to actual wirelength; this can be compared to conventional virtual placement, in which wirelength is predicted with only 79% accuracy.
位置感知综合,将逻辑综合与虚拟放置和路由(P&R)相结合,以更好地考虑布线,已被用于定时关闭。虚拟放置后的线路长度与实际线路长度是相关的,但对于某些选定的线路,相关性不够强。提出了一种基于位置感知综合的实际波长预测算法。它从给定的虚拟路径中提取一些参数。通过线性判别分析(LDA)编译少量合成参数,并将其提交给几个机器学习模型。实际长度的最终预测由这些机器学习模型的预测的加权和给出,其中权重由参数空间中邻居的总体决定。实验表明,与实际波长相比,预测波长的准确度为93%;这可以与传统的虚拟放置相比,在传统的虚拟放置中,预测波长的准确度只有79%。
{"title":"Accurate Wirelength Prediction for Placement-Aware Synthesis through Machine Learning","authors":"Daijoon Hyun, Yuepeng Fan, Youngsoo Shin","doi":"10.23919/DATE.2019.8715016","DOIUrl":"https://doi.org/10.23919/DATE.2019.8715016","url":null,"abstract":"Placement-aware synthesis, which combines logic synthesis with virtual placement and routing (P&R) to better take account of wiring, has been popular for timing closure. The wirelength after virtual placement is correlated to actual wirelength, but correlation is not strong enough for some chosen paths. An algorithm to predict the actual wirelength from placement-aware synthesis is presented. It extracts a number of parameters from a given virtual path. A handful of synthetic parameters are compiled through linear discriminant analysis (LDA), and they are submitted to a few machine learning models. The final prediction of actual wirelength is given by the weighted sum of prediction from such machine learning models, in which weight is determined by the population of neighbors in parameter space. Experiments indicate that the predicted wirelength is 93% accurate compared to actual wirelength; this can be compared to conventional virtual placement, in which wirelength is predicted with only 79% accuracy.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115489850","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
IgnoreTM: Opportunistically Ignoring Timing Violations for Energy Savings using HTM IgnoreTM:投机主义地忽略时间违规使用HTM节能
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8715139
Dimitra Papagiannopoulou, Sungseob Whang, T. Moreshet, R. I. Bahar
Energy consumption is the dominant factor in many computing systems. Voltage scaling is a widely used technique to lower energy consumption, which exploits supply voltage margins to ensure reliable circuit operation. Aggressive voltage scaling will slow signal propagation; without coherent frequency relaxation, timing violations may be generated. Hardware Transactional Memory (HTM) offers an error recovery mechanism that allows reliable execution and power savings with modest overhead. We propose IgnoreTM, an adaptive error management framework, that tolerates (i.e., opportunistically ignores) timing violations, allowing for more aggressive voltage scaling. Our experimental results show that IgnoreTM allows up to 47% total energy savings with negligible impact on runtime.
能源消耗是许多计算系统的主要因素。电压缩放是一种广泛使用的降低能耗的技术,它利用电源电压余量来保证可靠的电路运行。积极的电压缩放将减缓信号传播;没有相干频率松弛,可能会产生时序违反。硬件事务性内存(Hardware Transactional Memory, HTM)提供了一种错误恢复机制,可以在适度的开销下实现可靠的执行和节能。我们提出了IgnoreTM,一个自适应错误管理框架,它可以容忍(即机会主义地忽略)时序违规,允许更积极的电压缩放。我们的实验结果表明,IgnoreTM可以节省高达47%的总能源,而对运行时间的影响可以忽略不计。
{"title":"IgnoreTM: Opportunistically Ignoring Timing Violations for Energy Savings using HTM","authors":"Dimitra Papagiannopoulou, Sungseob Whang, T. Moreshet, R. I. Bahar","doi":"10.23919/DATE.2019.8715139","DOIUrl":"https://doi.org/10.23919/DATE.2019.8715139","url":null,"abstract":"Energy consumption is the dominant factor in many computing systems. Voltage scaling is a widely used technique to lower energy consumption, which exploits supply voltage margins to ensure reliable circuit operation. Aggressive voltage scaling will slow signal propagation; without coherent frequency relaxation, timing violations may be generated. Hardware Transactional Memory (HTM) offers an error recovery mechanism that allows reliable execution and power savings with modest overhead. We propose IgnoreTM, an adaptive error management framework, that tolerates (i.e., opportunistically ignores) timing violations, allowing for more aggressive voltage scaling. Our experimental results show that IgnoreTM allows up to 47% total energy savings with negligible impact on runtime.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116340519","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 Parallel Graph Environment for Real-World Data Analytics Workflows 现实世界数据分析工作流的并行图形环境
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8715196
Vito Giovanni Castellana, M. Drocco, J. Feo, J. Firoz, Thejaka Amila Kanewala, A. Lumsdaine, J. Manzano, A. Márquez, Marco Minutoli, Joshua D. Suetterlein, Antonino Tumeo, Marcin Zalewski
Economic competitiveness and national security depend increasingly on the insightful analysis of large data sets. The diversity of real-world data sources and analytic workflows impose challenging hardware and software requirements for parallel graph platforms. The irregular nature of graph methods is not supported well by the deep memory hierarchies of conventional distributed systems, requiring new processor and runtime system designs to tolerate memory and synchronization latencies. Moreover, the efficiency of relational table operations and matrix computations are not attainable when data is stored in common graph data structures. In this paper, we present HAGGLE, a high-performance, scalable data analytics platform. The platform’s hybrid data model supports a variety of distributed, thread-safe data structures, parallel programming constructs, and persistent and streaming data. An abstract runtime layer enables us to map the stack to conventional, distributed computer systems with accelerators. The runtime uses multithreading, active messages, and data aggregation to hide memory and synchronization latencies on large-scale systems.
经济竞争力和国家安全越来越依赖于对大数据集的深刻分析。现实世界数据源和分析工作流程的多样性对并行图形平台提出了具有挑战性的硬件和软件要求。传统分布式系统的深层内存层次结构不能很好地支持图方法的不规则性质,这需要新的处理器和运行时系统设计来容忍内存和同步延迟。此外,当数据存储在常见的图数据结构中时,关系表操作和矩阵计算的效率是无法实现的。在本文中,我们提出了一个高性能、可扩展的数据分析平台HAGGLE。该平台的混合数据模型支持各种分布式、线程安全的数据结构、并行编程结构以及持久和流数据。抽象的运行时层使我们能够将堆栈映射到具有加速器的传统分布式计算机系统。运行时使用多线程、活动消息和数据聚合来隐藏大规模系统上的内存和同步延迟。
{"title":"A Parallel Graph Environment for Real-World Data Analytics Workflows","authors":"Vito Giovanni Castellana, M. Drocco, J. Feo, J. Firoz, Thejaka Amila Kanewala, A. Lumsdaine, J. Manzano, A. Márquez, Marco Minutoli, Joshua D. Suetterlein, Antonino Tumeo, Marcin Zalewski","doi":"10.23919/DATE.2019.8715196","DOIUrl":"https://doi.org/10.23919/DATE.2019.8715196","url":null,"abstract":"Economic competitiveness and national security depend increasingly on the insightful analysis of large data sets. The diversity of real-world data sources and analytic workflows impose challenging hardware and software requirements for parallel graph platforms. The irregular nature of graph methods is not supported well by the deep memory hierarchies of conventional distributed systems, requiring new processor and runtime system designs to tolerate memory and synchronization latencies. Moreover, the efficiency of relational table operations and matrix computations are not attainable when data is stored in common graph data structures. In this paper, we present HAGGLE, a high-performance, scalable data analytics platform. The platform’s hybrid data model supports a variety of distributed, thread-safe data structures, parallel programming constructs, and persistent and streaming data. An abstract runtime layer enables us to map the stack to conventional, distributed computer systems with accelerators. The runtime uses multithreading, active messages, and data aggregation to hide memory and synchronization latencies on large-scale systems.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124552125","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
Queue Based Memory Management Unit for Heterogeneous MPSoCs 基于队列的异构mpsoc内存管理单元
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8715129
R. Wittig, Mattis Hasler, E. Matús, G. Fettweis
Sharing tightly coupled memory in a multiprocessor system-on-chip is a promising approach to improve the programming flexibility as well as to ease the constraints imposed by area and power. However, it poses a challenge in terms of access latency. In this paper, we present a queue based memory management unit which combines the low latency access of shared tightly coupled memory with the flexibility of a traditional memory management unit. Our passive conflict detection approach significantly reduces the critical path compared to previously proposed methods while preserving the flexibility associated with dynamic memory allocation and heterogeneous data widths.
在多处理器片上系统中共享紧耦合存储器是一种很有前途的方法,可以提高编程灵活性,并减轻面积和功耗的限制。然而,它在访问延迟方面提出了挑战。本文提出了一种基于队列的内存管理单元,它结合了共享紧耦合内存的低延迟访问和传统内存管理单元的灵活性。与之前提出的方法相比,我们的被动冲突检测方法显著减少了关键路径,同时保留了动态内存分配和异构数据宽度相关的灵活性。
{"title":"Queue Based Memory Management Unit for Heterogeneous MPSoCs","authors":"R. Wittig, Mattis Hasler, E. Matús, G. Fettweis","doi":"10.23919/DATE.2019.8715129","DOIUrl":"https://doi.org/10.23919/DATE.2019.8715129","url":null,"abstract":"Sharing tightly coupled memory in a multiprocessor system-on-chip is a promising approach to improve the programming flexibility as well as to ease the constraints imposed by area and power. However, it poses a challenge in terms of access latency. In this paper, we present a queue based memory management unit which combines the low latency access of shared tightly coupled memory with the flexibility of a traditional memory management unit. Our passive conflict detection approach significantly reduces the critical path compared to previously proposed methods while preserving the flexibility associated with dynamic memory allocation and heterogeneous data widths.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126682744","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}
引用次数: 7
Predictive Modeling and Design Automation of Inorganic Printed Electronics 无机印刷电子的预测建模与设计自动化
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8715159
F. Rasheed, Michael Hefenbrock, R. Bishnoi, M. Beigl, J. Aghassi‐Hagmann, M. Tahoori
Printed Electronics is perceived to have a major impact in the fields of smart sensors, Internet of Things and wearables. Especially low power printed technologies such as electrolyte gated field effect transistors (EGFETs) using solution-processed inorganic materials and inkjet printing are very promising in such application domains. In this paper, we discuss a modeling approach to describe the variations of printed devices. Incorporating these models and design flows into our previously developed printed design system allows for robust circuit design. Additionally, we propose a reliability-aware routing solution for printed electronics technology based on the technology constraints in printing crossovers. The proposed methodology was validated on multiple benchmark circuits and can be easily integrated with the design automation tools-set.
印刷电子被认为对智能传感器、物联网和可穿戴设备领域产生重大影响。特别是低功耗印刷技术,如电解质门控场效应晶体管(egfet),使用溶液处理的无机材料和喷墨打印是非常有前途的应用领域。在本文中,我们讨论了一种建模方法来描述印刷器件的变化。将这些模型和设计流程整合到我们以前开发的印刷设计系统中,可以实现稳健的电路设计。此外,我们提出了一种基于印刷交叉电路技术限制的印刷电子技术的可靠性感知路由解决方案。所提出的方法在多个基准电路上得到了验证,并且可以很容易地与设计自动化工具集集成。
{"title":"Predictive Modeling and Design Automation of Inorganic Printed Electronics","authors":"F. Rasheed, Michael Hefenbrock, R. Bishnoi, M. Beigl, J. Aghassi‐Hagmann, M. Tahoori","doi":"10.23919/DATE.2019.8715159","DOIUrl":"https://doi.org/10.23919/DATE.2019.8715159","url":null,"abstract":"Printed Electronics is perceived to have a major impact in the fields of smart sensors, Internet of Things and wearables. Especially low power printed technologies such as electrolyte gated field effect transistors (EGFETs) using solution-processed inorganic materials and inkjet printing are very promising in such application domains. In this paper, we discuss a modeling approach to describe the variations of printed devices. Incorporating these models and design flows into our previously developed printed design system allows for robust circuit design. Additionally, we propose a reliability-aware routing solution for printed electronics technology based on the technology constraints in printing crossovers. The proposed methodology was validated on multiple benchmark circuits and can be easily integrated with the design automation tools-set.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129175120","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
DS-Cache: A Refined Directory Entry Lookup Cache with Prefix-Awareness for Mobile Devices DS-Cache:针对移动设备的具有前缀感知的精细化目录条目查找缓存
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8714968
Lei Han, Bin Xiao, Xuwei Dong, Zhaoyan Shen, Z. Shao
Our modern devices are filled with files, directories upon directories. Applications generate huge I/O activities in mobile devices. Directory cache is adopted to accelerate file lookup operations in the virtual file system. However, the original directory cache recursively walks all the components of a path for each lookup, leading to inefficient lookup performance and lower cache hit ratio. In this paper, we for the first time fully investigate the characteristics of the directory entry lookup in mobile devices. Based on our findings, we further propose a new directory cache scheme, called Dynamic Skipping Cache, which adopts an ASCII-based hash table to simplify the path lookup complexity by skipping the common prefixes of paths. We also design a novel lookup scheme to optimize the directory cache hit ratio. We have implemented and deployed DS-Cache on a Google Nexus 6P smartphone. Experimental results show that we can significantly reduce the latency of invoking system calls by up to 57.4%, and further reduce the completion time of real-world mobile applications by up to 64%.
我们的现代设备充满了文件,一个目录接一个目录。应用程序在移动设备中产生大量的I/O活动。在虚拟文件系统中,采用目录缓存加快文件查找速度。但是,对于每次查找,原始目录缓存递归地遍历路径的所有组件,导致查找性能低下和缓存命中率较低。本文首次全面研究了移动设备中目录条目查找的特点。基于我们的发现,我们进一步提出了一种新的目录缓存方案,称为动态跳过缓存,它采用基于ascii的哈希表,通过跳过路径的常见前缀来简化路径查找的复杂性。我们还设计了一种新的查找方案来优化目录缓存命中率。我们已经在谷歌Nexus 6P智能手机上实现并部署了DS-Cache。实验结果表明,我们可以将调用系统调用的延迟显著降低57.4%,并进一步将实际移动应用程序的完成时间降低高达64%。
{"title":"DS-Cache: A Refined Directory Entry Lookup Cache with Prefix-Awareness for Mobile Devices","authors":"Lei Han, Bin Xiao, Xuwei Dong, Zhaoyan Shen, Z. Shao","doi":"10.23919/DATE.2019.8714968","DOIUrl":"https://doi.org/10.23919/DATE.2019.8714968","url":null,"abstract":"Our modern devices are filled with files, directories upon directories. Applications generate huge I/O activities in mobile devices. Directory cache is adopted to accelerate file lookup operations in the virtual file system. However, the original directory cache recursively walks all the components of a path for each lookup, leading to inefficient lookup performance and lower cache hit ratio. In this paper, we for the first time fully investigate the characteristics of the directory entry lookup in mobile devices. Based on our findings, we further propose a new directory cache scheme, called Dynamic Skipping Cache, which adopts an ASCII-based hash table to simplify the path lookup complexity by skipping the common prefixes of paths. We also design a novel lookup scheme to optimize the directory cache hit ratio. We have implemented and deployed DS-Cache on a Google Nexus 6P smartphone. Experimental results show that we can significantly reduce the latency of invoking system calls by up to 57.4%, and further reduce the completion time of real-world mobile applications by up to 64%.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"209 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123844836","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
When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans 当电容器攻击:电荷域木马的形式化方法驱动设计与检测
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8714906
Xiaolong Guo, Huifeng Zhu, Yier Jin, Xuan Zhang
The rapid growth and globalization of the integrated circuit (IC) industry put the threat of hardware Trojans (HTs) front and center among all security concerns in the IC supply chain. Current Trojan detection approaches always assume HTs are composed of digital circuits. However, recent demonstrations of analog attacks, such as A2 and Rowhammer, invalidate the digital assumption in previous HT detection or testing methods. At the system level, attackers can utilize the analog properties of the underlying circuits such as charge-sharing and capacitive coupling effects to create information leakage paths. These new capacitor-based vulnerabilities are rarely covered in digital testings. To address these stealthy yet harmful threats, we identify a large class of such capacitor-enabled attacks and define them as charge-domain Trojans. We are able to abstract the detailed charge-domain models for these Trojans and expose the circuit-level properties that critically contribute to their information leakage paths. Aided by the abstract models, an information flow tracking (IFT) based solution is developed to detect charge-domain leakage paths and then identify the charge-domain Trojans/vulnerabilities. Our proposed method is validated on an experimental RISC microcontroller design injected with different variants of charge-domain Trojans. We demonstrate that successful detection can be accomplished with an automatic tool which realizes the IFT-based solution.
集成电路(IC)行业的快速增长和全球化使得硬件木马(ht)的威胁成为IC供应链中所有安全问题的前沿和中心。目前的木马检测方法总是假设ht是由数字电路组成的。然而,最近的模拟攻击的演示,如A2和Rowhammer,使以前的高温检测或测试方法中的数字假设无效。在系统级,攻击者可以利用底层电路的模拟特性,如电荷共享和电容耦合效应来创建信息泄露路径。这些新的基于电容的漏洞很少在数字测试中被涵盖。为了解决这些隐蔽但有害的威胁,我们确定了一大类这样的电容器启用攻击,并将其定义为电荷域木马。我们能够抽象出这些木马的详细电荷域模型,并暴露出电路级属性,这些属性对它们的信息泄露路径至关重要。在抽象模型的辅助下,提出了一种基于信息流跟踪(IFT)的电荷域泄漏路径检测方案,进而识别电荷域木马/漏洞。我们提出的方法在一个注入不同电荷域木马变体的实验性RISC微控制器设计上得到了验证。我们证明,通过实现基于ift的解决方案的自动工具可以完成成功的检测。
{"title":"When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans","authors":"Xiaolong Guo, Huifeng Zhu, Yier Jin, Xuan Zhang","doi":"10.23919/DATE.2019.8714906","DOIUrl":"https://doi.org/10.23919/DATE.2019.8714906","url":null,"abstract":"The rapid growth and globalization of the integrated circuit (IC) industry put the threat of hardware Trojans (HTs) front and center among all security concerns in the IC supply chain. Current Trojan detection approaches always assume HTs are composed of digital circuits. However, recent demonstrations of analog attacks, such as A2 and Rowhammer, invalidate the digital assumption in previous HT detection or testing methods. At the system level, attackers can utilize the analog properties of the underlying circuits such as charge-sharing and capacitive coupling effects to create information leakage paths. These new capacitor-based vulnerabilities are rarely covered in digital testings. To address these stealthy yet harmful threats, we identify a large class of such capacitor-enabled attacks and define them as charge-domain Trojans. We are able to abstract the detailed charge-domain models for these Trojans and expose the circuit-level properties that critically contribute to their information leakage paths. Aided by the abstract models, an information flow tracking (IFT) based solution is developed to detect charge-domain leakage paths and then identify the charge-domain Trojans/vulnerabilities. Our proposed method is validated on an experimental RISC microcontroller design injected with different variants of charge-domain Trojans. We demonstrate that successful detection can be accomplished with an automatic tool which realizes the IFT-based solution.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123471725","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}
引用次数: 21
Dual-gate self-aligned a-InGaZnO transistor model for flexible circuit applications 用于柔性电路应用的双栅自对准a-InGaZnO晶体管模型
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8715075
F. Roose, Hikmet Çeliker, Jan Genoe, W. Dehaene, K. Myny
This work elaborates on an amorphous Indium-Gallium-Zinc Oxide thin-film transistor model for a dual-gate self-aligned transistor configuration, enabling the design and realization of complex integrated circuits. The model originates from a mobility-enhanced transistor behavior model, whereby the additional backgate impacts key parameters, such as threshold voltage, mobility and subthreshold slope. The model has been validated for the full design flow and compared to measurement results, from single transistors, to inverters, ring oscillators and RFID transponder chips.
这项工作详细阐述了一种非晶铟镓锌氧化物薄膜晶体管模型,用于双栅极自对准晶体管配置,使复杂集成电路的设计和实现成为可能。该模型源于迁移率增强晶体管行为模型,其中额外的后门影响关键参数,如阈值电压,迁移率和亚阈值斜率。该模型已经过完整设计流程的验证,并与测量结果进行了比较,从单晶体管到逆变器,环形振荡器和RFID应答器芯片。
{"title":"Dual-gate self-aligned a-InGaZnO transistor model for flexible circuit applications","authors":"F. Roose, Hikmet Çeliker, Jan Genoe, W. Dehaene, K. Myny","doi":"10.23919/DATE.2019.8715075","DOIUrl":"https://doi.org/10.23919/DATE.2019.8715075","url":null,"abstract":"This work elaborates on an amorphous Indium-Gallium-Zinc Oxide thin-film transistor model for a dual-gate self-aligned transistor configuration, enabling the design and realization of complex integrated circuits. The model originates from a mobility-enhanced transistor behavior model, whereby the additional backgate impacts key parameters, such as threshold voltage, mobility and subthreshold slope. The model has been validated for the full design flow and compared to measurement results, from single transistors, to inverters, ring oscillators and RFID transponder chips.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116175938","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
Advanced 3D Technologies and Architectures for 3D Smart Image Sensors 3D智能图像传感器的先进3D技术和架构
Pub Date : 2019-03-25 DOI: 10.23919/DATE.2019.8714886
P. Vivet, G. Sicard, L. Millet, S. Chevobbe, K. B. Chehida, L. Cubero, Monte Alegre, Maxence Bouvier, A. Valentian, Maria Lepecq, T. Dombek, O. Bichler, S. Thuries, D. Lattard, S. Chéramy, P. Batude, F. Clermidy
Image Sensors will get more and more pervasive into their environment. In the context of Automotive and IoT, low cost image sensors, with high quality pixels, will embed more and more smart functions, such as the regular low level image processing but also object recognition, movement detection, light detection, etc. 3D technology is a key enabler technology to integrate into a single device the pixel layer and associated acquisition layer, but also the smart computing features and the required amount of memory to process all the acquired data. More computing and memory within the 3D Smart Image Sensors will bring new features and reduce the overall system power consumption. Advanced 3D technology with ultra-fine pitch vertical interconnect density will pave the way towards new architectures for 3D Smart Image Sensors, allowing local vertical communication between pixels, and the associated computing and memory structures. The presentation will give an overview of recent 3D technologies solutions, such as Hybrid Bonding technology and the Monolithic 3D CoolCube™ technology, with respective 3D interconnect pitch in the order of 1 μm and l00nm. Recent 3D Image Sensors will be presented, showing the capability of 3D technology to implement fine grain pixel acquisition and processing with ultra-high speed image acquisition and tile-based processing. As further perspectives, multi-layer 3D image sensor based on events and spiking will reduce power consumption with new detection and learning processing capabilities.
图像传感器将越来越普遍地进入到他们的环境中。在汽车和物联网的背景下,具有高质量像素的低成本图像传感器将嵌入越来越多的智能功能,例如常规的低水平图像处理,以及物体识别,运动检测,光检测等。3D技术是将像素层和相关采集层集成到单个设备中的关键使能技术,也是智能计算功能和所需的内存量来处理所有采集数据。3D智能图像传感器内更多的计算和内存将带来新功能,并降低整体系统功耗。具有超细间距垂直互连密度的先进3D技术将为3D智能图像传感器的新架构铺平道路,允许像素之间的本地垂直通信,以及相关的计算和存储结构。该演讲将概述最新的3D技术解决方案,如混合键合技术和单片3D CoolCube™技术,其3D互连间距分别为1 μm和100nm。将展示最新的3D图像传感器,展示3D技术通过超高速图像采集和基于瓷砖的处理实现细颗粒像素采集和处理的能力。从更长远的角度来看,基于事件和峰值的多层3D图像传感器将通过新的检测和学习处理能力降低功耗。
{"title":"Advanced 3D Technologies and Architectures for 3D Smart Image Sensors","authors":"P. Vivet, G. Sicard, L. Millet, S. Chevobbe, K. B. Chehida, L. Cubero, Monte Alegre, Maxence Bouvier, A. Valentian, Maria Lepecq, T. Dombek, O. Bichler, S. Thuries, D. Lattard, S. Chéramy, P. Batude, F. Clermidy","doi":"10.23919/DATE.2019.8714886","DOIUrl":"https://doi.org/10.23919/DATE.2019.8714886","url":null,"abstract":"Image Sensors will get more and more pervasive into their environment. In the context of Automotive and IoT, low cost image sensors, with high quality pixels, will embed more and more smart functions, such as the regular low level image processing but also object recognition, movement detection, light detection, etc. 3D technology is a key enabler technology to integrate into a single device the pixel layer and associated acquisition layer, but also the smart computing features and the required amount of memory to process all the acquired data. More computing and memory within the 3D Smart Image Sensors will bring new features and reduce the overall system power consumption. Advanced 3D technology with ultra-fine pitch vertical interconnect density will pave the way towards new architectures for 3D Smart Image Sensors, allowing local vertical communication between pixels, and the associated computing and memory structures. The presentation will give an overview of recent 3D technologies solutions, such as Hybrid Bonding technology and the Monolithic 3D CoolCube™ technology, with respective 3D interconnect pitch in the order of 1 μm and l00nm. Recent 3D Image Sensors will be presented, showing the capability of 3D technology to implement fine grain pixel acquisition and processing with ultra-high speed image acquisition and tile-based processing. As further perspectives, multi-layer 3D image sensor based on events and spiking will reduce power consumption with new detection and learning processing capabilities.","PeriodicalId":445778,"journal":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116290039","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
期刊
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
全部 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1