Update yosys to 0.44 and synlig to chipsalliance version#800

alaindargelas merged 2 commits intomainos-fpga/yosys_verific_rs:mainfrom

update_yosys_0_44os-fpga/yosys_verific_rs:update_yosys_0_44Copy head branch name to clipboard