---------------------------------------------------------------------------
--
-- Radix-512 Divider Benchmark
--
-- VHDL test vector generator file
--
-- VHDL Benchmark author: Alberto Nannarelli 04/07/1994
--
---------------------------------------------------------------------------

-- simulation delay set to 10 ns
delay 10

start

--------------------- Vector #1 ----------------------
-- x = 0.750000, d = 0.875000, q = 0.857143

dec 0.750000 0.875000

--------------------- Vector #2 ----------------------
-- x = 0.656250, d = 0.875000, q = 0.750000

dec 0.656250 0.875000

--------------------- Vector #3 ----------------------
-- x = 0.500000, d = 0.600000, q = 0.833333

dec 0.500000 0.600000

--------------------- Vector #4 ----------------------
-- x = 0.500000, d = 1.0 - 2^(-53), q = 0.5 + 2^(-53)
-- d is the maximum value in the range

bin 10000000000000000000000000000000000000000000000000000 11111111111111111111111111111111111111111111111111111

--------------------- Vector #5 ----------------------
-- x = 0.250000, d = 0.500000, q = 0.500000
-- x is the minumum value in the range
-- d is the minumum value in the range

dec 0.250000 0.500000

--------------------- Vector #6 ----------------------
-- x = 0.250000, d = 1.0 - 2^(-53), q = 0.250000
-- x is the minumum value in the range
-- d is the maximum value in the range

bin 01000000000000000000000000000000000000000000000000000 11111111111111111111111111111111111111111111111111111

--------------------- Vector #7 ----------------------
-- x = 1.0 - 2^(-53) - 2^(-52), d = 1.0 - 2^(-53), q = 1.0 - 2^(-53)
-- x and d very close to d upper bound

bin 11111111111111111111111111111111111111111111111111110 11111111111111111111111111111111111111111111111111111

--------------------- Vector #8 ----------------------
-- x = 0.500000, d = 0.5 + 2^(-53), q = 1.0 - 2^(-52)
-- x and d very close to d lowest bound

bin 10000000000000000000000000000000000000000000000000000 10000000000000000000000000000000000000000000000000001

--------------------- Vector #9 ----------------------
-- x = 0.50 - 2^(-53), d = 0.50, q = 1.0 - 2^(-53) - 2^(-52)

bin 01111111111111111111111111111111111111111111111111111 10000000000000000000000000000000000000000000000000000

--------------------- Vector #10 ----------------------
-- x = 0.50 - 2^(-53), d = 0.75 - 2^(-53), q = 0.666667

bin 01111111111111111111111111111111111111111111111111111 10111111111111111111111111111111111111111111111111111

end