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

Benzer Materyaller

• Multiplier evolution : a family of multiplier VLSI implementations /
  Yazar:: Colon-Bonet, Glenn.
• Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
  Yazar:: Núñez, Manuel, ve diğerleri
  Baskı/Yayın Bilgisi: (2015)
• Run-time security traceability for evolving systems /
  Yazar:: Bauer, Andreas.
• Closing a system in the dynamic input/output automata model /
  Yazar:: Kapus, Tatjana.
• Fixed point theorems by altering distances /
  Yazar:: Naidu, S. V. R.