Ho progettato un moltiplicatore a virgola mobile a precisione singola a 32 bit e anche un'unità di addizione/sottrazione separata in Verilog.Vettori di prova per unità a virgola mobile
Ho uno script in MATLAB che ho scritto che genera un numero di numeri in virgola mobile casuali e genera un banco di prova in Verilog.
Ho confrontato i risultati della simulazione ncverilog con quelli di MATLAB e ho verificato che il mio moltiplicatore funziona correttamente e che anche il mio add/subtracter funziona correttamente.
Tuttavia, desidero conoscere un elenco di test che sottopongono a test di stress la mia unità in virgola mobile. C'è una tale lista? Conosco alcuni programmi come Softfloat, ma che testano un punto mobile di un computer, piuttosto che essere in grado di unirlo con un banco di prova Verilog.
Devo anche menzionare che la mia unità non supporta eccezioni come overflow, underflow e non supporta valori denormalizzati. La modalità di arrotondamento è rotonda al più vicino.
Grazie!
Questo sembra essere molto promettente: https://www.research.ibm.com/cgi-bin/haifa/test_suite_download.pl?first=elenag&second= webmaster – Tim
Sì, ora arriva la parte fastidiosa di analizzare quei file. Grazie. – Veridian
Quando ho lavorato su FPUs molti anni fa, ho usato il seguente articolo per costruire i miei vettori di test per la copertura iniziale e l'ho trovato utile per eliminare i bug: N. L. Schryer. Una prova di unità aritmetica a virgola mobile del computer. Rapporto tecnico 89, AT & T Bell Laboratories, 1981. – njuffa