VLSI CAD Open Source Software

VLSI CAD:
VLSI CAD Bookshelf 2

OpenAccess:
si2.org; openedatools; openAccess wiki; DFM Dictionary
OpenAccess 2.2 C++ API Documentation;

Logic Synthesis and Vefication:
MVSIS; ABC;

FPGA:
VPR

Placement:
Dragon; NTUplacer; Feng Shui;

Routing:
A Fairly Good Router; MaizeRouter; BoxRouter; Labyrinth;

Misc:
EasyGL

Applets:
Animation of VLSI CAD algorithms

SAT Solving:
MiniSAT ; Boolean Satisfiability Research Group at Princeton

Open Source Project:
gEDA; Open Circuit Design;

Open Source from EDA companies:
Instigate Open Source;