Added setattr and setparam commands
Added read_verilog -setattr