[sv-bc] Using multiple clauses of configuration for elaborating an instance

Hi,
LRM is not clear about whether multiple clauses should be used for elaborating an instance:


------------------------------------------------------------------------

config cfg1;

   design work.top;

   default liblist work;

   instance top.mod1 use #(.p2(4));

   cell mod use add1;

endconfig



module top (input [3:0] a,b, output [3:0] c);

   mod mod1(a,b,c);

endmodule



module add1 (input [3:0] a,b, output [3:0] c);

   parameter p2 = 1;

   parameter p3 = 1;

   assign c = p3+p2;

endmodule



--------------------------------------------------------------------------



Both the instance and cell clauses above are applicable for "mod1" instance in module "top".

Though, both clauses supply different information for elaboration of instance.

cell clause gives information of master cell to bind with.

instance clause gives information of only the  parameter assignment.



Which of the two clauses should elaborate instance "top.mod1"?

Are we treating it as ambiguity? If not then, this situation is coming for this case where instance clause is used for parameter override only.
Most probably there is no other scenario where more than one clause is needed for elaboration.

Thanks
Kausik


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.