Mitra, Sayandeep2016-07-212016-07-21201664p.http://hdl.handle.net/10263/6500Dissertation under the supervision of Ansuman Banerjee, ACM UnitenApproximate computingProgram slicingAssertionsLinear programmingStatement coverageApproximate computing in digital designThesis