Cascade is a C++ library for efficient cycle-based simulation of hardware architectures. Cascade was developed at D. E. Shaw Research. It includes support for multiple clock domains, multithreading, and Verilog co-simulation. Cascade was used in the design and verification of Anton.
Cascade is available without cost for both non-commercial and commercial use.