2 books
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
High-Level Verification