> I'll start looking at the C code next.

I skimmed the file timesoftfloat.c fpu_v19 and from John Hauser. The
line:

minIterations = 1000

is changed to

minIterations = 100000

and there are some other changes, but I can't see anything that would
make it give unique inputs for 100,000 cases.

I feel like I must be missing something. The documentation for this
project says:

"The FPU was tested in ModelSim with 100000 test cases for each
arithmetic operation and for each rounding mode."

I just cannot imagine the author is not referring to 100,000 unique
input pairs here. What am I missing?

Dara Parsavand