Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

OVL Getting Setup in Modelsim

Status
Not open for further replies.

jarickc

Newbie level 3
Joined
Oct 18, 2013
Messages
3
Helped
0
Reputation
0
Reaction score
0
Trophy points
1
Activity points
23
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
Joined
Oct 18, 2013
Messages
3
Helped
0
Reputation
0
Reaction score
0
Trophy points
1
Activity points
23
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

Advanced Member level 3
Joined
Dec 15, 2011
Messages
821
Helped
363
Reputation
730
Reaction score
357
Trophy points
1,353
Location
Fremont, CA, USA
Activity points
6,721
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.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top