эмуляция FPU

From

Max Alekseyev (2:5015/60)

To

Stanislav Shwartsman

Date

2002-11-08T15:42:56Z

Area

RU.ALGORITHMS

████ OS/2        Hi, Stanislav !

Replying to a message of Stanislav Shwartsman to Max Alekseyev:

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

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

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

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

Regards,      °°
        Max    ~

--- FleetStreet 1.27.3.8
 * Origin:  (2:5015/60)