出典:Wikipedia
出典:『Wikipedia』 (2011/03/09 17:18 UTC 版)
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.