https://scholars.lib.ntu.edu.tw/handle/123456789/342753
標題: | Improving Constant-Coefficient Multiplier Verification by Partial Product Identification | 作者: | Chao-Yue (Colby) Lai CHUNG-YANG HUANG Kei-Yong Khoo |
公開日期: | 三月-2008 | 起(迄)頁: | 813-818 | 來源出版物: | Design Automation and Test in Europe (DATE) | 摘要: | Constant-coefficient multipliers are fundamental components in digital signal processing and arithmetic-based systems. Their verification, however, remains difficult and time-consuming. This is caused by the inability to identify the partial products from the number representation system of the constant. In this paper, we introduce an efficient number representation system as an observation on how modern synthesizers interpret constants. We also propose a robust and efficient partial product identification algorithm to improve the verification process. Experimental results show that our algorithm not only reduces the number of failing cases of the verification to one third but also speeds up the verification process by at least an average of 25%. © 2008 EDAA. |
URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/342753 https://www.scopus.com/inward/record.uri?eid=2-s2.0-49749127613&doi=10.1109%2fDATE.2008.4484774&partnerID=40&md5=c897731a3bccf6038ee35f9087139621 |
DOI: | 10.1109/DATE.2008.4484774 | SDG/關鍵字: | Digital arithmetic; Digital signal processing; Industrial engineering; Signal processing; Testing; Coefficient multiplier; Fundamental components; Number representations; Partial products; Verification processes; Electronic document identification systems |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。