2013-02-22 18 views
6

Zaprojektowałem 32-bitowy mnożnik zmiennoprzecinkowy z jedną precyzją, a także osobną jednostkę dodawania/odejmowania w Verilog.Wektory testowe dla jednostki zmiennoprzecinkowej

Mam skrypt w MATLAB, że napisałem, że generuje kilka losowych liczb zmiennoprzecinkowych i generuje stanowisko testowe w Verilog.

Porównałem wyniki z symulacji ncverilog do tych z MATLAB i zweryfikowałem, że mój mnożnik działa poprawnie i że moje dodawanie/odejmowanie działa również poprawnie.

Chciałbym jednak poznać listę przypadków testowych, które testują naprężenie mojej jednostki zmiennoprzecinkowej. Czy istnieje taka lista? Wiem o niektórych programach, takich jak Softfloat, ale to testuje zmiennoprzecinkowe działanie komputera, a nie jest w stanie scalić go z wersją testową Verilog.

Powinienem także wspomnieć, że moja jednostka nie obsługuje wyjątków, takich jak przepełnienie, niedomiar i nie obsługuje wartości zdenormalizowanych. Tryb zaokrąglania jest zaokrąglany do najbliższego.

Dziękujemy!

+1

To wygląda obiecująco: https://www.research.ibm.com/cgi-bin/haifa/test_suite_download.pl?first=elenag&second= webmaster – Tim

+0

Tak, teraz jest irytująca część parsowania tych plików. Dziękuję Ci. – Veridian

+0

Kiedy pracowałem na FPU wiele lat temu, użyłem następującego papieru do skonstruowania własnych wektorów testowych do wstępnego pokrycia i okazało się, że jest użyteczne w usuwaniu błędów: N. L. Schryer. Test komputerowej jednostki arytmetycznej zmiennoprzecinkowej. Raport techniczny 89, AT & T Bell Laboratories, 1981. – njuffa

Odpowiedz

2
+1

Przetwórz w odpowiednim języku i wypisz Verilog ... nie próbuj poczytać w Verilogu :) –

+0

@MartinThompson, lol, tak Zrobiłem parsowanie w MATLAB. Dziękuję za uwagę. – Veridian

+0

@ starbox, @ Martin Thompson robi "Floating-Point Test Generator - FPgen" ma 64 zmiennoprzecinkowe wektory testowe? A także jak je sparsować, aby uzyskać 32 wartości binarne? – chitranna

1

Kanonicznym [opublikowanym] zestawem wektorów testowych dla FP są te z pracy doktorskiej Jerome Coonena. Są one dostępne (na taśmie !) Z IEEE, ale podejrzewam, że można je znaleźć w wygodniejszym formacie z niewielkim wyszukiwaniem.

+0

Znalazłem go, niełatwo przetłumaczyć na coś użytecznego. Myślę, że parsowanie pliku IBM, o którym mowa powyżej, będzie łatwiejsze. – Veridian

+0

@starbox Gdzie znalazłeś wyżej wymienione wektory testowe? Jeśli nie stanowi to problemu, możesz opublikować link? – Gautam