эмуляция FPU

From

Stanislav Shwartsman (2:400/520)

To

Max Alekseyev

Date

2002-11-09T09:50:52Z

Area

RU.ALGORITHMS

Hello Max!

08 Nov 02 15:42, you wrote to me:

 SS>>>> для эмулятора CPU надо бы ПОЛНОЕ соответствие.

 MA>>> http://www.filesearch.ru/cgi-bin/s?q=em87v1_3

 SS>>  Если ты не в курсе - это com файл. А мне надо описалово или на
 SS>> крайняк  исходник на C/C++. А относительно бинарника, интересно
 SS>> как ты будешь  доказывать его ПОЛНОЕ соответствие стандартам на
 SS>> floating point arithmetic.

 MA> Наверное, тестами. А как еще можно доказать соответствие?
 MA> Даже, если программа "в теории" что-то должна делать правильно, это не
 MA> гарантирует отсутствия в ней ошибок.

 Доказать тестами для такого кол-ва вариантов просто не возможно.
 Единственное, что реально - это формальное доказательство по исходнику.

    E-mail: gate@fidonet.org.il
    Voice Phones: 972-4-8330554 (home), 972-5-4481073 (cell)

Bye !
Stanislav     (AKA Night's Man)                        [Team Technion]
---
 * Origin: Gate From Another World ... From Haifa, Israel (2:400/520)