Đang chuẩn bị liên kết để tải về tài liệu:
Formal Syntax Definition part 4

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG Tải xuống

[ Team LiB ] D.7 Specify Section D.7.1 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 D.7 Specify Section D.7.1 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 D.7.2 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 D.7.3 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 D.7.4 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 .