@inproceedings{ wefel00faulty,
  author = "Sandro Wefel and Paul Molitor",
  title = "Prove that a faulty multiplier is faulty!?",
  booktitle = "Proceedings on the 10th GLS-VLSI",
  pages = "43--46",
  year = 2000
}