What does OpenVera language do?
A2. It accelerates the creation of a verification environment by providing high-level constructs especially designed for verification of complex SoCs. It enables generation of constrained random tests that can increase test cover space. OpenVera has powerful constructs to perform real-time data and temporal checking. It also enables reactive test generation by providing mechanisms for feeding back functional coverage data into stimulus generation engine.
