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 /

Guardado en:
Detalles Bibliográficos
Otros Autores: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Formato: Artículo
Lenguaje:English
Materias:
Floating-point arithmetic
Formal hardware verification
Higher-order logic
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Detalle de Existencias desde

Ejemplares similares