摘要 : Arithmetic circuits play an important role in high-performance digital systems. The paper considers a generic architecture of hybrid prefix/carry-select arithmetic systems. A novel proof methodology is proposed to model and verify... 展开
作者 | Feng Liu Xiaoyu Song Qingping Tan Gang Chen |
---|---|
作者单位 | |
期刊名称 | 《The Computer journal》 |
页码/总页数 | p.894-904 / 11 |
语种 | 英语 |
关键词 | parallel prefix adders carry-select adders computer arithmetic formal methods |
DOI | 10.1093/comjnl/bxq048 |
馆藏号 | TP-061 |