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:
“O polished perturbation! golden care!
That keep’st the ports of slumber open wide
To many a watchful night.”
—William Shakespeare (1564–1616)
“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)
“That a famous library has been cursed by a woman is a matter of complete indifference to a famous library. Venerable and calm, with all its treasures safe locked within its breast, it sleeps complacently and will, so far as I am concerned, so sleep forever. Never will I wake these echoes, never will I ask for that hospitality again ...”
—Virginia Woolf (1882–1941)