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
Μορφή: Άρθρο
Γλώσσα: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

Λεπτομέρειες τεκμηρίων από

Παρόμοια τεκμήρια