LEADER 03773nam  22005535  450 
001 9910337646803321
005 20200702111038.0
010   $a3-319-98965-0
024 7 $a10.1007/978-3-319-98965-5
035   $a(CKB)4100000006999303
035   $a(MiAaPQ)EBC5552006
035   $a(DE-He213)978-3-319-98965-5
035   $a(PPN)231464584
035   $a(EXLCZ)994100000006999303
100   $a20181010d2019      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDesign Automation Techniques for Approximation Circuits $eVerification, Synthesis and Test /$fby Arun Chandrasekharan, Daniel Große, Rolf Drechsler
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (140 pages)
311   $a3-319-98964-2 
327   $aIntroduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References.
330   $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.
606   $aElectronic circuits
606   $aMicroprocessors
606   $aElectronics
606   $aMicroelectronics
606   $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068
606   $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014
606   $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027
615  0$aElectronic circuits.
615  0$aMicroprocessors.
615  0$aElectronics.
615  0$aMicroelectronics.
615 14$aCircuits and Systems.
615 24$aProcessor Architectures.
615 24$aElectronics and Microelectronics, Instrumentation.
676   $a004.21
700   $aChandrasekharan$b Arun$4aut$4http://id.loc.gov/vocabulary/relators/aut$0875247
702   $aGroße$b Daniel$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aDrechsler$b Rolf$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910337646803321
996   $aDesign Automation Techniques for Approximation Circuits$91954038
997   $aUNINA