Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Problems with EDIF files when reading in vivado post-synthesis project #4897

Open
teodor961 opened this issue Feb 13, 2025 · 0 comments
Open
Labels
pending-verification This issue is pending verification and/or reproduction

Comments

@teodor961
Copy link

Version

Yosys 0.49+21 (git sha1 ed5d9c8, g++ 11.4.0-1ubuntu1~22.04 -fPIC -O3)

On which OS did this happen?

Linux

Reproduction Steps

  1. Created trivial example of one module inside another module - top_adder.v and adder.v

  2. Open yosys and run the following commands:
    read_verilog top_adder.v adder.v
    synth_xilinx -arch xc7 -top top_adder -flatten -edif top_adder_xc7.edif

  3. Create post-synthesis project in vivado

  4. Import top_adder_xc7.edif

  5. Try to open synthesized netliost

Expected Behavior

Expect to open netlist view and a working design file.

Actual Behavior

I get an error about an undefined cell:

ERROR: [EDIF 20-83] Cannot find cell 'id00045' view 'VIEW_NETLIST' in library '' for instance 'inst_adder' [/home/teodor/work/hobby/psk-mod-ip/yosys/top_adder_xc7.edif:22393]

Upon reviewing the EDIF file I can indeed see that this particular id00045 (changes for different test designs) is indeed referenced without being defined first.

I can send the source files: top_adder.v, adder.v and the edif file on request, but this issue occurs for all designs with any kind of hierarchy. Single module designs work fine and the edif files open successfully in vivado, however even the simplest two or more module designs fail with the same error described above.

Any support/guidance is very appreciated.

@teodor961 teodor961 added the pending-verification This issue is pending verification and/or reproduction label Feb 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pending-verification This issue is pending verification and/or reproduction
Projects
None yet
Development

No branches or pull requests

1 participant