This category contains sites that are relevant to high level verification languages and development environments: such as Specman, Vera, and SystemC. The category is mainly dedicated to sites that contain free information in the form of tutorials, scripts, and developer forums.
Please do not submit sites that deal mainly with Verilog or VHDL. there are other categories for that.