Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving

Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL /

Bewaard in:
Bibliografische gegevens
Andere auteurs: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Formaat: Artikel
Taal:English
Onderwerpen:
Floating-point arithmetic
Formal hardware verification
Higher-order logic
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Omschrijving
Geen beschrijving beschikbaar.

Gelijkaardige items