SystemC
http://www.systemc.org
An interoperable modeling platform which enables the development and exchange of very fast system-level C++ models.

MicroLib
http://microlib.org
A Modular Simulation Library.

Liberty
http://liberty.princeton.edu
The Liberty Computer Architecture Research Group