OpenCores

discrepancy with soft float on multiply

Back to bugtracker overview.

Information:
Type :: BUG
Status :: OPENED
Assigned to :: nobody

Description:
Hello,

I found a discrepancy with soft float result for the following input vector :
rmode = 0
op = 10 ( multiply)
opa = 0xc1800300
opb = 0x00034000

The soft float result is 0x80340138
fpu100 result : 0x80068027

Please debug if this is still possible.

-JIang

Comments:

Long, Jiang Sep 9, 2014
I was able to formally verify the add operation, fpu100 is equivalent to the soft float 's float32_add.

-Jiang

Post a comment:
Login to post comments!

Back to bugtracker overview.

© copyright 1999-2019 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.