e/Open Verification Library

Information
has gloss	eng: 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. Applications OVL works by placing modules or components checking specific properties of the circuit alongside regular modules or components. Those special modules are called checkers and are tied to circuit signals via ports. Some aspects of the checker functionality can be modified by adjusting checker parameters. Typical properties verified by OVL checkers include: * condition that should be always met, * sequence of conditions that should be met, * condition that should never occur, * proper data value (even, odd, within a range, etc.), * proper value change (e.g. increment or decrement within specified range), * proper data encoding (e.g.
lexicalization	eng: Open Verification Library
instance of	e/Hardware description language