@inproceedings{ chang01induction,
  author = "Ying-Tsai Chang and Kwang-Ting Cheng",
  title = "Induction-based Gate-Level Verification of Multipliers",
  booktitle = "Proc. Int'l Conf. on CAD",
  year = 2001
}