Wokwi.com имеет встроенную конвертилку в Verilog и там один чувак сделал спец-репу на GitHub, которую себе форкаешь, вписываешь адрес wokwi-проекта и оно через Actions гитхаба всё конвертит в нужный для efabless вид - даже себе на комп ничего клонировать ненадо

Они вроде как 50 упакованных чипов присылают и 5 тестовых плат со впаянными чипами (это для каждого проекта, которых у меня 2) - как пришлют, то всё пофоткаю и выложу
