Improving Constant-Coefficient Multiplier Verification by Partial Product Identification

Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo. Improving Constant-Coefficient Multiplier Verification by Partial Product Identification. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 813-818, 2008. [doi]

@inproceedings{LaiHK08,
  title = {Improving Constant-Coefficient Multiplier Verification by Partial Product Identification},
  author = {Chao-Yue Lai and Chung-Yang Huang and Kei-Yong Khoo},
  year = {2008},
  doi = {10.1109/DATE.2008.4484774},
  url = {http://dx.doi.org/10.1109/DATE.2008.4484774},
  researchr = {https://researchr.org/publication/LaiHK08},
  cites = {0},
  citedby = {0},
  pages = {813-818},
  booktitle = {Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008},
}