Verification techniques imposed upon design of a standard cell based dsp dedicated to cochlear implant | IEEE Conference Publication | IEEE Xplore