Merge pull request #662 from antmicro/svplugin-instead-of-uhdm Replace deprecated Yosys UHDM plugin with SV plugin