современном процессоростроении верифицируются fpu модули?
Здравый смысл подсказывает, что перебрать все значения для различных операций (+, -, *, их комбинации) с количеством аргументов 2-4 одинарной/двойной точности не представляется возможным. Тогда как доказать что условно разработанный fpu считает верно?
ну, может используют старинный метод поверки расчётов, когда сверяют результаты разных независимых исполнителей? на старых пентиумах ведь была ошибка в Fpu. которую позже нашли.
Обсуждают сегодня