[an error occurred while processing this directive]
Как раз это пока что и используем, но в нем нет шаблонов данных. Кто-то может поделится шаблонами данных для проверки арифметики (+sqrt) и работе с денормализованными числами (+).
(«Телесистемы»: Конференция «Языки описания аппаратуры (VHDL и др.))

миниатюрный аудио-видеорекордер mAVR

Отправлено NiOS 29 сентября 2006 г. 14:21
В ответ на: а для генерации тест-векторов отправлено Fat Robot 29 сентября 2006 г. 14:08

Правда там еще есть TestFloat с ней еще до конца не разобрался, но какие-то шаблоны там есть.
С кем можно обсудить верификацию IEEE 754? У кого есть опыт?

Составить ответ  |||  Конференция  |||  Архив

Ответы


Отправка ответа
Имя (обязательно): 
Пароль: 
E-mail: 

Тема (обязательно):
Сообщение:

Ссылка на URL: 
Название ссылки: 
URL изображения: 


Rambler's Top100 Рейтинг@Mail.ru
Перейти к списку ответов  |||  Конференция  |||  Архив  |||  Главная страница  |||  Содержание