Yes, those instances will be:
- My legacy code uses OVL and I do not have time or resource to modify the code.
- I have not upgraded my free simulator that is still working on supporting v2k to a paid one that supports SVA.
- I use VHDL and SVA is of no use for me.
Tough management problems!
--
Project VeriPage::
http://www.project-veripage.com