Foundations and Trends in Electronic Design Automation最新文献

From CNN to DNN Hardware Accelerators: A Survey on Design, Exploration, Simulation, and Frameworks 从CNN到DNN硬件加速器:设计，探索，仿真和框架的调查

Foundations and Trends in Electronic Design Automation Pub Date : 2023-01-01 DOI: 10.1561/1000000060

L. Juracy, Rafael Garibotti, F. Moraes

引用次数: 3

Self-Powered Wearable IoT Devices for Health and Activity Monitoring 用于健康和活动监测的自供电可穿戴物联网设备

Foundations and Trends in Electronic Design Automation Pub Date : 2020-11-18 DOI: 10.1561/1000000056

Ganapati Bhat, U. Gupta, Y. Tuncel, F. Karabacak, S. Ozev, Ümit Y. Ogras

引用次数: 5

On-Chip Dynamic Resource Management 片上动态资源管理

Foundations and Trends in Electronic Design Automation Pub Date : 2019-06-30 DOI: 10.1561/1000000055

A. Miele, A. Kanduri, Kasra Moazzemi, Dávid Juhász, A. Rahmani, N. Dutt, P. Liljeberg, A. Jantsch

{"title":"On-Chip Dynamic Resource Management","authors":"A. Miele, A. Kanduri, Kasra Moazzemi, Dávid Juhász, A. Rahmani, N. Dutt, P. Liljeberg, A. Jantsch","doi":"10.1561/1000000055","DOIUrl":"https://doi.org/10.1561/1000000055","url":null,"abstract":"The need for dynamic resource management has shadowed the exponential growth of on-chip transistor capacity, and the challenge is accentuated by the heterogeneity of resources, and the bewildering variety of constraints and requirements of applications, platforms and users. The field has started with a few research papers in the early 1990s but has grown today to over hundred yearly publications, leading to an accumulated body of literature presumable far above 1000 papers. We focus on the dynamic (run-time) management of onchip resources and mostly ignore design-time techniques and off-chip resources of larger electronic systems. Moreover, we do not attempt a complete review of all published work on the topic. Rather, this survey provides a structured review and discussion of the state of the art and is divided along the primary objectives of resource management techniques: performance, power, reliability and quality of service, each Antonio Miele, Anil Kanduri, Kasra Moazzemi, Dávid Juhász, Amir M. Rahmani, Nikil Dutt, Pasi Liljeberg and Axel Jantsch (2019), “On-Chip Dynamic Resource Management”, Foundations and Trends © in Electronic Design Automation: Vol. 13, No. 1-2, pp 1–144. DOI: 10.1561/1000000055. The version of record is available at: http://dx.doi.org/10.1561/1000000055","PeriodicalId":42137,"journal":{"name":"Foundations and Trends in Electronic Design Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85393731","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

Contracts for System Design 系统设计合同

Foundations and Trends in Electronic Design Automation Pub Date : 2018-03-28 DOI: 10.1561/1000000053

A. Benveniste, B. Caillaud, D. Ničković, R. Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. Larsen

{"title":"Contracts for System Design","authors":"A. Benveniste, B. Caillaud, D. Ničković, R. Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. Larsen","doi":"10.1561/1000000053","DOIUrl":"https://doi.org/10.1561/1000000053","url":null,"abstract":"Systems design has become a key challenge and differentiating factor over the last decades for system companies. Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems, and more, involve systems design as a critical step. Complexity has caused system design times and costs to go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods and standard practices do not seem to scale with complexity so that novel design methods and tools based on a strong theoretical foundation are sorely needed. Model-based design as well as other methodologies such as layered and compositional design have been used recently but a unified intellectual framework with a complete design flow supported by formal tools is still lacking albeit some attempts at this framework such as Platform-based Design have been successfully deployed. Recently an \"orthogonal\" approach has been proposed that can be applied to all methodologies proposed thus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbased design. Several results have been obtained in this domain but a unified treatment of the topic that can help in putting contract-based design in perspective is still missing. This paper intends to provide such treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity. In addition, the paper provides an important link between interfaces and contracts to show similarities and correspondences. Examples of the use of contracts in design are provided as well as in depth analysis of existing literature.","PeriodicalId":42137,"journal":{"name":"Foundations and Trends in Electronic Design Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90243057","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}

引用次数: 217

Non-Boolean Computing with Spintronic Devices 自旋电子器件的非布尔计算

Foundations and Trends in Electronic Design Automation Pub Date : 2018-01-17 DOI: 10.1561/1000000046

Kawsher A. Roxy, S. Bhanja

引用次数: 1

Error-Efficient Computing Systems 错误有效计算系统

Foundations and Trends in Electronic Design Automation Pub Date : 2017-12-18 DOI: 10.1561/1000000049

Phillip Stanley-Marbell, M. Rinard

{"title":"Error-Efficient Computing Systems","authors":"Phillip Stanley-Marbell, M. Rinard","doi":"10.1561/1000000049","DOIUrl":"https://doi.org/10.1561/1000000049","url":null,"abstract":"© 2017 Now Publishers Inc. All rights reserved. This survey explores the theory and practice of techniques to make computing systems faster or more energy-efficient by allowing them to make controlled errors. In the same way that systems which only use as much energy as necessary are referred to as being energy-efficient, you can think of the class of systems addressed by this survey as being error-efficient: They only prevent as many errors as they need to. The definition of what constitutes an error varies across the parts of a system. And the errors which are acceptable depend on the application at hand. In computing systems, making errors, when behaving correctly would be too expensive, can conserve resources. The resources conserved may be time: By making some errors, systems may be faster. The resource may also be energy: A system may use less power from its batteries or from the electrical grid by only avoiding certain errors while tolerating benign errors that are associated with reduced power consumption. The resource in question may be an even more abstract quantity such as consistency of ordering of the outputs of a system. This survey is for anyone interested in an end-to-end view of one set of techniques that address the theory and practice of making computing systems more efficient by trading errors for improved efficiency.","PeriodicalId":42137,"journal":{"name":"Foundations and Trends in Electronic Design Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79997550","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

Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture 安全处理器第1部分:背景，安全Enclaves和Intel SGX架构的分类

Foundations and Trends in Electronic Design Automation Pub Date : 2017-07-13 DOI: 10.1561/1000000051

Victor Costan, Ilia A. Lebedev, S. Devadas

引用次数: 30

Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture 安全处理器第二部分:Intel SGX安全分析和MIT Sanctum架构

Foundations and Trends in Electronic Design Automation Pub Date : 2017-07-13 DOI: 10.1561/1000000052

Victor Costan, Ilia A. Lebedev, S. Devadas

{"title":"Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture","authors":"Victor Costan, Ilia A. Lebedev, S. Devadas","doi":"10.1561/1000000052","DOIUrl":"https://doi.org/10.1561/1000000052","url":null,"abstract":"This manuscript is the second in a two part survey and analysis of the state of the art in secure processor systems, with a specific focus on remote software attestation and software isolation. The first part established the taxonomy and prerequisite concepts relevant to an examination of the state of the art in trusted remote computation: attested software isolation containers (enclaves). This second part extends Part I’s description of Intel’s Software Guard Extensions (SGX), an available and documented enclave-capable system, with a rigorous security analysis of SGX as a system for trusted remote computation. This part documents the authors’ concerns over the shortcomings of SGX as a secure system and introduces the MIT Sanctum processor developed by the authors: a system designed to offer stronger security guarantees, lend itself better to analysis and formal verification, and offer a more straightforward and complete threat model than the Intel system, all with an equivalent programming model. This two part work advocates a principled, transparent, and wellscrutinized approach to system design, and argues that practical guarantees of privacy and integrity for remote computation are achievable at a reasonable design cost and performance overhead. V. Costan, I. Lebedev and S. Devadas. Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture. Foundations and Trends © in Electronic Design Automation, vol. 11, no. 3, pp. 249–361, 2017. DOI: 10.1561/1000000052. Full text available at: http://dx.doi.org/10.1561/1000000052","PeriodicalId":42137,"journal":{"name":"Foundations and Trends in Electronic Design Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89459434","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

Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach 资源感知汽车控制系统设计:一种信息物理系统方法

Foundations and Trends in Electronic Design Automation Pub Date : 2016-12-29 DOI: 10.1561/1000000045

Wanli Chang, S. Chakraborty

{"title":"Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach","authors":"Wanli Chang, S. Chakraborty","doi":"10.1561/1000000045","DOIUrl":"https://doi.org/10.1561/1000000045","url":null,"abstract":"As the automotive industry is entering the smart era through advancesin sensing, computation, storage, communication, and actuation technologies,a larger number of more complex control applications withbetter performances are expected to be on board. This requires an implementationplatform with abundant resources, which is undesired inthe cost-sensitive automotive domain. The implementation platform,often embedded in an Electronic Control Unit ECU and shared bymultiple applications to save cost, is mainly comprised of a processorfor computation, memory for storing instructions and data, and busfor internal and external communication. Conventionally, automotivecontrol systems are designed using model-based approaches, where thedetails of the implementation platform are ignored. Techniques thatintegrate the characteristics of implementation resources into controlalgorithms design are largely missing. Such a separate design paradigmis too conservative in resources dimensioning and utilization for modernvehicles. This article presents recently developed approaches in automotivecontrol systems design that take implementation resources intoconsideration, aiming to improve the control performances for a givenamount of resources, or equivalently, realize the required control performanceswith fewer resources. While communication resources have beenextensively explored in the literature of networked embedded controlsystems, we will focus on memory and computation resources, whichhave started to receive attention from the academic community andindustry just recently. As Electric Vehicles EVs have become a newtrend in the automotive industry, energy resources of EVs, i.e., thebatteries, are also investigated. A number of real-world applicationsvalidate the resource-aware automotive systems design techniques presentedin this article.","PeriodicalId":42137,"journal":{"name":"Foundations and Trends in Electronic Design Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88027219","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}

引用次数: 38

Fast Uncovering of Graph Communities on a Chip: Toward Scalable Community Detection on Multicore and Manycore Platforms 芯片上图形社区的快速发现:面向多核和多核平台的可扩展社区检测

Foundations and Trends in Electronic Design Automation Pub Date : 2016-05-02 DOI: 10.1561/1000000044

A. Kalyanaraman, M. Halappanavar, D. Chavarría-Miranda, Hao Lu, K. Duraisamy, P. Pande

{"title":"Fast Uncovering of Graph Communities on a Chip: Toward Scalable Community Detection on Multicore and Manycore Platforms","authors":"A. Kalyanaraman, M. Halappanavar, D. Chavarría-Miranda, Hao Lu, K. Duraisamy, P. Pande","doi":"10.1561/1000000044","DOIUrl":"https://doi.org/10.1561/1000000044","url":null,"abstract":"Graph representations are pervasive in scientific and social computing.They serve as vital tools to model the interplay among differentinteracting entities.In this paper, we visit the problem of community detection, which isone of the most widely used graph operations toward scientific discovery.Community detection refers to the process of identifying tightlyknitsubgroups of vertices in a large graph. These sub-groups or communitiesrepresent vertices that are tied together through commonstructure or function. Identification of communities could help in understandingthe modular organization of complex networks. However,owing to large data sizes and high computational costs, performingcommunity detection at scale has become increasingly challenging.Here, we present a detailed review and analysis of some of the leadingcomputational methods and implementations developed for executingcommunity detection on modern day multicore and manycorearchitectures. Our goals are to: a define the problem of community detectionand highlight its scientific significance; b relate to challengesin parallelizing the operation on modern day architectures; c providea detailed report and logical organization of the approaches that havebeen designed for various architectures; and d finally, provide insightsinto the strengths and suitability of different architectures for communitydetection, and a preview into the future trends of the area. It is ourhope that this detailed treatment of community detection on parallelarchitectures can serve as an exemplar study for extending the applicationof modern day multicore and manycore architectures to othercomplex graph applications.","PeriodicalId":42137,"journal":{"name":"Foundations and Trends in Electronic Design Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79623054","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