Merge pull request #662 from antmicro/svplugin-instead-of-uhdm

Replace deprecated Yosys UHDM plugin with SV plugin