[libre-riscv-dev] sv2nmigen ??

[Samuel Falvo II]

Hello, and I apologize if I'm being utterly daft.  I saw recent mention of
this tool, but I was ignorant of its existance until just today.

Where can I learn more about it?  I google'd for it, but didn't come up
with anything.  Is it perhaps mature enough to help me convert the sources
for my homebrew RISC-V CPU, the KCP53000, from regular Verilog (since IIRC
it's a proper subset of SV) into nmigen sources?

Thanks, and apologies if I missed the bus some time ago.

-- 
Samuel A. Falvo II