Modelsim

A simulation tool for programming VLSI ASICs, FPGAs, CPLDs, and SoCs.

Manual by Arnd Riebartsch.