Antonio De Vita, D. Pau, L. D. Benedetto, A. Rubino, F. Pétrot, G. Licciardo
{"title":"Low Power Tiny Binary Neural Network with improved accuracy in Human Recognition Systems","authors":"Antonio De Vita, D. Pau, L. D. Benedetto, A. Rubino, F. Pétrot, G. Licciardo","doi":"10.1109/DSD51259.2020.00057","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00057","url":null,"abstract":"Human Activity Recognition requires very high accuracy to be effectively employed into practical applications, ranging from elderly care to microsurgical devices. The highest accuracies are achieved by Deep Learning models, but these are not easily deployable in handheld or wearable devices with very constrained resources. We therefore present a new HAR system suitable for a compact FPGA implementation. A new Binarized Neural Network (BNN) architecture achieves the classification based on data from a single tri-axial accelerometer. From our experiments, the effect of gravity and the unknown orientation of the sensor cause a degradation of the accuracy. In order to compensate for these issues, we propose a HW-friendly algorithm to pre-process the raw acceleration signal. Moreover, the very low power and hardware friendly BNN has been trained and validated on the PAMAP2 dataset, for which the pre-processing operations increase the accuracy from 51% to 99% in the best case. Aiming for a low-power design, we designed both a custom circuit to perform the pre-processing operations and a hardware accelerator for the BNN. The design on FPGA features a power dissipation of 72 mW and occupies 6788 LUTs.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115114822","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}
{"title":"Revisiting Explicit Enumeration for Exact Synthesis","authors":"Gianluca Martino, Heinz Riener, G. Fey","doi":"10.1109/DSD51259.2020.00016","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00016","url":null,"abstract":"The problem of generating a minimal implementation of a given Boolean function is called exact synthesis. The parameter to be minimized is often the total number of gates used for the implementation. The exact synthesis engine is considered an essential tool for most state-of-the-art logic optimization flows. In this paper, we present an algorithm that, using enumeration over non-isomorphic graph structures, generates minimal circuits implementing specified Boolean functions using a set of predefined gate types. In our experiments, we show that our prototype implementation of this technique can be compared to state-of-the-art tools for small functions. Moreover, we show that this technique can be parallelized effectively.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116368828","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}
M. Andjelković, A. Simevski, Junchao Chen, O. Schrape, Z. Stamenkovic, M. Krstic, S. Ilić, L. Spahic, Laza Kostic, G. Ristić, A. Jaksic, A. Palma, A. Lallena, Miguel Angel Carvaja
{"title":"Design of Radiation Hardened RADFET Readout System for Space Applications","authors":"M. Andjelković, A. Simevski, Junchao Chen, O. Schrape, Z. Stamenkovic, M. Krstic, S. Ilić, L. Spahic, Laza Kostic, G. Ristić, A. Jaksic, A. Palma, A. Lallena, Miguel Angel Carvaja","doi":"10.1109/DSD51259.2020.00082","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00082","url":null,"abstract":"Measurement of absorbed dose and dose rate is a common task in radiation environments such as space. This is accomplished with the specialized instruments known as radiation dosimeters. Among the most commonly used radiation dosimeters in space missions are those based on the Radiation Sensitive Field Effect Transistors (RADFETs). In this paper, we propose a design concept for a radiation hardened readout system for the real-time measurement of absorbed dose and dose rate with RADFET. The successive switching between the absorbed dose and dose rate readout modes, as well as the subsequent data processing, are performed by the self-adaptive fault-tolerant Multiprocessing System-on-Chip (MPSoC). The integrated framework controller and the real-time monitoring of particle flux with the embedded Static Random Access Memory (SRAM) enable the autonomous selection of operating and fault-tolerant modes, thus achieving the optimal performance under variable radiation conditions.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116499798","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}
{"title":"Data Footprint Reduction in DNN Inference by Sensitivity-Controlled Approximations with Online Arithmetic","authors":"Abdus Sami Hassan, Tooba Arifeen, Jeong-A Lee","doi":"10.1109/DSD51259.2020.00089","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00089","url":null,"abstract":"In deep neural network (DNN) inference, researchers have been trying to reduce the number of computations and connections without performance degradation, departing from a bit-parallel to a bit-serial mode of arithmetic. In this regard, approximations translated as the mixed-precision profile for among-layer-mixed-precision through bit-serial architecture have been adopted in the literature. However, the introduction of within-layer mixed precision through controlled approximations for low-latency DNN architecture is yet to be studied. For DNN inference in this study, we apply an unconventional computation technique of online arithmetic, which serially generates the most significant digits first(MSDF) and then terminates computation according to the required precision. Specifically, Taylor expansion-based sensitivity analysis guides the within-layer-mixed-precision method for the choice of approximation intensity (desired bits) for weights and activations of convolutional layers. In turn, the within-layer-mixed-precision method drives the termination of the convolution operation carried out using an online multiplier. Hence, we aim to reduce the data footprint by early terminations achieved thanks to the insightful nature of within-layer-mixed-precision instead of among-layer-mixedprecision for online convolution. In this manner, convolution operations compute not-more-than-necessary most significant digits to overcome the bottleneck of data footprint for in-demand edge computing devices.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123540622","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}
Konstantinos Nomikos, Athanasios Papadimitriou, G. Stergiopoulos, D. Koutras, M. Psarakis, P. Kotzanikolaou
{"title":"On a Security-oriented Design Framework for Medical IoT Devices: The Hardware Security Perspective","authors":"Konstantinos Nomikos, Athanasios Papadimitriou, G. Stergiopoulos, D. Koutras, M. Psarakis, P. Kotzanikolaou","doi":"10.1109/DSD51259.2020.00056","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00056","url":null,"abstract":"As medical devices more and more use Internet of Things based technologies, serious concerns are raised about their security and the privacy of patient’s personal health data. To address these concerns, while maintaining reasonable overheads, designers of medical devices need to take security into account from the beginning until the completion of their designs. In this work we identify the relevant security domains and focus to the Hardware Security perspective. Additionally, we present a secure design and evaluation framework which can assist designers towards more secure medical devices. The framework integrates a complete insulin pump architecture containing all the basic components used in such applications. To illustrate the advantages of the proposed framework we perform a Side Channel Analysis attack against the embedded encryption algorithm of the device to obtain the secret encryption key. Then, we make use of the framework to identify all the components of the system which are either directly or indirectly affected by the attack. This analysis leads us to determine more complex combined attacks which may complement the SCA attack into compromising the overall security of the system.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117176018","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}
{"title":"An Hardware Recurrent Neural Network for Wearable Devices","authors":"E. Torti, Claudia d’Amato, G. Danese, F. Leporati","doi":"10.1109/DSD51259.2020.00055","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00055","url":null,"abstract":"Automatic classification of time series signals acquired by wearable or portable devices covers a central role in many critical healthcare applications, such as heart rate monitoring [1], sleep apnea study [2], gait analysis [3] and fall detection [4]. In recent years, many approaches have been adopted, including a wide range of methods ranging from threshold-based algorithms to Deep Learning techniques. The threshold-based methods have the advantage of being simple and not heavy from a computational point of view, but at the cost of low accuracy. Deep Learning approaches ensure a higher precision, but the computational complexity is increased. This is a critical issue for wearable devices because a high computational complexity strongly affects the processing time and the battery life. In this paper, we propose a hardware architecture for time series analysis using Recurrent Neural Networks (RNNs) exploiting FPGA technology. The architecture is validated with three-axial accelerometer data acquired by a wearable device used for automatic fall detection. The experimental results show that the proposed architecture outperforms state of the art solutions both in terms of processing time and power consumption.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121536476","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}
{"title":"Menhir: Generic High-Speed FPGA Model-Checker","authors":"Emilien Fournier, C. Teodorov, Loïc Lagadec","doi":"10.1109/DSD51259.2020.00022","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00022","url":null,"abstract":"Among formal methods, model-checking offers a high-level of automation and can lower the cost of the verification process. Two preliminary studies on FPGA model-checking show a high-performance increase, thanks to the massive parallelism and precise memory control opportunities. However, these approaches rely on HDL-based ad-hoc model encoding, and miss the importance of decoupling the modeling language from the verification core, which greatly limits their usability. In this paper we propose Menhir, a new highly modular hardware model-checker, inspired by the architecture of software verification frameworks. Menhir is based on a generic language-verification interface which isolates the modeling-language semantics from the verification core, allowing their independent evolution. Menhir opens the architecture to the whole spectrum of modeling languages. Moreover, it proposes a polymorphic verification core, which offers a continuum between partial and exhaustive verification, with promising performances.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125469325","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}
{"title":"AxBy: Approximate Computation Bypass for Data-Intensive Applications","authors":"Dongning Ma, Xun Jiao","doi":"10.1109/DSD51259.2020.00061","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00061","url":null,"abstract":"Recent years have witnessed a rapid growth of data-intensive applications such as machine learning and multimedia applications. However, such applications incur a heavy computation workload that stresses the existing computing systems, especially resource-constrained embedded systems. This paper is inspired by the key observation that many data-intensive applications naturally present a strong existence of trivial computations – a set of computations the results of which can be determined without actual computations. Typical examples include multiplication with 0, +1/-1 and addition with 0. Correspondingly, we develop and implement bypass circuits that are tightly integrated with computation units to detect and bypass the trivial computations. Once detected, the circuit delivers the pre-determined result without an actual computation. We implement bypass circuits in both hardware (Verilog) and software (C). Furthermore, we enhance the opportunities of computation bypass by developing AxBy, an approximate computation bypass method with pattern matching under limited data precision. This reconfigurability is key to achieving a “controllable approximation” and a tunable quality-energy tradeoff. Our experimental results show that for four image processing applications and three neural network applications, the computation bypass can enable 15% – 55% in image processing and 30% – 35% in neural networks of energy saving without any accuracy loss. For neural networks, we can further achieve 36% –44% energy saving with negligible accuracy loss.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129475944","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}
Tim Fritzmann, Jonas Vith, Martha Johanna Sepúlveda
{"title":"Strengthening Post-Quantum Security for Automotive Systems","authors":"Tim Fritzmann, Jonas Vith, Martha Johanna Sepúlveda","doi":"10.1109/DSD51259.2020.00094","DOIUrl":"https://doi.org/10.1109/DSD51259.2020.00094","url":null,"abstract":"The long lifecycle of automotive products demands that not only current but also future threats are considered during the design of automotive security. Therefore, the foreseeable breakthrough of quantum computers represents a risk for the automotive industry and the integration of Post-Quantum Cryptography (PQC) gets necessary. Lattice-based PQC is an attractive alternative for securing automotive systems. It usually employs Error-Correcting Codes (ECC) to increase the security level and to decrease the failure rate. However, ECCs are vulnerable to timing attacks. To this end, we present in this work three contributions. First, we present an implementation of PQC tailor-made for a microcontroller used in automotive systems. Second, we integrate a more powerful ECC into ThreeBears, which is an efficient Post-Quantum scheme, in order to improve its security level and to decrease the failure rate. Finally, we implement a protected ECC implementation able to resist timing attacks. Results show that the integration of PQC in automotive environments is feasible and that optimization techniques can lead to a 55.98% performance improvement. Moreover, our ECC exploration achieves a failure rate decrease from 2−135 to 2−153. Alternatively, an increase of the security level from 2141 to 2144 can be achieved. Furthermore, the timing-protected ECC presents in total only a minor performance overhead.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131602714","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}
{"title":"DSD 2020 Opinion","authors":"","doi":"10.1109/dsd51259.2020.00010","DOIUrl":"https://doi.org/10.1109/dsd51259.2020.00010","url":null,"abstract":"","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123528989","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}