JasperGold Connectivity check

Hi Cadence,

I got below issue at "analyze RTL" step in Jaspergold Connectivity Check App.

Is there any command option to solve it ? 

[ERROR (VERI-1817)] ...: parameter initial value cannot be omitted in this mode of verilog

I use command : 

     analyze -sv -f {<RTL file list>}

My module definition code : 

    module <mudule name> #(

    parameter a,

    parameter b,

    parameter c

)

(

        input x, 

        input y,

        output z

);

Thanks,

Nghia Nguyen