{"version":"1.0","type":"link","title":"Open Verification Library - Newikis","description":"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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}