Publication Details

Design, Verification, Test, and In-Field Implications of Approximate Digital Integrated Circuits

BOSIO Alberto, DI Carlo Stefano, GIRARD Patrick, RUOSPO Annachiara, SANCHEZ Ernesto, SAVINO Aessandro, SEKANINA Lukáš, TRAIOLA Marcello, VAŠÍČEK Zdeněk and VIRAZEL Arnaud. Design, Verification, Test, and In-Field Implications of Approximate Digital Integrated Circuits. Approximate Computing Techniques. Cham: Springer International Publishing, 2022, pp. 349-385. ISBN 978-3-030-94704-0. Available from: https://link.springer.com/book/10.1007/978-3-030-94705-7
Czech title
Návrh, verifikace, test a nasazení aproximativních číslicových integrovaných obvodů
Type
book chapter
Language
english
Authors
Bosio Alberto (LIRMM)
Di Carlo Stefano (POLITO)
Girard Patrick (LIRMM)
Ruospo Annachiara (POLITO)
Sanchez Ernesto (POLITO)
Savino Aessandro (POLITO)
Sekanina Lukáš, prof. Ing., Ph.D. (DCSY FIT BUT)
Traiola Marcello (LIRMM)
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY FIT BUT)
Virazel Arnaud (LIRMM)
URL
Keywords

Design, Verification, Test, Approximate Computing, Digital Circuit

Abstract

Today, the concept of approximation in computing is becoming more and more a hot topic to investigate how computing systems can be more energy-efficient, faster, and less complex. Intuitively, instead of performing exact computations and, consequently, requiring a high amount of resources, Approximate Computing aims at selectively relaxing the specifications, trading accuracy off for efficiency. While Approximate Computing allows many improvements when looking at systems performance, energy efficiency, and complexity, it poses significant challenges regarding the design, the verification, the test, and the in-field reliability of Approximate Digital Integrated Circuits. This chapter covers these aspects, leveraging the authors experience in the field to present state-of-the-art solutions to apply during the different development phases of an Approximate Computing system.

Published
2022
Pages
349-385
Book
Approximate Computing Techniques
ISBN
978-3-030-94704-0
Publisher
Springer International Publishing
Place
Cham, CH
DOI
10.1007/978-3-030-94705-7_12
BibTeX 
@INBOOK{FITPUB12772,
   author = "Alberto Bosio and Stefano Carlo Di and Patrick Girard and Annachiara Ruospo and Ernesto Sanchez and Aessandro Savino and Luk\'{a}\v{s} Sekanina and Marcello Traiola and Zden\v{e}k Va\v{s}\'{i}\v{c}ek and Arnaud Virazel",
   title = "Design, Verification, Test, and In-Field Implications of Approximate Digital Integrated Circuits",
   pages = "349--385",
   booktitle = "Approximate Computing Techniques",
   year = 2022,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-94704-0",
   doi = "10.1007/978-3-030-94705-7\_12",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12772"
}
Back to top