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...