000			nam a22 4500
999			_c32604 _d32604
008			231128b xxu||||| |||| 00| 0 eng d
020			_a9783030075507
082			_a621.3815 _bCHA
100			_aChandrasekharan, Arun
245			_aDesign Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
260			_bSpringer, _c2019 _aCham :
300			_axix, 130 p. ; _bill., _c23 cm
365			_b49.99 _cEUR _d91.70
504			_aIncludes bibliographical references and index.
520			_aThis 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. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach.
650			_aApproximation algorithms
650			_aComputer architecture & logic design
650			_aSystem design
650			_aTechnology & Engineering Electronics General
650			_aApproximate computing
650			_aDesign automation
650			_aFormal verification
650			_aHardware architecture
650			_aTest strategies
700			_aGroße, Daniel
700			_aDrechsler, Rolf
942			_2ddc _cBK