verilog_options                                    Specifies Verilog-XL
                                                   compilation options.
 option                                              Any legal Verilog-XL
                                                     option.
 [ -reset ]                                          Removes any previously
                                                     set options.
