I am new to Cadence tools and the current project is using Incisive 152/Verilog/SV. I want to add SVA using the the OVL library, and I am looking for pointers on how to compile and use the std_ovl from Accelera in my TB. Are there any guides/documents that can help me.
Image may be NSFW.Clik here to view.
