Formal Syntax Definition part 1

[ Team LiB ] Source Text Library Source Text library_text ::= { library_descriptions } library_descriptions ::= library_declaration | include_statement | config_declaration library_declaration ::= library library_identifier file_path_spec [ { , file_path_spec } ] [ -incdir file_path_spec [ { , file_path_spec } ] ; | Team LiB Source Text Library Source Text library_text library_descriptions library_descriptions library_declaration include_statement config_declaration library_declaration library library_identifier file_path_spec file_path_spec -incdir file_path_spec file_path_spec file_path_spec file_path include_statement include file_path_spec Configuration Source Text config_declaration config config_identifier design_statement config_rule_statement endconfig design_statement design library_identifier. cell_identifier config_rule_statement default_clause liblist_clause inst_clause liblist_clause inst_clause use_clause cell_clause liblist_clause cell_clause use_clause default_clause default inst_clause instance inst_name inst_name topmodule_identifier .instance_identifier cell_clause cell library_identifier. cell_identifier liblist_clause liblist library_identifier use_clause use library_identifier. cell_identifier config Module and Primitive Source Text source_text description description module_declaration udp_declaration module_declaration attribute_instance module_keyword module_identifier module_parameter_port_li st list_of_ports module_item endmodule attribute_instance module_keyword module_identifier module_parameter_port_l ist list_of_port_declarations non_port_module_item endmodule module_keyword module macromodule Module Parameters and Ports module_parameter_port_list parameter_declaration parameter_declaration list_of_ports port port list_of_port_declarations port_declaration port_declaration l port port_expression . port_identifier port_expression port_expression port_reference l port_reference port_reference port_reference port_identifier port_identifier constant_expression port_identifier range_expression port_declaration attribute_instance inout_declaration attribute_instance input_declaration attribute_instance output_declaration Module Items module_item module_or_generate_item port_declaration attribute_instance .