Design Automation Techniques for Approximation Circuits
Design Automation Techniques for Approximation Circuits

Author: Arun Chandrasekharan

Publisher: Springer

Published: 2018-10-10

Total Pages: 140

ISBN-13: 3319989650

DOWNLOAD EBOOK

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.

Approximate Computing Techniques
Approximate Computing Techniques

Author: Alberto Bosio

Publisher: Springer Nature

Published: 2022-06-10

Total Pages: 541

ISBN-13: 303094705X

DOWNLOAD EBOOK

This book serves as a single-source reference to the latest advances in Approximate Computing (AxC), a promising technique for increasing performance or reducing the cost and power consumption of a computing system. The authors discuss the different AxC design and validation techniques, and their integration. They also describe real AxC applications, spanning from mobile to high performance computing and also safety-critical applications.

Approximate Circuits
Approximate Circuits

Author: Sherief Reda

Publisher: Springer

Published: 2018-12-05

Total Pages: 495

ISBN-13: 3319993224

DOWNLOAD EBOOK

This book provides readers with a comprehensive, state-of-the-art overview of approximate computing, enabling the design trade-off of accuracy for achieving better power/performance efficiencies, through the simplification of underlying computing resources. The authors describe in detail various efforts to generate approximate hardware systems, while still providing an overview of support techniques at other computing layers. The book is organized by techniques for various hardware components, from basic building blocks to general circuits and systems.

Approximate Arithmetic Circuit Architectures for FPGA-based Systems
Approximate Arithmetic Circuit Architectures for FPGA-based Systems

Author: Salim Ullah

Publisher: Springer Nature

Published: 2023-02-27

Total Pages: 190

ISBN-13: 3031212940

DOWNLOAD EBOOK

This book presents various novel architectures for FPGA-optimized accurate and approximate operators, their detailed accuracy and performance analysis, various techniques to model the behavior of approximate operators, and thorough application-level analysis to evaluate the impact of approximations on the final output quality and performance metrics. As multiplication is one of the most commonly used and computationally expensive operations in various error-resilient applications such as digital signal and image processing and machine learning algorithms, this book particularly focuses on this operation. The book starts by elaborating on the various sources of error resilience and opportunities available for approximations on various layers of the computation stack. It then provides a detailed description of the state-of-the-art approximate computing-related works and highlights their limitations.

Approximate Computing
Approximate Computing

Author: Weiqiang Liu

Publisher: Springer Nature

Published: 2022-08-22

Total Pages: 607

ISBN-13: 3030983471

DOWNLOAD EBOOK

This book explores the technological developments at various levels of abstraction, of the new paradigm of approximate computing. The authors describe in a single-source the state-of-the-art, covering the entire spectrum of research activities in approximate computing, bridging device, circuit, architecture, and system levels. Content includes tutorials, reviews and surveys of current theoretical/experimental results, design methodologies and applications developed in approximate computing for a wide scope of readership and specialists. Serves as a single-source reference to state-of-the-art of approximate computing; Covers broad range of topics, from circuits to applications; Includes contributions by leading researchers, from academia and industry.

Approximate Circuits
Approximate Circuits

Author: Sherief Reda

Publisher: Springer

Published: 2018-12-17

Total Pages: 0

ISBN-13: 9783319993218

DOWNLOAD EBOOK

This book provides readers with a comprehensive, state-of-the-art overview of approximate computing, enabling the design trade-off of accuracy for achieving better power/performance efficiencies, through the simplification of underlying computing resources. The authors describe in detail various efforts to generate approximate hardware systems, while still providing an overview of support techniques at other computing layers. The book is organized by techniques for various hardware components, from basic building blocks to general circuits and systems.

Advanced Boolean Techniques
Advanced Boolean Techniques

Author: Rolf Drechsler

Publisher: Springer Nature

Published: 2023-05-29

Total Pages: 174

ISBN-13: 3031289161

DOWNLOAD EBOOK

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems.

Computer Aided Systems Theory – EUROCAST 2019
Computer Aided Systems Theory – EUROCAST 2019

Author: Roberto Moreno-Díaz

Publisher: Springer Nature

Published: 2020-04-15

Total Pages: 535

ISBN-13: 3030450937

DOWNLOAD EBOOK

The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019. The 123 full papers presented were carefully reviewed and selected from 172 submissions. The papers are organized in the following topical sections: Part I: systems theory and applications; pioneers and landmarks in the development of information and communication technologies; stochastic models and applications to natural, social and technical systems; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation. Part II: applications of signal processing technology; artificial intelligence and data mining for intelligent transportation systems and smart mobility; computer vision, machine learning for image analysis and applications; computer and systems based methods and electronic technologies in medicine; advances in biomedical signal and image processing; systems concepts and methods in touristic flows; systems in industrial robotics, automation and IoT.

Neuromorphic Computing and Beyond
Neuromorphic Computing and Beyond

Author: Khaled Salah Mohamed

Publisher: Springer Nature

Published: 2020-01-25

Total Pages: 241

ISBN-13: 3030372243

DOWNLOAD EBOOK

This book discusses and compares several new trends that can be used to overcome Moore’s law limitations, including Neuromorphic, Approximate, Parallel, In Memory, and Quantum Computing. The author shows how these paradigms are used to enhance computing capability as developers face the practical and physical limitations of scaling, while the demand for computing power keeps increasing. The discussion includes a state-of-the-art overview and the essential details of each of these paradigms.