yosys isn't great at names but ... not that bad.