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 /

Gorde:
Xehetasun bibliografikoak
Beste egile batzuk: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Formatua: Artikulua
Hizkuntza:English
Gaiak:
Floating-point arithmetic
Formal hardware verification
Higher-order logic
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Deskribapena
Deskribapenik ez dago.

Antzeko izenburuak