OVL Getting Setup in Modelsim

[jarickc]

Hi All,
My team is moving toward implementing ABV in the next few months. I have been tasked with figuring out how to use the different languages so I can give my recomendations. I have written a few files using PSL but am looking into OVL now (SVA is next after that). I am having a world of trouble finding any support on how to get the OVL library to work in ModelSim. Does anyone know of a step by step procedure? I looked all over ModelSim's supportnet before coming here, but after 3 hours of effort I thought I would ask more experienced people directly.

Bright Regards,
Jarick

 

[dave_59]

See https://verificationacademy.com/courses/assertion-based-verification, and the OVL session.

 

[jarickc]

Sorry I may not have been specific enough. That is one of the videos I have watched on how to implement OVL. However my question is more how to compile the library into a resource library for use by modelsim.

 

[dave_59]

The OVL libraries are set up to be compiled as you need them, with lots of configurable +define switches.

vlog -f my_source_list.f -y $OVL_DIR +libext+.vlib +incdir+$OVL_DIR +define+ovl_switches

If you compile them into a work library, you need to explicitly list the checker files you want, and they will all be compiled with a fixed set of switches

vlog $OVL_DIR/*.vlib +incdir+$OVL_DIR +define+ovl_switches - work OVL_LIB_DIR