1. FinSim's support of FinSimMath is described in chapter 8 of FinSim's User's Guide, , which you can also download as a .pdf file
FinSimMath includes:
Variable Precision Fixed and Floating point representation, modifiable during the execution of the simulation.
Cartesian and Polar predefined types.
Separation of data from its location for multi-threading processing.
Matricial operations including overloading of +,-, *, /, and ** for all supported types (i.e. real, cartesian, polar, fcartesian, fpolar).
Support for solving differential equations.
Support for FFT/IFFT.
Support for arithmetic, trigonometric and hyperbolic functions.
Support for sparse matrices.
2. Download the FinSimMath Tutorial as a .pdf file
The tutorial presents an introduction to FinSimMath and provides several commented examples that run on the FinSim Verilog simulator.
3. FAQ about FinSimMath
Numerous questions about FinSimMath are addressed in here.
4. Using FinSimMath DSP designers can determine the optimal sizes and formats for the operands used, by modifying sizes and formats during the execution of the simulation
FinSimMath capabilities are shown at work in this Butterworth IIR LP filter application.
5. Performing several 1-million point FFTs in seconds within a Verilog simulation
A benchmark regarding the performance of FFT transformations is presented here.
6. Using FinSimMath for solving non-linear differential equations is presented here
7. Using FinSimMath for inverting 40,000 by 40,000 matrices is presented here
8. Fixed/Floating Point Variable Precision Formats in Verilog
The impact of FinSimMath on DSP designers using Verilog is presented here.