Fixed-Point Arithmetic Library for SystemVerilog
We created a collection of synthesizable SystemVerilog modules, each implementing a parametrizable fixed-point arithmetic operation. Each module has a perfectely matching Matlab and Python models for verification purposes. The modules have the following configurable parameters: Integer and fractional length, signess type (signed or unsigned), and quantization mode for the MSB (saturation or wrap-around) and LSB (truncation or round to the nearest for the LSB). Our library was used in Mothra and Wormy chips, which makes it silicon-validated.