Have you seen YoWasp?
mithro opened this issue · comments
YoWasp are web-assembly compiled versions of the Yosys (and related projects) - https://yowasp.org/
Seems like it might be synergistic with your work?
Possibly moving to WebAssembly compiled Yosys would allow more flexibility and reduce server dependency. Unfortunately, for my purposes I also need a linter (I currently use Verilator for that).