Double-Precision Addition and Fused Multiply-Add

Autor:	David M. Russinoff
Rok vydání:	2021
Zdroj:	Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
DOI:	10.1007/978-3-030-87181-9_17
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e1ffaa1cd119b1b941ad629b3f2813f5 https://doi.org/10.1007/978-3-030-87181-9_17 Zobrazit plný text záznamu