Verification
The Lossless Compression IP core has been verified in simulation for the compression and decompression functions. 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 of compression mode, files are compressed using this core and then decompressed using the standard GNU utility, and the output is compared with the original file.
- For verification of decompression mode, files are compressed using the 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.