OpenVera is a hardware verification language intended to make modeling and testing of complex systems more efficient. It is part of an open source initiative, headed by the integrated circuit design company Synopsys, that will benefit many industries where time to market is a critical factor. This is the home page for OpenVera, and it contains a wealth of information about the standard and its development. Many technical papers are offered, but a brief, free registration is required to access the specification and language reference manual. The latest version of OpenVera was released in April 2002.