SystemVerilog `.*` wildcard port connections#1240

kroening wants to merge 2 commits intomaindiffblue/hw-cbmc:mainfrom

systemverilog-dot-astericdiffblue/hw-cbmc:systemverilog-dot-astericCopy head branch name to clipboard