@User I would suggest #yosys and ##C016G2LMXAN on irc.freenode.net are good place to ask about that type of thing