search

forsyde / forsyde-deep

Other
1 stars 2 forks source link

VHDL Backend: Range mismatch between Haskell's Int32 and Minimum VHDL'93 Integer range #17

Open HWoidt opened 8 years ago

HWoidt commented 8 years ago

Issue by HWoidt Saturday Jul 11, 2015 at 13:04 GMT Originally opened as https://gits-15.sys.kth.se/ingo/forsyde-deep/issues/17

Reported by alfonso....@gmail.com, Aug 4, 2008

According to the VHDL'93 standard, the minimum guaranteed range for any implementation if INTEGER is -2147483647 to 2147483647 (which matches the range implemented by Modelsim 6.1g (Included with Quartus 7.2)).

However, the range of a 32-bit Two complement's representation (Int32) is -2147483648 to 2147483647, making it overflow.

What should be done here?