Modeling And Synthesis Of Approximate Digital Circuits