Verification
The Lossless Compression IP core has been verified in simulation for the decompression function. A highly parameterizable constrained random simulation test suite has been used to verify the core. Below are the various metrics involved in testing the core:
- All possible configurations of the core are tested
- Several benchmark files from Silesia, Canterbury and more corpuses were used to test the core along with randomly generated files using the FIO utility
- For verification, files are compressed using standard GNU utility and decompressed using this core and the output is compared with the original file
- Performance and Latency Checks
- Tests include intentional error generation and verification