blif
Generator of arithmetic circuits (multipliers, adders) and approximate circuits
A simple BLIF (berkeley logic interchange format) parser
SIS (circuit simulator and optimizer) wrapper for Python
The modern shell for SIS (the circuit simulator and optimizer)
Generate graphs from BLIF files