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.

http://www.open-vera.com/
-----
CategoryProgrammingLanguage