03-20-2017 10:56 AM
Firstly, I tested this adder with special cases such as 0, +/- infinity and not number.
Secondly, I tested it with random inputs combinations.
What else can I do to test the design fully?
03-20-2017 11:15 AM
First, why are you doing this?
Second, other than random samples, there is a full exhaustive test of all numbers. I am sure you realize that would take a long time, so it is not useful.
How we test before we ship to guarantee operation is not something we share.
03-20-2017 11:24 AM
1. Exhaustive if possible. (not likely in this case).
2. Identify all boundary conditions, and test those.
3. Look for third party test vectors.
4. Synthesizable testbench comparing two different independently developed solutions at wire speed. (useful to the extent it finds discrepancies). If you test in hardware you'll be able to test a lot more vectors.
03-20-2017 11:56 PM
Are you using xilinx floating point IP
Core provide demo test bench . You can run the simulation and verify results