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

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
Format:	Artikel
Sprache:	English
Schlagworte:	Floating-point arithmetic Formal hardware verification Higher-order logic
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge