Ying-Tsai Chang, Kwang-Ting Cheng. Induction-Based Gate-Level Verification of Multipliers. In ICCAD. pages 190, 2001. [doi]
@inproceedings{ChangC01,
title = {Induction-Based Gate-Level Verification of Multipliers},
author = {Ying-Tsai Chang and Kwang-Ting Cheng},
year = {2001},
url = {http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm#04a_3},
tags = {rule-based},
researchr = {https://researchr.org/publication/ChangC01},
cites = {0},
citedby = {0},
pages = {190},
booktitle = {ICCAD},
}