Resolve "Different bit allocation between fix and floating point for some GSC cases"
requested to merge 1137-different-bit-allocation-between-fix-and-floating-point-for-some-gsc-cases-2 into main
- Related issues: #1137 (closed)
- Requested reviewers: @malenovsky
Reason why this change is needed
- Issues in !1669 (merged): avoid
shortdata type; implicit data type conversion improvement; formal issues
Description of the change
- Improvements in !1669 (merged).
Affected operating points
- All is BE.
Edited by vaclav