OpenVera

OpenVera is a high-level hardware description language and verification environment developed by Synopsys. It is based on the IEEE 1364 Verilog standard and supports the SystemVerilog standard. OpenVera provides a complete set of verification features including assertions, coverage, and test benches. It also includes a powerful set of debugging tools.