Design, Verification, Test and In-Field Implications of Approximate Computing Systems