Continue to Site

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.

Register Log in

Formality warnings - Cannot link cell

Status
Not open for further replies.
A

auroral

Newbie level 6
Joined
Apr 13, 2010
Messages
14
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
1,387
I was planning to run Formality to verify my SV design. In Stage 1 (Reference) I feed the file, and it accepts without an error. Now when I try to set the top module, I run into several warnings and at the end Formality stops and fails to set the top module.

I get warnings like these:
...
...
Warning: Cannot link cell '/WORK/example/U112' to its reference design 'IVLVTX0H'. (FE-LINK-2)
Warning: Cannot link cell '/WORK/example/U113' to its reference design 'IVLVTX0H'. (FE-LINK-2)
Error: Unresolved references detected during link. (FM-234)
Error: Failed to set top design to 'r:/WORK/example' (FM-156)

Any suggestion as to where I'm going wrong/ what's happening? Thanks!
 

Probably what's happening is the cell 'IVLVTX0H' is not in your link library. Formality doesn't know what it is and can't link the design.
 

make sure you choose the correct DB file for your library
 

salma ali bakr said:
make sure you choose the correct DB file for your library
Click to expand...

Where (path) do I find the right db file? In my design lib or software techfile lib? Thanks!
 

You can enter the design in three forms: VHDL/Verilog, DB, or EDIF
And the design libraries in DB

If you're using the GUI, then you'll find this in the tabs used for reading the design and libraries....if you're using commands then find the necessary command, I don't know it by heart
 

Status
Not open for further replies.

Similar threads

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top