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 /

Tallennettuna:
Bibliografiset tiedot
Muut tekijät: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Aineistotyyppi: Artikkeli
Kieli:English
Aiheet:
Floating-point arithmetic
Formal hardware verification
Higher-order logic
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Saatavuus:

Samankaltaisia teoksia