Text this: Design tools for reliable computation in digital signal processing and control VLSI / A. Chatterjee.