@article{StoffelKunz2006,
  author    = {Dominik Stoffel and Wolfgang Kunz},
  title     = {Verification of integer multipliers on the arithmetic bit level},
  journal   = {Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, (ICCAD) Nov. 2001, San Jose CA, USA},
  pages     = {183 -- 189},
  year      = {2006},
}