Verilog: Synthesis for indexed part select#636

tautschnig merged 3 commits intomaindiffblue/hw-cbmc:mainfrom

synth-indexed-part-selectdiffblue/hw-cbmc:synth-indexed-part-selectCopy head branch name to clipboard