Verilog: aval/bval lowering for replication operator#1369

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

aval_bval_replicationdiffblue/hw-cbmc:aval_bval_replicationCopy head branch name to clipboard