SystemVerilog: grammar for interconnect nets#1392

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog-interconnect-grammardiffblue/hw-cbmc:verilog-interconnect-grammarCopy head branch name to clipboard