Verilog: implement bit-vector to struct conversion#574

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

bv-to-struct-conversiondiffblue/hw-cbmc:bv-to-struct-conversionCopy head branch name to clipboard