[sv-bc] Is attribute_instance propagated to next port?

Hi,
Please consider the following e.g:
module top((***x = 1*)input bit a, b);
endmodule

I know by LRM, the direction and data type is propagated to 'b'. But is 
attribute_instance also propagated to 'b'? Is the above exampled is 
similar to:

module top((* x = 1*)input bit a, (*x = 1*)input bit b);
endmodule

or

module top((***x = 1*)input bit a, input bit b);
endmodule

I did not see anything in the LRM regarding this. Please clarify.

-- 
Regards
Surya




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