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

محفوظ في:

التفاصيل البيبلوغرافية
مؤلفون آخرون:	Abdel-Hamid, Amr T., Akbarpour, Behzad, Harrison, John., Tahar, Sofine
التنسيق:	مقال
اللغة:	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

كن أول من يترك تعليقا!

مواد مشابهة