Hello everyone. have been facing these following errors: ../../../../rtl/caravel_netlists.v95 Include file mgmt_core_wrapper.v not found /home/vsduser/open_pdks/sky130/sky130A/libs.ref/sky130_fd_io/verilog/sky130_ef_io.v1347 error: port ``DRN_HVC'' already bound. /home/vsduser/open_pdks/sky130/sky130A/libs.ref/sky130_fd_io/verilog/sky130_ef_io.v1347 error: port ``SRC_BDY_HVC'' already bound. any advice what i am missing out or a fix to it. Thank you Bharath

I can confirm that the pad cell in the PDK got three lines repeated, which looks like it may be an error that got into the PDK during a recent migration. I will check and fix it. Since the PDK is in your home directory path, you should be able to edit the file

sky130_ef_io.v

in the error message. Delete lines 1363 to 1365 inclusive; these lines are repeats of the three lines above them. I would appreciate it if you could make that edit to the PDK and let me know if the error goes away, or if there might be additional similar errors that I don't know about. I think this was probably a one-off cut-and-paste error, but I'm not sure.

@Tim Edwards thank you for the solution will try it out how about the management_core_wrapper issue please do let me know what i can do about it i searched github issues and it was still a open issue

You're running verification from the original testbench directory. Verification has been migrated to the Cocotb system, and the original testbench method with its Makefiles is no longer supported. I use it myself, but I usually have to end up editing some files to make it work. If you follow the error messages, the

mgmt_core_wrapper.v

file cannot be found. This file comes from LiteX and is in a different repository (

caravel_mgmt_soc_litex

), which either does not exist or does not have an

-I

argument passed to iverilog to tell iverilog where to find it.

is there a way to shift my verification to cocotb?? what are the things that i have to edit/change to make it work?

Not sure. @Marwan Abbas, do we have a turorial on how users are supposed to set up and run their own testbenches under the Cocotb system?

i am using the standard hkspi from the caravel github repo. so it must be already done some where right?

The equivalent test(s) would now be found in

caravel/verilog/dv/cocotb/tests/housekeeping/housekeeping_spi/

.

great, let me check it out! Thanks a lot for your response. @Tim Edwards @Marwan Abbas please let me know if there are any documentation for users.

Hi @Bharath G S There are several tutorials: https://caravel-sim-infrastructure.readthedocs.io/en/latest/ https://github.com/NouranAbdelaziz/Caravel_cocotb_verification_tutorial

Thank you !