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