Zobrazeno 1 - 10
of 54
pro vyhledávání: '"David M. Russinoff"'
Autor:
David M. Russinoff
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 249, Iss Proc. ACL2Workshop 2017, Pp 30-46 (2017)
We present an elementary proof of the group properties of the elliptic curve known as "Curve25519", as a component of a comprehensive proof of correctness of a hardware implementation of the associated Diffie-Hellman key agreement algorithm. The enti
Externí odkaz:
https://doaj.org/article/a2c557049c294b33a05ab2c39e686394
Autor:
John W. O'Leary, David M. Russinoff
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 152, Iss Proc. ACL2 2014, Pp 145-162 (2014)
We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of
Externí odkaz:
https://doaj.org/article/92a4966af949466b8eafcb3842168e35
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0be00897750a862ef3bb115ce8baa1b
https://doi.org/10.1007/978-3-030-87181-9_21
https://doi.org/10.1007/978-3-030-87181-9_21
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Formal Verification of Floating-Point Hardware Design ISBN: 9783319955124
Formal Verification of Floating-Point Hardware Design ISBN: 9783319955124
Finally, we present the function fsqrt64, which performs double-, single-, and half-precision square root extraction. This function, which is listed in Appendix E, is based on an implementation of the minimally redundant radix-4 case of SRT square ro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::477b69967357fefe16ed020e55ea2b67
https://doi.org/10.1007/978-3-030-87181-9_20
https://doi.org/10.1007/978-3-030-87181-9_20
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Formal Verification of Floating-Point Hardware Design ISBN: 9783319955124
Formal Verification of Floating-Point Hardware Design ISBN: 9783319955124
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4bd70e3e0a8081670d990ae164da772
https://doi.org/10.1007/978-3-030-87181-9_12
https://doi.org/10.1007/978-3-030-87181-9_12
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0530ff350ba606c70abc1a35c579e421
https://doi.org/10.1007/978-3-030-87181-9_6
https://doi.org/10.1007/978-3-030-87181-9_6
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69f3df7e50bed1adddeb3bed7f7a7f24
https://doi.org/10.1007/978-3-030-87181-9_15
https://doi.org/10.1007/978-3-030-87181-9_15
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1ffaa1cd119b1b941ad629b3f2813f5
https://doi.org/10.1007/978-3-030-87181-9_17
https://doi.org/10.1007/978-3-030-87181-9_17
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a7ff533de9819986d81d5c0b8eed857
https://doi.org/10.1007/978-3-030-87181-9_2
https://doi.org/10.1007/978-3-030-87181-9_2
Autor:
David M. Russinoff
Publikováno v:
Formal Verification of Floating-Point Hardware Design ISBN: 9783030871802
Formal Verification of Floating-Point Hardware Design ISBN: 9783319955124
Formal Verification of Floating-Point Hardware Design ISBN: 9783319955124
A floating-point format is a scheme for representing a number as a bit vector consisting of three fields corresponding to its sign, exponent, and significand. In this chapter, we present a classification of such formats, including those prescribed by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::110bb6f38fd3e7fd6c465ba43a78d543
https://doi.org/10.1007/978-3-030-87181-9_5
https://doi.org/10.1007/978-3-030-87181-9_5