New flow to determine control signals#803

alaindargelas merged 2 commits intomainos-fpga/yosys_verific_rs:mainfrom

yosys-control-signalsos-fpga/yosys_verific_rs:yosys-control-signalsCopy head branch name to clipboard