Description: ICE ECC is a computation and programming language designed for circuit optimization and verification. It allows for Boolean reasoning and manipulation of circuits and netlists. Useful for hardware design and optimization.
Type: software
Description: Jacksum is an easy to use checksum utility that can calculate and verify checksums for files. It supports a wide range of algorithms including MD5, SHA-1, CRC32, and many more. Jacksum has a simple graphical user interface and can also be used from the command line.
Type: software
Pricing: Open Source