Open Verification Library

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:

    I count him a great man who inhabits a higher sphere of thought, into which other men rise with labor and difficulty; he has but to open his eyes to see things in a true light, and in large relations; whilst they must make painful corrections, and keep a vigilant eye on many sources of error.
    Ralph Waldo Emerson (1803–1882)

    Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.
    Rudolf Carnap (1891–1970)

    To a historian libraries are food, shelter, and even muse. They are of two kinds: the library of published material, books, pamphlets, periodicals, and the archive of unpublished papers and documents.
    Barbara Tuchman (1912–1989)