A bit too precise? Verification of quantized digital filters

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang. A bit too precise? Verification of quantized digital filters. STTT, 16(2):175-190, 2014. [doi]

@article{CoxSC14,
  title = {A bit too precise? Verification of quantized digital filters},
  author = {Arlen Cox and Sriram Sankaranarayanan and Bor-Yuh Evan Chang},
  year = {2014},
  doi = {10.1007/s10009-013-0279-9},
  url = {http://dx.doi.org/10.1007/s10009-013-0279-9},
  researchr = {https://researchr.org/publication/CoxSC14},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {16},
  number = {2},
  pages = {175-190},
}