Open Verification Library (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages (HDLs). OVL is currently maintained by Accellera.
Read more about Open Verification Library: Applications, Supported Languages
Famous quotes containing the words open, verification and/or library:
“Do you have to open graves to find girls to fall in love with?”
—John L. Balderston (1899–1954)
“A fact is a proposition of which the verification by an appeal to the primary sources of our knowledge or to experience is direct and simple. A theory, on the other hand, if true, has all the characteristics of a fact except that its verification is possible only by indirect, remote, and difficult means.”
—Chauncey Wright (1830–1875)
“... the subjective viewpoint is the only one to use regarding a library. Your true library is a collection of the books you want. You may have deplorably poor taste or bad judgment. Never mind. Correct those traits before you exchange your books.”
—Carolyn Wells (1862–1942)