Files were collected and sampled from https://ddd.fit.cvut.cz/www/prj/Benchmarks/.
All benchmarks are in BLIF (Berkeley Logic Interchange Format).
- ISCAS'85 and ISCAS'89
- ITC'99
- LGSynth'89 and LGSynth'91
- IWLS'93 and IWLS 2005
- LEKO/LEKU
- EPFL
- 1-17 bit ripple-carry adders