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 /

שמור ב:
מידע ביבליוגרפי
מחברים אחרים: Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
פורמט: Bài viết
שפה:English
נושאים:
Floating-point arithmetic
Formal hardware verification
Higher-order logic
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

פרטי מלאי ספרים מ

פריטים דומים