|
|||||
|
|
Formal proof of integer adders using all-prefix-sums operation |
|
| Authors: | LIU Feng TAN QingPing MOHAMED Otmane Ait |
| Affiliation: | [1]School of Computer Science, National University of Defense Technology, Changsha 410073, China [2]Department of Electrical and Computer Engineering, Concordia University, Montreal H3G 1M8, Canada |
| Abstract: | |
| Keywords: | semi-group integer adder prefix computation computer arithmetic VLSI |
| 本文献已被 维普 等数据库收录！ | |