Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 34 (2015), S. 150-154
Online
unknown
Zugriff:
Titel: |
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq
|
---|---|
Autor/in / Beteiligte Person: | Gu, Ming ; Sun, Jiaguang ; Song, Xiaoyu ; Wang, Qian ; Hung, William N. N. |
Link: | |
Zeitschrift: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 34 (2015), S. 150-154 |
Veröffentlichung: | Institute of Electrical and Electronics Engineers (IEEE), 2015 |
Medientyp: | unknown |
ISSN: | 1937-4151 (print) ; 0278-0070 (print) |
DOI: | 10.1109/tcad.2014.2363391 |
Schlagwort: |
|
Sonstiges: |
|