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.
Vera Language
last modified: August 5, 2004