Vera or OpenVera? is a free open source (as of 2001) hardware verification language. It's intended to be the de-facto standard hardware verification language (HVL) in the in the semiconductor, systems, IP, and EDA industries. Its syntax is roughly similar to C++ or Java.