Improving Constant-Coefficient Multiplier Verification by Partial Product Identification.
https://doi.org/10.1109/DATE.2008.4484774
@inproceedings{DBLP:conf/date/LaiHK08,
author = {Chao{-}Yue Lai and
Chung{-}Yang Huang and
Kei{-}Yong Khoo},
editor = {Donatella Sciuto},
title = {Improving Constant-Coefficient Multiplier Verification by Partial
Product Identification},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {813--818},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484774},
doi = {10.1109/DATE.2008.4484774},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/LaiHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签