1 Answers
Open Verification Library is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages. OVL is currently maintained by Accellera.
4 views
Answered