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

टिप्पणी देने वाले पहले व्यक्ति बनें!

समान संसाधन