tgingold

Do we need to set the location on all gates, or just on assume/assert ?

The ghdl.cc file can have any license, that's not a problem.

I don't think that ghdl.cc has to be GPL. It can have any license. That's the mirror situation with the verific plugin.

No, GPL doesn't require that the whole program gets GPL licensed. You can perfectly mix GPL code with BSD code. Furthermore, most of the GPL restrictions apply only to binary...

> The problem is that ghdl.cc includes ghdlsynth.h and you need to link yosys with libghdl. If you do the latter than you need to make the source of the...

Synthesis only transforms the input; there is no added code. So the license is fully defined by the user. It's like the code generated by a compiler.

No code from the libraries goes to the netlist.

I have just added the 'good first issue' label. It concerns the 'auto-load' feature: create a small command that try to load this plugin when invoked. Needs a little bit...

Hello, I can reproduce the issue, but it is due to 'mem', which is only written. Do you have a more complete reproducer ? I could try to fix this...

Yes, you're right. I was focused on the process only.