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