OVL Getting Setup in Modelsim

Status
Not open for further replies.

jarickc

Newbie level 3
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

jarickc

Newbie level 3
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

Status
Not open for further replies.