Design automation techniques for approximation circuits verification, synthesis and test - Chandrasekharan, Arun; Drechsler, Rolf; Grosse, Daniel; SpringerLink (Online service). (Cham Springer International Publishing, 2019)
Introduction -- 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.
Electronic reproduction.
Keywords: Electronic circuits; Electronics; Microelectronics; Microprocessors; Electronic books