tailieunhanh - Formal Syntax Definition part 3

[ Team LiB ] Behavioral Statements Continuous Assignment Statements continuous_assign ::= assign [ drive_strength ] [ delay3 ] list_of_net_assignments ; list_of_net_assignments ::= net_assignment { , net_assignment } net_assignment ::= net_lvalue = expression Procedural Blocks and Assignments initial_construct ::= initial statement always_construct ::= always statement blocking_assignment ::= variable_lvalue = [ delay_or_event_control ] | Team LiB Behavioral Statements Continuous Assignment Statements continuous_assign assign drive_strength delay3 list_of_net_assignments list_of_net_assignments net_assignment net_assignment net_assignment net_lvalue expression Procedural Blocks and Assignments initial_construct initial statement always_construct always statement blocking_assignment variable_lvalue delay_or_event_control expression nonblocking_assignment variable_lvalue delay_or_event_control expression procedural_continuous_assignments assign variable_assignment deassign variable_lvalue force variable_assignment force net_assignment release variable_lvalue release net_lvalue function_blocking_assignment variable_lvalue expression function_statement_or_null function_statement attribute_instance Parallel and Sequential Blocks function_seq_block begin block_identifier block_item_declaration function_statement end variable_assignment variable_lvalue expression par_block fork block_identifier block_item_declaration statement join seq_block begin block_identifier block_item_declaration statement end Statements statement attribute_instance blocking_assignment attribute_instance case_statement attribute_instance conditional_statement attribute_instance disable_statement attribute_instance event_trigger attribute_instance loop_statement attribute_instance nonblocking_assignment attribute_instance par_block attribute_instance procedural_continuous_assignments attribute_instance procedural_timing_control_statement attribute_instance seq_block attribute_instance system_task_enable attribute_instance task_enable attribute_instance wait_statement statement_or_null statement attribute_instance function_statement attribute_instance function_blocking_assignment attribute_instance function_case_statement attribute_instance function_conditional_statement attribute_instance function_loop_statement attribute_instance function_seq_block attribute_instance disable_statement attribute_instance