OpenVera

OpenVera was a hardware verification language developed by System Science and acquired by Synopsys.