any ideas when this will be fixed?

If the GL simulation of the caravel management SoC is verified by itself, then there's not whole lot of reason to run the GL netlist of the management SoC. The testbenches may not be set up to distinguish between GL within the user project and RTL everywhere else. You would probably have to force the right include statements to be invoked. If the goal is to confirm gate-level communication to and from the management SoC, then you will need to wait until we have valid gate level netlists for the SoC. I'm not sure how the GL netlists of the managment SoC are suposed to fit in with the "lite" repository. I'll bring up the topic at today's staff meeting.

Thanks Tim. Yes I just want to run the GL versions of my testbenches

If it's just a matter up pushing the latest GL netlists from caravel to caravel_user_project, then I'll ping Manar and Jeff about it.

great

Thanks for the headsup! Won't spend too much time on it for the moment at least then

Ping @Tim Edwards @Manar Abdelatty

@Matt Venn Working on it. For now, you can simulate your GL with caravel's RTL.