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 /

Gardado en:
Detalles Bibliográficos
Outros autores: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Formato: Artigo
Idioma:English
Những chủ đề:
Floating-point arithmetic
Formal hardware verification
Higher-order logic
Các nhãn: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Descripción
Descrición non dispoñible

Títulos similares