A Formal Proof of PG Recurrence Equations of Parallel Adders.
Autor: | Chen, Gang1 (AUTHOR) gangchens@qq.com, Song, Xiaoyu2 (AUTHOR) songx@pdx.edu, Yang, Guowu3 (AUTHOR) guowu@uestc.edu.cn, Wang, Ting2 (AUTHOR) ting3@pdx.edu, Mu, Xiaoqiao2 (AUTHOR) muxiaoq@pdx.edu, Fan, Yongqian1 (AUTHOR) faniklas@hotmial.com |
---|---|
Zdroj: | IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Jul2021, Vol. 40 Issue 7, p1489-1494. 6p. |
Databáze: | Business Source Ultimate |
Externí odkaz: |