Homework 4: Implementing a BDD packagepdf (Set the environment variable VIS_LIBRARY_PATH to /home/projects/ece/verif/v-1.0/vis-1.2/share to pick up the scripts needed to read blif files)
You can read about the latest trends in VLSI design at EE Times;
Deepchip.com is a great resource for VLSI CAD.
The verification guild focuses on design verification.