OPENCORES

http://www.opencores.org

This is a site with a lot of digital circuits designs. I think is more interesting from the designers point of view. The verification environment is missing in most of the projects posted here.