tailieunhanh - Formal Syntax Definition part 4

[ Team LiB ] Specify Section Specify Block Declaration specify_block ::= specify { specify_item } endspecify specify_item ::= specparam_declaration |pulsestyle_declaration |showcancelled_declaration |path_declaration |system_timing_check pulsestyle_declaration | Team LiB Specify Section Specify Block Declaration specify_block specify specify_item endspecify specify_item specparam_declaration pulsestyle_declaration showcancelled_declaration path_declaration system_timing_check pulsestyle_declaration pulsestyle_onevent list_of_path_outputs pulsestyle_ondetect list_of_path_outputs showcancelled_declaration showcancelled list_of_path_outputs noshowcancelled list_of_path_outputs Specify Path Declarations path_declaration simple_path_declaration edge_sensitive_path_declaration state_dependent_path_declaration simple_path_declaration parallel_path_description path_delay_value full_path_description path_delay_value parallel_path_description specify_input_terminal_descriptor polarity_operator specify_output_terminal_descriptor full_path_description list_of_path_inputs polarity_operator list_of_path_outputs list_of_path_inputs specify_input_terminal_descriptor specify_input_terminal_descriptor list_of_path_outputs specify_output_terminal_descriptor specify_output_terminal_descriptor Specify Block Terminals specify_input_terminal_descriptor input_identifier input_identifier constant_expression input_identifier range_expression specify_output_terminal_descriptor output_identifier output_identifier constant_expression output_identifier range_expression input_identifier input_port_identifier inout_port_identifier output_identifier output_port_identifier inout_port_identifier Specify Path Delays path_delay_value list_of_path_delay_expressions list_of_path_delay_expressions list_of_path_delay_expressions t_path_delay_expre ssion trise_path_delay_expression tfall_path_delay_expression trise_path_delay_expression tfall_path_delay_expression tz_path_delay_expression t01_path_delay_expression t10_path_delay_expression t0z_path_delay_expression tz1_path_delay_expression t1z_path_delay_expression tz0_path_delay_expression t01_path_delay_expression t10_path_delay_expression t0z_path_delay_expression .