Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test [Hardcover]