initial commit of cbcdes verilog verification sources