Download links

Logic Synthesis
ABC - Logic Synthesis Package from Berkeley
CirKit
Berkeley CAD software
Berkeley - Center For Electronic Systems Design
BDS - A BDD-Based Logic Optimization System. The original version from UMASS.
BDS-pga - A BDD-Based FPGA mapper
CUDD - Colorado University Binary Decision Diagrams Software Package
BBDD package - Biconditional Binary Decision Diagrams Software Package
Exorcism - ESOP synthesis tool
VTR - Verilog to Routing
EPFL Logic Synthesis Tools
CirKit - EPFL C++ logic synthesis framework
Testing & Diagnostics
IGATE Illinois - ATPG Tools, tests for benchmarks
TurboTester
DefGen - ATPG
Atalanta, FSIM, HOPE - ATPG, fault simulators
TG-Pro - A SAT-based ATPG System
Asynchronous Design
Solvers
Benchmarks
Other sowtware