verific: add -no_split_complex_ports option#5586

dhvll wants to merge 3 commits intoYosysHQ:mainYosysHQ/yosys:mainfrom

dhvll:verific-no_split_complex_portsdhvll/yosys:verific-no_split_complex_portsCopy head branch name to clipboard