Hyperlinked BNF verilog 2001

From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Aug 17 2001 - 15:32:47 PDT

Next message: Adam Krolnik: "Hyperlinked BNF verilog 2001"
Previous message: Shalom.Bresticker@motorola.com: "errata/20: A.2.8 should prevent all variable declaration assignments in named blocks"
In reply to: Adam Krolnik: "Re: variable initialization at declaration"
Next in thread: Adam Krolnik: "Hyperlinked BNF verilog 2001"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

Thanks Stefen and Stuart;

Enjoy all;

If you see poor formatting or cuts in the words, I missed fixing the
formatting that the mailers put in.

Adam Krolnik
 Verification Mgr.
 LSI Logic Corp.
 Plano TX. 75074

<HEAD>

</HEAD>

<TT> This is an unapproved IEEE Standards Draft, subject to change. </TT>

<TT> A.1 Source text </TT>

<TT> A.1.1 Library source text </TT>

<TT><A NAME="library_text">library_text</A> ::= { <A NAME="Rlibrary_descriptions" HREF="#library_descriptions">library_descriptions</A> } </TT>

<TT><A NAME="library_descriptions" HREF="#Rlibrary_descriptions">library_descriptions</A> ::= </TT>

<TT> <A NAME="Rlibrary_declaration" HREF="#library_declaration">library_declaration</A> </TT>

<TT> | <A NAME="Rinclude_statement" HREF="#include_statement">include_statement</A> </TT>

<TT> | <A NAME="Rconfig_declaration" HREF="#config_declaration">config_declaration</A> </TT>

<TT><A NAME="library_declaration" HREF="#Rlibrary_declaration">library_declaration</A> ::= </TT>

<TT> library <A NAME="Rlibrary_identifier" HREF="#library_identifier">library_identifier</A> <A NAME="Rfile_path_spec" HREF="#file_path_spec">file_path_spec</A> [ { , file_path_spec } ] </TT>

<TT> [ -incdir file_path_spec [ { , file_path_spec } ] ; </TT>

<TT><A NAME="include_statement" HREF="#Rinclude_statement">include_statement</A> ::= include <file_path_spec> ; </TT>

<TT> A.1.2 Configuration source text </TT>

<TT> <A NAME="config_declaration" HREF="#Rconfig_declaration">config_declaration</A> ::= </TT>

<TT> config <A NAME="Rconfig_identifier" HREF="#config_identifier">config_identifier</A> ; </TT>

<TT> <A NAME="Rdesign_statement" HREF="#design_statement">design_statement</A> </TT>

<TT> {<A NAME="Rconfig_rule_statement" HREF="#config_rule_statement">config_rule_statement</A>} </TT>

<TT> endconfig </TT>

<TT><A NAME="design_statement" HREF="#Rdesign_statement">design_statement</A> ::= design { [library_identifier.]<A NAME="Rcell_identifier" HREF="#cell_identifier">cell_identifier</A> } ; </TT>

<TT><A NAME="config_rule_statement" HREF="#Rconfig_rule_statement">config_rule_statement</A> ::= </TT>

<TT> <A NAME="Rdefault_clause" HREF="#default_clause">default_clause</A> <A NAME="Rliblist_clause" HREF="#liblist_clause">liblist_clause</A> </TT>

<TT> | <A NAME="Rinst_clause" HREF="#inst_clause">inst_clause</A> liblist_clause </TT>

<TT> | inst_clause <A NAME="Ruse_clause" HREF="#use_clause">use_clause</A> </TT>

<TT> | <A NAME="Rcell_clause" HREF="#cell_clause">cell_clause</A> liblist_clause </TT>

<TT> | cell_clause use_clause </TT>

<TT><A NAME="default_clause" HREF="#Rdefault_clause">default_clause</A> ::= default </TT>

<TT><A NAME="inst_clause" HREF="#Rinst_clause">inst_clause</A> ::= instance <A NAME="Rinst_name" HREF="#inst_name">inst_name</A> </TT>

<TT><A NAME="inst_name" HREF="#Rinst_name">inst_name</A> ::= <A NAME="Rtopmodule_identifier" HREF="#topmodule_identifier">topmodule_identifier</A>{.<A NAME="Rinstance_identifier" HREF="#instance_identifier">instance_identifier</A>} </TT>

<TT><A NAME="cell_clause" HREF="#Rcell_clause">cell_clause</A> ::= cell [ library_identifier.]cell_identifier </TT>

<TT><A NAME="liblist_clause" HREF="#Rliblist_clause">liblist_clause</A> ::= liblist [{library_identifier}] </TT>

<TT><A NAME="use_clause" HREF="#Ruse_clause">use_clause</A> ::= use [library_identifier.]cell_identifier[:config] </TT>

<TT> A.1.3 Module and primitive source text </TT>

<TT> <A NAME="source_text">source_text</A> ::= { <A NAME="Rdescription" HREF="#description">description</A> } </TT>

<TT><A NAME="description" HREF="#Rdescription">description</A> ::= </TT>

<TT> <A NAME="Rmodule_declaration" HREF="#module_declaration">module_declaration</A> </TT>

<TT> | <A NAME="Rudp_declaration" HREF="#udp_declaration">udp_declaration</A> </TT>

<TT><A NAME="module_declaration" HREF="#Rmodule_declaration">module_declaration</A> ::= </TT>

<TT> { <A NAME="Rattribute_instance" HREF="#attribute_instance">attribute_instance</A> } <A NAME="Rmodule_keyword" HREF="#module_keyword">module_keyword</A> <A NAME="Rmodule_identifier" HREF="#module_identifier">module_identifier</A> [ </TT>

<TT> <A NAME="Rmodule_parameter_port_list" HREF="#module_parameter_port_list">module_parameter_port_list</A> ] </TT>

<TT> [ <A NAME="Rlist_of_ports" HREF="#list_of_ports">list_of_ports</A> ] ; { <A NAME="Rmodule_item" HREF="#module_item">module_item</A> } </TT>

<TT> endmodule </TT>

<TT> | { attribute_instance } module_keyword module_identifier [ </TT>

<TT> module_parameter_port_list ] </TT>

<TT> [ <A NAME="Rlist_of_port_declarations" HREF="#list_of_port_declarations">list_of_port_declarations</A> ] ; { <A NAME="Rnon_port_module_item" HREF="#non_port_module_item">non_port_module_item</A> } </TT>

<TT> endmodule </TT>

<TT><A NAME="module_keyword" HREF="#Rmodule_keyword">module_keyword</A> ::= module | macromodule </TT>

<TT> A.1.4 Module parameters and ports </TT>

<TT> <A NAME="module_parameter_port_list" HREF="#Rmodule_parameter_port_list">module_parameter_port_list</A> ::= # ( <A NAME="Rparameter_declaration" HREF="#parameter_declaration">parameter_declaration</A> { , </TT>

<TT> parameter_declaration } ) </TT>

<TT><A NAME="list_of_ports" HREF="#Rlist_of_ports">list_of_ports</A> ::= ( <A NAME="Rport" HREF="#port">port</A> { , port } ) </TT>

<TT><A NAME="list_of_port_declarations" HREF="#Rlist_of_port_declarations">list_of_port_declarations</A> ::= </TT>

<TT> ( <A NAME="Rport_declaration" HREF="#port_declaration">port_declaration</A> { , port_declaration } ) </TT>

<TT> [ <A NAME="Rport_expression" HREF="#port_expression">port_expression</A> ] </TT>

<TT> | . <A NAME="Rport_identifier" HREF="#port_identifier">port_identifier</A> ( [ port_expression ] ) </TT>

<TT><A NAME="port_expression" HREF="#Rport_expression">port_expression</A> ::= </TT>

<TT> <A NAME="Rport_reference" HREF="#port_reference">port_reference</A> </TT>

<TT> | { port_reference { , port_reference } } </TT>

<TT><A NAME="port_reference" HREF="#Rport_reference">port_reference</A> ::= </TT>

<TT> port_identifier </TT>

<TT> | port_identifier [ <A NAME="Rconstant_expression" HREF="#constant_expression">constant_expression</A> ] </TT>

<TT> | port_identifier [ <A NAME="Rrange_expression" HREF="#range_expression">range_expression</A> ] </TT>

<TT><A NAME="port_declaration" HREF="#Rport_declaration">port_declaration</A> ::= </TT>

<TT> {attribute_instance} <A NAME="Rinout_declaration" HREF="#inout_declaration">inout_declaration</A> </TT>

<TT> | {attribute_instance} <A NAME="Rinput_declaration" HREF="#input_declaration">input_declaration</A> </TT>

<TT> | {attribute_instance} <A NAME="Routput_declaration" HREF="#output_declaration">output_declaration</A> </TT>

<TT> A.1.5 Module items </TT>

<TT> <A NAME="module_item" HREF="#Rmodule_item">module_item</A> ::= </TT>

<TT> <A NAME="Rmodule_or_generate_item" HREF="#module_or_generate_item">module_or_generate_item</A> </TT>

<TT> | port_declaration ; </TT>

<TT> | { attribute_instance } <A NAME="Rgenerated_instantiation" HREF="#generated_instantiation">generated_instantiation</A> </TT>

<TT> | { attribute_instance } <A NAME="Rlocal_parameter_declaration" HREF="#local_parameter_declaration">local_parameter_declaration</A> </TT>

<TT> | { attribute_instance } parameter_declaration </TT>

<TT> | { attribute_instance } <A NAME="Rspecify_block" HREF="#specify_block">specify_block</A> </TT>

<TT> | { attribute_instance } <A NAME="Rspecparam_declaration" HREF="#specparam_declaration">specparam_declaration</A> </TT>

<TT> <A NAME="module_or_generate_item" HREF="#Rmodule_or_generate_item">module_or_generate_item</A> ::= </TT>

<TT> { attribute_instance } <A NAME="Rmodule_or_generate_item_declaration" HREF="#module_or_generate_item_declaration">module_or_generate_item_declaration</A> </TT>

<TT> | { attribute_instance } <A NAME="Rparameter_override" HREF="#parameter_override">parameter_override</A> </TT>

<TT> | { attribute_instance } <A NAME="Rcontinuous_assign" HREF="#continuous_assign">continuous_assign</A> </TT>

<TT> | { attribute_instance } <A NAME="Rgate_instantiation" HREF="#gate_instantiation">gate_instantiation</A> </TT>

<TT> | { attribute_instance } <A NAME="Rudp_instantiation" HREF="#udp_instantiation">udp_instantiation</A> </TT>

<TT> | { attribute_instance } <A NAME="Rmodule_instantiation" HREF="#module_instantiation">module_instantiation</A> </TT>

<TT> | { attribute_instance } <A NAME="Rinitial_construct" HREF="#initial_construct">initial_construct</A> </TT>

<TT> | { attribute_instance } <A NAME="Ralways_construct" HREF="#always_construct">always_construct</A> </TT>

<TT><A NAME="module_or_generate_item_declaration" HREF="#Rmodule_or_generate_item_declaration">module_or_generate_item_declaration</A> ::= </TT>

<TT> <A NAME="Rnet_declaration" HREF="#net_declaration">net_declaration</A> </TT>

<TT> | <A NAME="Rreg_declaration" HREF="#reg_declaration">reg_declaration</A> </TT>

<TT> | <A NAME="Rinteger_declaration" HREF="#integer_declaration">integer_declaration</A> </TT>

<TT> | <A NAME="Rreal_declaration" HREF="#real_declaration">real_declaration</A> </TT>

<TT> | <A NAME="Rtime_declaration" HREF="#time_declaration">time_declaration</A> </TT>

<TT> | <A NAME="Rrealtime_declaration" HREF="#realtime_declaration">realtime_declaration</A> </TT>

<TT> | <A NAME="Revent_declaration" HREF="#event_declaration">event_declaration</A> </TT>

<TT> | <A NAME="Rgenvar_declaration" HREF="#genvar_declaration">genvar_declaration</A> </TT>

<TT> | <A NAME="Rtask_declaration" HREF="#task_declaration">task_declaration</A> </TT>

<TT> | <A NAME="Rfunction_declaration" HREF="#function_declaration">function_declaration</A> </TT>

<TT><A NAME="non_port_module_item" HREF="#Rnon_port_module_item">non_port_module_item</A> ::= </TT>

<TT> { attribute_instance } generated_instantiation </TT>

<TT> | { attribute_instance } local_parameter_declaration </TT>

<TT> | { attribute_instance } module_or_generate_item </TT>

<TT> | { attribute_instance } parameter_declaration </TT>

<TT> | { attribute_instance } specify_block </TT>

<TT> | { attribute_instance } specparam_declaration </TT>

<TT><A NAME="parameter_override" HREF="#Rparameter_override">parameter_override</A> ::= defparam <A NAME="Rlist_of_param_assignments" HREF="#list_of_param_assignments">list_of_param_assignments</A> ; </TT>

<TT> A.2 Declarations </TT>

<TT> A.2.1 Declaration types </TT>

<TT> A.2.1.1 Module parameter declarations </TT>

<TT> <A NAME="local_parameter_declaration" HREF="#Rlocal_parameter_declaration">local_parameter_declaration</A> ::= </TT>

<TT> localparam [ signed ] [ <A NAME="Rrange" HREF="#range">range</A> ] list_of_param_assignments ; </TT>

<TT> | localparam integer list_of_param_assignments ; </TT>

<TT> | localparam real list_of_param_assignments ; </TT>

<TT> | localparam realtime list_of_param_assignments ; </TT>

<TT> | localparam time list_of_param_assignments ; </TT>

<TT><A NAME="parameter_declaration" HREF="#Rparameter_declaration">parameter_declaration</A> ::= </TT>

<TT> parameter [ signed ] [ range ] list_of_param_assignments ; </TT>

<TT> | parameter integer list_of_param_assignments ; </TT>

<TT> | parameter real list_of_param_assignments ; </TT>

<TT> | parameter realtime list_of_param_assignments ; </TT>

<TT> | parameter time list_of_param_assignments ; </TT>

<TT><A NAME="specparam_declaration" HREF="#Rspecparam_declaration">specparam_declaration</A> ::= specparam [ range ] <A NAME="Rlist_of_specparam_assignments" HREF="#list_of_specparam_assignments">list_of_specparam_assignments</A> </TT>

<TT> A.2.1.2 Port declarations </TT>

<TT> <A NAME="inout_declaration" HREF="#Rinout_declaration">inout_declaration</A> ::= inout [ <A NAME="Rnet_type" HREF="#net_type">net_type</A> ] [ signed ] [ range ] </TT>

<TT> <A NAME="Rlist_of_port_identifiers" HREF="#list_of_port_identifiers">list_of_port_identifiers</A> </TT>

<TT><A NAME="input_declaration" HREF="#Rinput_declaration">input_declaration</A> ::= input [ net_type ] [ signed ] [ range ] </TT>

<TT> list_of_port_identifiers </TT>

<TT><A NAME="output_declaration" HREF="#Routput_declaration">output_declaration</A> ::= </TT>

<TT> output [ net_type ] [ signed ] [ range ] </TT>

<TT> list_of_port_identifiers </TT>

<TT> | output [ reg ] [ signed ] [ range ] </TT>

<TT> list_of_port_identifiers </TT>

<TT> | output reg [ signed ] [ range ] </TT>

<TT> <A NAME="Rlist_of_variable_port_identifiers" HREF="#list_of_variable_port_identifiers">list_of_variable_port_identifiers</A> </TT>

<TT> | output [ <A NAME="Routput_variable_type" HREF="#output_variable_type">output_variable_type</A> ] </TT>

<TT> list_of_port_identifiers </TT>

<TT> | output output_variable_type </TT>

<TT> list_of_variable_port_identifiers </TT>

<TT> A.2.1.3 Type declarations </TT>

<TT> <A NAME="event_declaration" HREF="#Revent_declaration">event_declaration</A> ::= event <A NAME="Rlist_of_event_identifiers" HREF="#list_of_event_identifiers">list_of_event_identifiers</A> ; </TT>

<TT><A NAME="genvar_declaration" HREF="#Rgenvar_declaration">genvar_declaration</A> ::= genvar <A NAME="Rlist_of_genvar_identifiers" HREF="#list_of_genvar_identifiers">list_of_genvar_identifiers</A> ; </TT>

<TT><A NAME="integer_declaration" HREF="#Rinteger_declaration">integer_declaration</A> ::= integer <A NAME="Rlist_of_variable_identifiers" HREF="#list_of_variable_identifiers">list_of_variable_identifiers</A> ; </TT>

<TT><A NAME="net_declaration" HREF="#Rnet_declaration">net_declaration</A> ::= </TT>

<TT> net_type [ signed ] </TT>

<TT> [ <A NAME="Rdelay3" HREF="#delay3">delay3</A> ] <A NAME="Rlist_of_net_identifiers" HREF="#list_of_net_identifiers">list_of_net_identifiers</A> ; </TT>

<TT> | net_type [ <A NAME="Rdrive_strength" HREF="#drive_strength">drive_strength</A> ] [ signed ] </TT>

<TT> [ delay3 ] <A NAME="Rlist_of_net_decl_assignments" HREF="#list_of_net_decl_assignments">list_of_net_decl_assignments</A> ; </TT>

<TT> | net_type [ vectored | scalared ] [ signed ] </TT>

<TT> range [ delay3 ] list_of_net_identifiers ; </TT>

<TT> | net_type [ drive_strength ] [ vectored | scalared ] [ signed ] </TT>

<TT> range [ delay3 ] list_of_net_decl_assignments ; </TT>

<TT> | trireg [ <A NAME="Rcharge_strength" HREF="#charge_strength">charge_strength</A> ] [ signed ] </TT>

<TT> [ delay3 ] list_of_net_identifiers ; </TT>

<TT> | trireg [ drive_strength ] [ signed ] </TT>

<TT> [ delay3 ] list_of_net_decl_assignments ; </TT>

<TT> | trireg [ charge_strength ] [ vectored | scalared ] [ signed ] </TT>

<TT> range [ delay3 ] list_of_net_identifiers ; </TT>

<TT> | trireg [ drive_strength ] [ vectored | scalared ] [ signed ] </TT>

<TT> range [ delay3 ] list_of_net_decl_assignments ; </TT>

<TT><A NAME="real_declaration" HREF="#Rreal_declaration">real_declaration</A> ::= real <A NAME="Rlist_of_real_identifiers" HREF="#list_of_real_identifiers">list_of_real_identifiers</A> ; </TT>

<TT><A NAME="realtime_declaration" HREF="#Rrealtime_declaration">realtime_declaration</A> ::= realtime list_of_real_identifiers ; </TT>

<TT><A NAME="reg_declaration" HREF="#Rreg_declaration">reg_declaration</A> ::= reg [ signed ] [ range ] </TT>

<TT> list_of_variable_identifiers ; </TT>

<TT><A NAME="time_declaration" HREF="#Rtime_declaration">time_declaration</A> ::= time list_of_variable_identifiers ; </TT>

<TT> A.2.2 Declaration data types </TT>

<TT> A.2.2.1 Net and variable types </TT>

<TT> supply0 | supply1 </TT>

<TT> | tri | triand | trior | tri0 | tri1 </TT>

<TT><A NAME="output_variable_type" HREF="#Routput_variable_type">output_variable_type</A> ::= integer | time </TT>

<TT> <A NAME="Rreal_identifier" HREF="#real_identifier">real_identifier</A> [ = constant_expression ] </TT>

<TT> | real_identifier <A NAME="Rdimension" HREF="#dimension">dimension</A> { dimension } </TT>

<TT><A NAME="variable_type" HREF="#Rvariable_type">variable_type</A> ::= </TT>

<TT> <A NAME="Rvariable_identifier" HREF="#variable_identifier">variable_identifier</A> [ = constant_expression ] </TT>

<TT> | variable_identifier dimension { dimension } </TT>

<TT> A.2.2.2 Strengths </TT>

<TT> <A NAME="drive_strength" HREF="#Rdrive_strength">drive_strength</A> ::= </TT>

<TT> ( <A NAME="Rstrength0" HREF="#strength0">strength0</A> , <A NAME="Rstrength1" HREF="#strength1">strength1</A> ) </TT>

<TT> | ( strength1 , strength0 ) </TT>

<TT> | ( strength0 , highz1 ) </TT>

<TT> | ( strength1 , highz0 ) </TT>

<TT> | ( highz0 , strength1 ) </TT>

<TT> | ( highz1 , strength0 ) </TT>

<TT><A NAME="strength0" HREF="#Rstrength0">strength0</A> ::= supply0 | strong0 | pull0 | weak0 </TT>

<TT><A NAME="strength1" HREF="#Rstrength1">strength1</A> ::= supply1 | strong1 | pull1 | weak1 </TT>

<TT><A NAME="charge_strength" HREF="#Rcharge_strength">charge_strength</A> ::= ( small ) | ( medium ) | ( large ) </TT>

<TT> A.2.2.3 Delays </TT>

<TT> <A NAME="delay3" HREF="#Rdelay3">delay3</A> ::= # <A NAME="Rdelay_value" HREF="#delay_value">delay_value</A> | # ( delay_value [ , delay_value [ , delay_value ] ] ) </TT>

<TT><A NAME="delay2" HREF="#Rdelay2">delay2</A> ::= # delay_value | # ( delay_value [ , delay_value ] ) </TT>

<TT><A NAME="delay_value" HREF="#Rdelay_value">delay_value</A> ::= </TT>

<TT> unsigned_number </TT>

<TT> | <A NAME="Rparameter_identifier" HREF="#parameter_identifier">parameter_identifier</A> </TT>

<TT> | <A NAME="Rspecparam_identifier" HREF="#specparam_identifier">specparam_identifier</A> </TT>

<TT> | <A NAME="Rmintypmax_expression" HREF="#mintypmax_expression">mintypmax_expression</A> </TT>

<TT> A.2.3 Declaration lists </TT>

<TT> <A NAME="list_of_event_identifiers" HREF="#Rlist_of_event_identifiers">list_of_event_identifiers</A> ::= <A NAME="Revent_identifier" HREF="#event_identifier">event_identifier</A> [ dimension { dimension }] </TT>

<TT> { , event_identifier [ dimension { dimension }] } </TT>

<TT><A NAME="list_of_genvar_identifiers" HREF="#Rlist_of_genvar_identifiers">list_of_genvar_identifiers</A> ::= <A NAME="Rgenvar_identifier" HREF="#genvar_identifier">genvar_identifier</A> { , genvar_identifier } </TT>

<TT><A NAME="list_of_net_decl_assignments" HREF="#Rlist_of_net_decl_assignments">list_of_net_decl_assignments</A> ::= <A NAME="Rnet_decl_assignment" HREF="#net_decl_assignment">net_decl_assignment</A> { , net_decl_assignment } </TT>

<TT><A NAME="list_of_net_identifiers" HREF="#Rlist_of_net_identifiers">list_of_net_identifiers</A> ::= <A NAME="Rnet_identifier" HREF="#net_identifier">net_identifier</A> [ dimension { dimension }] </TT>

<TT> { , net_identifier [ dimension { dimension }] } </TT>

<TT><A NAME="list_of_param_assignments" HREF="#Rlist_of_param_assignments">list_of_param_assignments</A> ::= <A NAME="Rparam_assignment" HREF="#param_assignment">param_assignment</A> { , param_assignment } </TT>

<TT><A NAME="list_of_port_identifiers" HREF="#Rlist_of_port_identifiers">list_of_port_identifiers</A> ::= port_identifier { , port_identifier } </TT>

<TT><A NAME="list_of_real_identifiers" HREF="#Rlist_of_real_identifiers">list_of_real_identifiers</A> ::= real_type { , real_type } </TT>

<TT><A NAME="list_of_specparam_assignments" HREF="#Rlist_of_specparam_assignments">list_of_specparam_assignments</A> ::= <A NAME="Rspecparam_assignment" HREF="#specparam_assignment">specparam_assignment</A> { , </TT>

<TT> specparam_assignment } </TT>

<TT><A NAME="list_of_variable_identifiers" HREF="#Rlist_of_variable_identifiers">list_of_variable_identifiers</A> ::= variable_type { , variable_type } </TT>

<TT><A NAME="list_of_variable_port_identifiers" HREF="#Rlist_of_variable_port_identifiers">list_of_variable_port_identifiers</A> ::= port_identifier [ = constant_expression ] </TT>

<TT> { , port_identifier [ = constant_expression ] } </TT>

<TT> A.2.4 Declaration assignments </TT>

<TT> <A NAME="net_decl_assignment" HREF="#Rnet_decl_assignment">net_decl_assignment</A> ::= net_identifier = <A NAME="Rexpression" HREF="#expression">expression</A> </TT>

<TT><A NAME="param_assignment" HREF="#Rparam_assignment">param_assignment</A> ::= parameter_identifier = constant_expression </TT>

<TT><A NAME="specparam_assignment" HREF="#Rspecparam_assignment">specparam_assignment</A> ::= </TT>

<TT> specparam_identifier = <A NAME="Rconstant_mintypmax_expression" HREF="#constant_mintypmax_expression">constant_mintypmax_expression</A> </TT>

<TT> | <A NAME="Rpulse_control_specparam" HREF="#pulse_control_specparam">pulse_control_specparam</A> </TT>

<TT><A NAME="pulse_control_specparam" HREF="#Rpulse_control_specparam">pulse_control_specparam</A> ::= </TT>

<TT> PATHPULSE$ = ( <A NAME="Rreject_limit_value" HREF="#reject_limit_value">reject_limit_value</A> [ , <A NAME="Rerror_limit_value" HREF="#error_limit_value">error_limit_value</A> ] ) ; </TT>

<TT> PATHPULSE$<A NAME="Rspecify_input_terminal_descriptor" HREF="#specify_input_terminal_descriptor">specify_input_terminal_descriptor</A>$<A NAME="Rspecify_output_terminal_descriptor" HREF="#specify_output_terminal_descriptor">specify_output_terminal_descriptor</A> </TT>

<TT> = ( reject_limit_value [ , error_limit_value ] ) ; </TT>

<TT><A NAME="error_limit_value" HREF="#Rerror_limit_value">error_limit_value</A> ::= <A NAME="Rlimit_value" HREF="#limit_value">limit_value</A> </TT>

<TT><A NAME="reject_limit_value" HREF="#Rreject_limit_value">reject_limit_value</A> ::= limit_value </TT>

<TT><A NAME="limit_value" HREF="#Rlimit_value">limit_value</A> ::= constant_mintypmax_expression </TT>

<TT> A.2.5 Declaration ranges </TT>

<TT> <A NAME="dimension" HREF="#Rdimension">dimension</A> ::= [ <A NAME="Rdimension_constant_expression" HREF="#dimension_constant_expression">dimension_constant_expression</A> : dimension_constant_expression ] </TT>

<TT><A NAME="range" HREF="#Rrange">range</A> ::= [ <A NAME="Rmsb_constant_expression" HREF="#msb_constant_expression">msb_constant_expression</A> : <A NAME="Rlsb_constant_expression" HREF="#lsb_constant_expression">lsb_constant_expression</A> ] </TT>

<TT> A.2.6 Function declarations </TT>

<TT> <A NAME="function_declaration" HREF="#Rfunction_declaration">function_declaration</A> ::= </TT>

<TT> function [ automatic ] [ signed ] [ <A NAME="Rrange_or_type" HREF="#range_or_type">range_or_type</A> ] </TT>

<TT> <A NAME="Rfunction_identifier" HREF="#function_identifier">function_identifier</A> ; </TT>

<TT> <A NAME="Rfunction_item_declaration" HREF="#function_item_declaration">function_item_declaration</A> { function_item_declaration } </TT>

<TT> <A NAME="Rfunction_statement" HREF="#function_statement">function_statement</A> </TT>

<TT> endfunction </TT>

<TT> | function [ automatic ] [ signed ] [ range_or_type ] </TT>

<TT> function_identifier ( <A NAME="Rfunction_port_list" HREF="#function_port_list">function_port_list</A> ) ; </TT>

<TT> <A NAME="Rblock_item_declaration" HREF="#block_item_declaration">block_item_declaration</A> { block_item_declaration } </TT>

<TT> function_statement </TT>

<TT> endfunction </TT>

<TT><A NAME="function_item_declaration" HREF="#Rfunction_item_declaration">function_item_declaration</A> ::= </TT>

<TT> block_item_declaration </TT>

<TT> | input_declaration ; </TT>

<TT><A NAME="function_port_list" HREF="#Rfunction_port_list">function_port_list</A> ::= { attribute_instance } input_declaration { , { </TT>

<TT> attribute_instance } input_declaration } </TT>

<TT><A NAME="range_or_type" HREF="#Rrange_or_type">range_or_type</A> ::= range | integer | real | realtime | time </TT>

<TT> A.2.7 Task declarations </TT>

<TT> <A NAME="task_declaration" HREF="#Rtask_declaration">task_declaration</A> ::= </TT>

<TT> task [ automatic ] <A NAME="Rtask_identifier" HREF="#task_identifier">task_identifier</A> ; </TT>

<TT> { <A NAME="Rtask_item_declaration" HREF="#task_item_declaration">task_item_declaration</A> } </TT>

<TT> <A NAME="Rstatement" HREF="#statement">statement</A> </TT>

<TT> endtask </TT>

<TT> | task [ automatic ] task_identifier ( <A NAME="Rtask_port_list" HREF="#task_port_list">task_port_list</A> ) ; </TT>

<TT> { block_item_declaration } </TT>

<TT> statement </TT>

<TT> endtask </TT>

<TT><A NAME="task_item_declaration" HREF="#Rtask_item_declaration">task_item_declaration</A> ::= </TT>

<TT> block_item_declaration </TT>

<TT> | { attribute_instance } input_declaration ; </TT>

<TT> | { attribute_instance } output_declaration ; </TT>

<TT> | { attribute_instance } inout_declaration ; </TT>

<TT> { attribute_instance } input_declaration </TT>

<TT> | { attribute_instance } output_declaration </TT>

<TT> | { attribute_instance } inout_declaration </TT>

<TT> A.2.8 Block item declarations </TT>

<TT> <A NAME="block_item_declaration" HREF="#Rblock_item_declaration">block_item_declaration</A> ::= </TT>

<TT> { attribute_instance } <A NAME="Rblock_reg_declaration" HREF="#block_reg_declaration">block_reg_declaration</A> </TT>

<TT> | { attribute_instance } event_declaration </TT>

<TT> | { attribute_instance } integer_declaration </TT>

<TT> | { attribute_instance } local_parameter_declaration </TT>

<TT> | { attribute_instance } parameter_declaration </TT>

<TT> | { attribute_instance } real_declaration </TT>

<TT> | { attribute_instance } realtime_declaration </TT>

<TT> | { attribute_instance } time_declaration </TT>

<TT><A NAME="block_reg_declaration" HREF="#Rblock_reg_declaration">block_reg_declaration</A> ::= reg [ signed ] [ range ] </TT>

<TT> <A NAME="Rlist_of_block_variable_identifiers" HREF="#list_of_block_variable_identifiers">list_of_block_variable_identifiers</A> ; </TT>

<TT><A NAME="list_of_block_variable_identifiers" HREF="#Rlist_of_block_variable_identifiers">list_of_block_variable_identifiers</A> ::= </TT>

<TT> <A NAME="Rblock_variable_type" HREF="#block_variable_type">block_variable_type</A> { , block_variable_type } </TT>

<TT><A NAME="block_variable_type" HREF="#Rblock_variable_type">block_variable_type</A> ::= </TT>

<TT> variable_identifier </TT>

<TT> | variable_identifier dimension { dimension } </TT>

<TT> A.3 Primitive instances </TT>

<TT> A.3.1 Primitive instantiation and instances </TT>

<TT> <A NAME="gate_instantiation" HREF="#Rgate_instantiation">gate_instantiation</A> ::= </TT>

<TT> <A NAME="Rcmos_switchtype" HREF="#cmos_switchtype">cmos_switchtype</A> [delay3] </TT>

<TT> <A NAME="Rcmos_switch_instance" HREF="#cmos_switch_instance">cmos_switch_instance</A> { , cmos_switch_instance } ; </TT>

<TT> | <A NAME="Renable_gatetype" HREF="#enable_gatetype">enable_gatetype</A> [drive_strength] [delay3] </TT>

<TT> <A NAME="Renable_gate_instance" HREF="#enable_gate_instance">enable_gate_instance</A> { , enable_gate_instance } ; </TT>

<TT> | <A NAME="Rmos_switchtype" HREF="#mos_switchtype">mos_switchtype</A> [delay3] </TT>

<TT> <A NAME="Rmos_switch_instance" HREF="#mos_switch_instance">mos_switch_instance</A> { , mos_switch_instance } ; </TT>

<TT> | <A NAME="Rn_input_gatetype" HREF="#n_input_gatetype">n_input_gatetype</A> [drive_strength] [delay2] </TT>

<TT> <A NAME="Rn_input_gate_instance" HREF="#n_input_gate_instance">n_input_gate_instance</A> { , n_input_gate_instance } ; </TT>

<TT> | <A NAME="Rn_output_gatetype" HREF="#n_output_gatetype">n_output_gatetype</A> [drive_strength] [delay2] </TT>

<TT> <A NAME="Rn_output_gate_instance" HREF="#n_output_gate_instance">n_output_gate_instance</A> { , n_output_gate_instance } ; </TT>

<TT> | <A NAME="Rpass_en_switchtype" HREF="#pass_en_switchtype">pass_en_switchtype</A> [delay2] </TT>

<TT> <A NAME="Rpass_enable_switch_instance" HREF="#pass_enable_switch_instance">pass_enable_switch_instance</A> { , pass_enable_switch_instance } ; </TT>

<TT> | <A NAME="Rpass_switchtype" HREF="#pass_switchtype">pass_switchtype</A> </TT>

<TT> <A NAME="Rpass_switch_instance" HREF="#pass_switch_instance">pass_switch_instance</A> { , pass_switch_instance } ; </TT>

<TT> | pulldown [<A NAME="Rpulldown_strength" HREF="#pulldown_strength">pulldown_strength</A>] </TT>

<TT> <A NAME="Rpull_gate_instance" HREF="#pull_gate_instance">pull_gate_instance</A> { , pull_gate_instance } ; </TT>

<TT> | pullup [<A NAME="Rpullup_strength" HREF="#pullup_strength">pullup_strength</A>] </TT>

<TT> pull_gate_instance { , pull_gate_instance } ; </TT>

<TT><A NAME="cmos_switch_instance" HREF="#Rcmos_switch_instance">cmos_switch_instance</A> ::= [ <A NAME="Rname_of_gate_instance" HREF="#name_of_gate_instance">name_of_gate_instance</A> ] ( <A NAME="Routput_terminal" HREF="#output_terminal">output_terminal</A> , </TT>

<TT> <A NAME="Rinput_terminal" HREF="#input_terminal">input_terminal</A> , </TT>

<TT> <A NAME="Rncontrol_terminal" HREF="#ncontrol_terminal">ncontrol_terminal</A> , <A NAME="Rpcontrol_terminal" HREF="#pcontrol_terminal">pcontrol_terminal</A> ) </TT>

<TT><A NAME="enable_gate_instance" HREF="#Renable_gate_instance">enable_gate_instance</A> ::= [ name_of_gate_instance ] ( output_terminal , </TT>

<TT> input_terminal , <A NAME="Renable_terminal" HREF="#enable_terminal">enable_terminal</A> ) </TT>

<TT><A NAME="mos_switch_instance" HREF="#Rmos_switch_instance">mos_switch_instance</A> ::= [ name_of_gate_instance ] ( output_terminal , </TT>

<TT> input_terminal , enable_terminal ) </TT>

<TT><A NAME="n_input_gate_instance" HREF="#Rn_input_gate_instance">n_input_gate_instance</A> ::= [ name_of_gate_instance ] ( output_terminal , </TT>

<TT> input_terminal { , input_terminal } ) </TT>

<TT><A NAME="n_output_gate_instance" HREF="#Rn_output_gate_instance">n_output_gate_instance</A> ::= [ name_of_gate_instance ] ( output_terminal { , </TT>

<TT> output_terminal } , input_terminal ) </TT>

<TT><A NAME="pass_switch_instance" HREF="#Rpass_switch_instance">pass_switch_instance</A> ::= [ name_of_gate_instance ] ( <A NAME="Rinout_terminal" HREF="#inout_terminal">inout_terminal</A> , </TT>

<TT> inout_terminal ) </TT>

<TT><A NAME="pass_enable_switch_instance" HREF="#Rpass_enable_switch_instance">pass_enable_switch_instance</A> ::= [ name_of_gate_instance ] ( inout_terminal </TT>

<TT> , inout_terminal , enable_terminal ) </TT>

<TT><A NAME="pull_gate_instance" HREF="#Rpull_gate_instance">pull_gate_instance</A> ::= [ name_of_gate_instance ] ( output_terminal ) </TT>

<TT><A NAME="name_of_gate_instance" HREF="#Rname_of_gate_instance">name_of_gate_instance</A> ::= <A NAME="Rgate_instance_identifier" HREF="#gate_instance_identifier">gate_instance_identifier</A> [ range ] </TT>

<TT> A.3.2 Primitive strengths </TT>

<TT> <A NAME="pulldown_strength" HREF="#Rpulldown_strength">pulldown_strength</A> ::= </TT>

<TT> ( strength0 , strength1 ) </TT>

<TT> | ( strength1 , strength0 ) </TT>

<TT> | ( strength0 ) </TT>

<TT><A NAME="pullup_strength" HREF="#Rpullup_strength">pullup_strength</A> ::= </TT>

<TT> ( strength0 , strength1 ) </TT>

<TT> | ( strength1 , strength0 ) </TT>

<TT> | ( strength1 ) </TT>

<TT> A.3.3 Primitive terminals </TT>

<TT> <A NAME="enable_terminal" HREF="#Renable_terminal">enable_terminal</A> ::= expression </TT>

<TT><A NAME="inout_terminal" HREF="#Rinout_terminal">inout_terminal</A> ::= <A NAME="Rnet_lvalue" HREF="#net_lvalue">net_lvalue</A> </TT>

<TT><A NAME="input_terminal" HREF="#Rinput_terminal">input_terminal</A> ::= expression </TT>

<TT><A NAME="ncontrol_terminal" HREF="#Rncontrol_terminal">ncontrol_terminal</A> ::= expression </TT>

<TT><A NAME="output_terminal" HREF="#Routput_terminal">output_terminal</A> ::= net_lvalue </TT>

<TT><A NAME="pcontrol_terminal" HREF="#Rpcontrol_terminal">pcontrol_terminal</A> ::= expression </TT>

<TT> A.3.4 Primitive gate and switch types </TT>

<TT> <A NAME="cmos_switchtype" HREF="#Rcmos_switchtype">cmos_switchtype</A> ::= cmos | rcmos </TT>

<TT><A NAME="enable_gatetype" HREF="#Renable_gatetype">enable_gatetype</A> ::= bufif0 | bufif1 | notif0 | notif1 </TT>

<TT><A NAME="mos_switchtype" HREF="#Rmos_switchtype">mos_switchtype</A> ::= nmos | pmos | rnmos | rpmos </TT>

<TT><A NAME="n_input_gatetype" HREF="#Rn_input_gatetype">n_input_gatetype</A> ::= and | nand | or | nor | xor | xnor </TT>

<TT><A NAME="n_output_gatetype" HREF="#Rn_output_gatetype">n_output_gatetype</A> ::= buf | not </TT>

<TT><A NAME="pass_en_switchtype" HREF="#Rpass_en_switchtype">pass_en_switchtype</A> ::= tranif0 | tranif1 | rtranif1 | rtranif0 </TT>

<TT><A NAME="pass_switchtype" HREF="#Rpass_switchtype">pass_switchtype</A> ::= tran | rtran </TT>

<TT> A.4 Module and generated instantiation </TT>

<TT> A.4.1 Module instantiation </TT>

<TT> <A NAME="module_instantiation" HREF="#Rmodule_instantiation">module_instantiation</A> ::= </TT>

<TT> module_identifier [ <A NAME="Rparameter_value_assignment" HREF="#parameter_value_assignment">parameter_value_assignment</A> ] </TT>

<TT> <A NAME="Rmodule_instance" HREF="#module_instance">module_instance</A> { , module_instance } ; </TT>

<TT><A NAME="parameter_value_assignment" HREF="#Rparameter_value_assignment">parameter_value_assignment</A> ::= # ( <A NAME="Rlist_of_parameter_assignments" HREF="#list_of_parameter_assignments">list_of_parameter_assignments</A> ) </TT>

<TT><A NAME="list_of_parameter_assignments" HREF="#Rlist_of_parameter_assignments">list_of_parameter_assignments</A> ::= </TT>

<TT> <A NAME="Rordered_parameter_assignment" HREF="#ordered_parameter_assignment">ordered_parameter_assignment</A> { , ordered_parameter_assignment } | </TT>

<TT> <A NAME="Rnamed_parameter_assignment" HREF="#named_parameter_assignment">named_parameter_assignment</A> { , named_parameter_assignment } </TT>

<TT><A NAME="ordered_parameter_assignment" HREF="#Rordered_parameter_assignment">ordered_parameter_assignment</A> ::= expression </TT>

<TT><A NAME="named_parameter_assignment" HREF="#Rnamed_parameter_assignment">named_parameter_assignment</A> ::= . parameter_identifier ( [ expression ] ) </TT>

<TT><A NAME="module_instance" HREF="#Rmodule_instance">module_instance</A> ::= <A NAME="Rname_of_instance" HREF="#name_of_instance">name_of_instance</A> ( [ <A NAME="Rlist_of_port_connections" HREF="#list_of_port_connections">list_of_port_connections</A> ] ) </TT>

<TT><A NAME="name_of_instance" HREF="#Rname_of_instance">name_of_instance</A> ::= <A NAME="Rmodule_instance_identifier" HREF="#module_instance_identifier">module_instance_identifier</A> [ range ] </TT>

<TT><A NAME="list_of_port_connections" HREF="#Rlist_of_port_connections">list_of_port_connections</A> ::= </TT>

<TT> <A NAME="Rordered_port_connection" HREF="#ordered_port_connection">ordered_port_connection</A> { , ordered_port_connection } </TT>

<TT> | <A NAME="Rnamed_port_connection" HREF="#named_port_connection">named_port_connection</A> { , named_port_connection } </TT>

<TT><A NAME="ordered_port_connection" HREF="#Rordered_port_connection">ordered_port_connection</A> ::= { attribute_instance } [ expression ] </TT>

<TT><A NAME="named_port_connection" HREF="#Rnamed_port_connection">named_port_connection</A> ::= { attribute_instance } .port_identifier ( [ </TT>

<TT> expression ] ) </TT>

<TT> A.4.2 Generated instantiation </TT>

<TT> <A NAME="generated_instantiation" HREF="#Rgenerated_instantiation">generated_instantiation</A> ::= generate { <A NAME="Rgenerate_item" HREF="#generate_item">generate_item</A> } endgenerate </TT>

<TT><A NAME="generate_item_or_null" HREF="#Rgenerate_item_or_null">generate_item_or_null</A> ::= generate_item | ; </TT>

<TT><A NAME="generate_item" HREF="#Rgenerate_item">generate_item</A> ::= </TT>

<TT> <A NAME="Rgenerate_conditional_statement" HREF="#generate_conditional_statement">generate_conditional_statement</A> </TT>

<TT> | <A NAME="Rgenerate_case_statement" HREF="#generate_case_statement">generate_case_statement</A> </TT>

<TT> | <A NAME="Rgenerate_loop_statement" HREF="#generate_loop_statement">generate_loop_statement</A> </TT>

<TT> | <A NAME="Rgenerate_block" HREF="#generate_block">generate_block</A> </TT>

<TT> | module_or_generate_item </TT>

<TT><A NAME="generate_conditional_statement" HREF="#Rgenerate_conditional_statement">generate_conditional_statement</A> ::= </TT>

<TT> if ( constant_expression ) generate_item_or_null [ else generate_item_or_null ] </TT>

<TT><A NAME="generate_case_statement" HREF="#Rgenerate_case_statement">generate_case_statement</A> ::= case ( constant_expression ) </TT>

<TT> <A NAME="Rgenvar_case_item" HREF="#genvar_case_item">genvar_case_item</A> { genvar_case_item } endcase </TT>

<TT><A NAME="genvar_case_item" HREF="#Rgenvar_case_item">genvar_case_item</A> ::= constant_expression { , constant_expression } : </TT>

<TT> generate_item_or_null | default [ : ] generate_item_or_null </TT>

<TT><A NAME="generate_loop_statement" HREF="#Rgenerate_loop_statement">generate_loop_statement</A> ::= for ( <A NAME="Rgenvar_assignment" HREF="#genvar_assignment">genvar_assignment</A> ; constant_expression ; </TT>

<TT> genvar_assignment ) </TT>

<TT> begin : <A NAME="Rgenerate_block_identifier" HREF="#generate_block_identifier">generate_block_identifier</A> { generate_item } end </TT>

<TT><A NAME="genvar_assignment" HREF="#Rgenvar_assignment">genvar_assignment</A> ::= genvar_identifier = constant_expression </TT>

<TT><A NAME="generate_block" HREF="#Rgenerate_block">generate_block</A> ::= begin [ : generate_block_identifier ] { generate_item } end </TT>

<TT> A.5 UDP declaration and instantiation </TT>

<TT> A.5.1 UDP declaration </TT>

<TT> <A NAME="udp_declaration" HREF="#Rudp_declaration">udp_declaration</A> ::= </TT>

<TT> { attribute_instance } primitive <A NAME="Rudp_identifier" HREF="#udp_identifier">udp_identifier</A> ( <A NAME="Rudp_port_list" HREF="#udp_port_list">udp_port_list</A> ) ; </TT>

<TT> <A NAME="Rudp_port_declaration" HREF="#udp_port_declaration">udp_port_declaration</A> { udp_port_declaration } </TT>

<TT> endprimitive </TT>

<TT> | { attribute_instance } primitive udp_identifier ( </TT>

<TT> <A NAME="Rudp_declaration_port_list" HREF="#udp_declaration_port_list">udp_declaration_port_list</A> ) ; </TT>

<TT> endprimitive </TT>

<TT> A.5.2 UDP ports </TT>

<TT> <A NAME="udp_port_list" HREF="#Rudp_port_list">udp_port_list</A> ::= <A NAME="Routput_port_identifier" HREF="#output_port_identifier">output_port_identifier</A> , <A NAME="Rinput_port_identifier" HREF="#input_port_identifier">input_port_identifier</A> { , </TT>

<TT> input_port_identifier } </TT>

<TT><A NAME="udp_declaration_port_list" HREF="#Rudp_declaration_port_list">udp_declaration_port_list</A> ::= </TT>

<TT> <A NAME="Rudp_output_declaration" HREF="#udp_output_declaration">udp_output_declaration</A> , <A NAME="Rudp_input_declaration" HREF="#udp_input_declaration">udp_input_declaration</A> { , udp_input_declaration } </TT>

<TT><A NAME="udp_port_declaration" HREF="#Rudp_port_declaration">udp_port_declaration</A> ::= </TT>

<TT> udp_output_declaration ; </TT>

<TT> | udp_input_declaration ; </TT>

<TT> | <A NAME="Rudp_reg_declaration" HREF="#udp_reg_declaration">udp_reg_declaration</A> ; </TT>

<TT><A NAME="udp_output_declaration" HREF="#Rudp_output_declaration">udp_output_declaration</A> ::= </TT>

<TT> { attribute_instance } output port_identifier </TT>

<TT> | { attribute_instance } output reg port_identifier [ = constant_expression ] </TT>

<TT><A NAME="udp_input_declaration" HREF="#Rudp_input_declaration">udp_input_declaration</A> ::= { attribute_instance } input list_of_port_identifiers </TT>

<TT><A NAME="udp_reg_declaration" HREF="#Rudp_reg_declaration">udp_reg_declaration</A> ::= { attribute_instance } reg variable_identifier </TT>

<TT> <A NAME="udp_body" HREF="#Rudp_body">udp_body</A> ::= <A NAME="Rcombinational_body" HREF="#combinational_body">combinational_body</A> | <A NAME="Rsequential_body" HREF="#sequential_body">sequential_body</A> </TT>

<TT><A NAME="combinational_body" HREF="#Rcombinational_body">combinational_body</A> ::= table <A NAME="Rcombinational_entry" HREF="#combinational_entry">combinational_entry</A> { combinational_entry } endtable </TT>

<TT><A NAME="combinational_entry" HREF="#Rcombinational_entry">combinational_entry</A> ::= <A NAME="Rlevel_input_list" HREF="#level_input_list">level_input_list</A> : <A NAME="Routput_symbol" HREF="#output_symbol">output_symbol</A> ; </TT>

<TT><A NAME="sequential_body" HREF="#Rsequential_body">sequential_body</A> ::= [ <A NAME="Rudp_initial_statement" HREF="#udp_initial_statement">udp_initial_statement</A> ] table <A NAME="Rsequential_entry" HREF="#sequential_entry">sequential_entry</A> { </TT>

<TT> sequential_entry } endtable </TT>

<TT><A NAME="udp_initial_statement" HREF="#Rudp_initial_statement">udp_initial_statement</A> ::= initial output_port_identifier = <A NAME="Rinit_val" HREF="#init_val">init_val</A> ; </TT>

<TT><A NAME="sequential_entry" HREF="#Rsequential_entry">sequential_entry</A> ::= <A NAME="Rseq_input_list" HREF="#seq_input_list">seq_input_list</A> : <A NAME="Rcurrent_state" HREF="#current_state">current_state</A> : <A NAME="Rnext_state" HREF="#next_state">next_state</A> ; </TT>

<TT><A NAME="seq_input_list" HREF="#Rseq_input_list">seq_input_list</A> ::= level_input_list | <A NAME="Redge_input_list" HREF="#edge_input_list">edge_input_list</A> </TT>

<TT><A NAME="level_input_list" HREF="#Rlevel_input_list">level_input_list</A> ::= <A NAME="Rlevel_symbol" HREF="#level_symbol">level_symbol</A> { level_symbol } </TT>

<TT><A NAME="edge_input_list" HREF="#Redge_input_list">edge_input_list</A> ::= { level_symbol } <A NAME="Redge_indicator" HREF="#edge_indicator">edge_indicator</A> { level_symbol } </TT>

<TT><A NAME="edge_indicator" HREF="#Redge_indicator">edge_indicator</A> ::= ( level_symbol level_symbol ) | <A NAME="Redge_symbol" HREF="#edge_symbol">edge_symbol</A> </TT>

<TT><A NAME="current_state" HREF="#Rcurrent_state">current_state</A> ::= level_symbol </TT>

<TT><A NAME="next_state" HREF="#Rnext_state">next_state</A> ::= output_symbol | - </TT>

<TT><A NAME="output_symbol" HREF="#Routput_symbol">output_symbol</A> ::= 0 | 1 | x | X </TT>

<TT><A NAME="level_symbol" HREF="#Rlevel_symbol">level_symbol</A> ::= 0 | 1 | x | X | ? | b | B </TT>

<TT><A NAME="edge_symbol" HREF="#Redge_symbol">edge_symbol</A> ::= r | R | f | F | p | P | n | N | * </TT>

<TT> A.5.4 UDP instantiation </TT>

<TT> <A NAME="udp_instantiation" HREF="#Rudp_instantiation">udp_instantiation</A> ::= udp_identifier [ drive_strength ] [ delay2 ] </TT>

<TT> <A NAME="Rudp_instance" HREF="#udp_instance">udp_instance</A> { , udp_instance } ; </TT>

<TT><A NAME="udp_instance" HREF="#Rudp_instance">udp_instance</A> ::= [ <A NAME="Rname_of_udp_instance" HREF="#name_of_udp_instance">name_of_udp_instance</A> ] ( output_terminal , input_terminal </TT>

<TT> { , input_terminal } ) </TT>

<TT><A NAME="name_of_udp_instance" HREF="#Rname_of_udp_instance">name_of_udp_instance</A> ::= <A NAME="Rudp_instance_identifier" HREF="#udp_instance_identifier">udp_instance_identifier</A> [ range ] </TT>

<TT> A.6 Behavioral statements </TT>

<TT> A.6.1 Continuous assignment statements </TT>

<TT> <A NAME="continuous_assign" HREF="#Rcontinuous_assign">continuous_assign</A> ::= assign [ drive_strength ] [ delay3 ] </TT>

<TT> <A NAME="Rlist_of_net_assignments" HREF="#list_of_net_assignments">list_of_net_assignments</A> ; </TT>

<TT><A NAME="list_of_net_assignments" HREF="#Rlist_of_net_assignments">list_of_net_assignments</A> ::= <A NAME="Rnet_assignment" HREF="#net_assignment">net_assignment</A> { , net_assignment } </TT>

<TT><A NAME="net_assignment" HREF="#Rnet_assignment">net_assignment</A> ::= net_lvalue = expression </TT>

<TT> A.6.2 Procedural blocks and assignments </TT>

<TT> <A NAME="initial_construct" HREF="#Rinitial_construct">initial_construct</A> ::= initial statement </TT>

<TT><A NAME="always_construct" HREF="#Ralways_construct">always_construct</A> ::= always statement </TT>

<TT><A NAME="blocking_assignment" HREF="#Rblocking_assignment">blocking_assignment</A> ::= <A NAME="Rvariable_lvalue" HREF="#variable_lvalue">variable_lvalue</A> = [ <A NAME="Rdelay_or_event_control" HREF="#delay_or_event_control">delay_or_event_control</A> ] expression </TT>

<TT><A NAME="nonblocking_assignment" HREF="#Rnonblocking_assignment">nonblocking_assignment</A> ::= variable_lvalue <= [ delay_or_event_control ] </TT>

<TT> expression </TT>

<TT><A NAME="procedural_continuous_assignments" HREF="#Rprocedural_continuous_assignments">procedural_continuous_assignments</A> ::= </TT>

<TT> assign <A NAME="Rvariable_assignment" HREF="#variable_assignment">variable_assignment</A> </TT>

<TT> | deassign variable_lvalue </TT>

<TT> | force variable_assignment </TT>

<TT> | force net_assignment </TT>

<TT> | release variable_lvalue </TT>

<TT> | release net_lvalue </TT>

<TT><A NAME="function_blocking_assignment" HREF="#Rfunction_blocking_assignment">function_blocking_assignment</A> ::= variable_lvalue = expression </TT>

<TT><A NAME="function_statement_or_null" HREF="#Rfunction_statement_or_null">function_statement_or_null</A> ::= </TT>

<TT> function_statement </TT>

<TT> | { attribute_instance } ; </TT>

<TT> A.6.3 Parallel and sequential blocks </TT>

<TT> <A NAME="function_seq_block" HREF="#Rfunction_seq_block">function_seq_block</A> ::= begin [ : <A NAME="Rblock_identifier" HREF="#block_identifier">block_identifier</A> </TT>

<TT> { block_item_declaration } ] { function_statement } end </TT>

<TT><A NAME="variable_assignment" HREF="#Rvariable_assignment">variable_assignment</A> ::= variable_lvalue = expression </TT>

<TT><A NAME="par_block" HREF="#Rpar_block">par_block</A> ::= fork [ : block_identifier </TT>

<TT> { block_item_declaration } ] { statement } join </TT>

<TT><A NAME="seq_block" HREF="#Rseq_block">seq_block</A> ::= begin [ : block_identifier </TT>

<TT> { block_item_declaration } ] { statement } end </TT>

<TT> A.6.4 Statements </TT>

<TT> <A NAME="statement" HREF="#Rstatement">statement</A> ::= </TT>

<TT> { attribute_instance } blocking_assignment ; </TT>

<TT> | { attribute_instance } <A NAME="Rcase_statement" HREF="#case_statement">case_statement</A> </TT>

<TT> | { attribute_instance } <A NAME="Rconditional_statement" HREF="#conditional_statement">conditional_statement</A> </TT>

<TT> | { attribute_instance } <A NAME="Rdisable_statement" HREF="#disable_statement">disable_statement</A> </TT>

<TT> | { attribute_instance } <A NAME="Revent_trigger" HREF="#event_trigger">event_trigger</A> </TT>

<TT> | { attribute_instance } <A NAME="Rloop_statement" HREF="#loop_statement">loop_statement</A> </TT>

<TT> | { attribute_instance } nonblocking_assignment ; </TT>

<TT> | { attribute_instance } par_block </TT>

<TT> | { attribute_instance } procedural_continuous_assignments ; </TT>

<TT> | { attribute_instance } <A NAME="Rprocedural_timing_control_statement" HREF="#procedural_timing_control_statement">procedural_timing_control_statement</A> </TT>

<TT> | { attribute_instance } seq_block </TT>

<TT> | { attribute_instance } <A NAME="Rsystem_task_enable" HREF="#system_task_enable">system_task_enable</A> </TT>

<TT> | { attribute_instance } <A NAME="Rtask_enable" HREF="#task_enable">task_enable</A> </TT>

<TT> | { attribute_instance } <A NAME="Rwait_statement" HREF="#wait_statement">wait_statement</A> </TT>

<TT><A NAME="statement_or_null" HREF="#Rstatement_or_null">statement_or_null</A> ::= </TT>

<TT> statement </TT>

<TT> | { attribute_instance } ; </TT>

<TT><A NAME="function_statement" HREF="#Rfunction_statement">function_statement</A> ::= </TT>

<TT> { attribute_instance } function_blocking_assignment ; </TT>

<TT> | { attribute_instance } <A NAME="Rfunction_case_statement" HREF="#function_case_statement">function_case_statement</A> </TT>

<TT> | { attribute_instance } <A NAME="Rfunction_conditional_statement" HREF="#function_conditional_statement">function_conditional_statement</A> </TT>

<TT> | { attribute_instance } <A NAME="Rfunction_loop_statement" HREF="#function_loop_statement">function_loop_statement</A> </TT>

<TT> | { attribute_instance } function_seq_block </TT>

<TT> | { attribute_instance } disable_statement </TT>

<TT> | { attribute_instance } system_task_enable </TT>

<TT> A.6.5 Timing control statements </TT>

<TT> <A NAME="delay_control" HREF="#Rdelay_control">delay_control</A> ::= </TT>

<TT> # delay_value </TT>

<TT> | # ( mintypmax_expression ) </TT>

<TT><A NAME="delay_or_event_control" HREF="#Rdelay_or_event_control">delay_or_event_control</A> ::= </TT>

<TT> delay_control </TT>

<TT> | <A NAME="Revent_control" HREF="#event_control">event_control</A> </TT>

<TT> | repeat ( expression ) event_control </TT>

<TT><A NAME="disable_statement" HREF="#Rdisable_statement">disable_statement</A> ::= </TT>

<TT> disable <A NAME="Rhierarchical_task_identifier" HREF="#hierarchical_task_identifier">hierarchical_task_identifier</A> ; </TT>

<TT> | disable <A NAME="Rhierarchical_block_identifier" HREF="#hierarchical_block_identifier">hierarchical_block_identifier</A> ; </TT>

<TT><A NAME="event_control" HREF="#Revent_control">event_control</A> ::= </TT>

<TT> @ event_identifier </TT>

<TT> | @ ( <A NAME="Revent_expression" HREF="#event_expression">event_expression</A> ) </TT>

<TT><A NAME="event_trigger" HREF="#Revent_trigger">event_trigger</A> ::= </TT>

<TT> -> <A NAME="Rhierarchical_event_identifier" HREF="#hierarchical_event_identifier">hierarchical_event_identifier</A> ; </TT>

<TT><A NAME="event_expression" HREF="#Revent_expression">event_expression</A> ::= </TT>

<TT> expression </TT>

<TT> | <A NAME="Rhierarchical_identifier" HREF="#hierarchical_identifier">hierarchical_identifier</A> </TT>

<TT> | posedge expression </TT>

<TT> | negedge expression </TT>

<TT> | event_expression or event_expression </TT>

<TT> | event_expression , event_expression </TT>

<TT><A NAME="procedural_timing_control_statement" HREF="#Rprocedural_timing_control_statement">procedural_timing_control_statement</A> ::= </TT>

<TT> delay_or_event_control statement_or_null </TT>

<TT><A NAME="wait_statement" HREF="#Rwait_statement">wait_statement</A> ::= </TT>

<TT> wait ( expression ) statement_or_null </TT>

<TT> A.6.6 Conditional statements </TT>

<TT> <A NAME="conditional_statement" HREF="#Rconditional_statement">conditional_statement</A> ::= </TT>

<TT> if ( expression ) </TT>

<TT> statement_or_null [ else statement_or_null ] </TT>

<TT> | <A NAME="Rif_else_if_statement" HREF="#if_else_if_statement">if_else_if_statement</A> </TT>

<TT><A NAME="if_else_if_statement" HREF="#Rif_else_if_statement">if_else_if_statement</A> ::= </TT>

<TT> if ( expression ) statement_or_null </TT>

<TT> { else if ( expression ) statement_or_null } </TT>

<TT> [ else statement_or_null ] </TT>

<TT><A NAME="function_conditional_statement" HREF="#Rfunction_conditional_statement">function_conditional_statement</A> ::= </TT>

<TT> if ( expression ) function_statement_or_null </TT>

<TT> [ else function_statement_or_null ] </TT>

<TT> | <A NAME="Rfunction_if_else_if_statement" HREF="#function_if_else_if_statement">function_if_else_if_statement</A> </TT>

<TT><A NAME="function_if_else_if_statement" HREF="#Rfunction_if_else_if_statement">function_if_else_if_statement</A> ::= </TT>

<TT> if ( expression ) function_statement_or_null </TT>

<TT> { else if ( expression ) function_statement_or_null } </TT>

<TT> [ else function_statement_or_null ] </TT>

<TT> A.6.7 Case statements </TT>

<TT> <A NAME="case_statement" HREF="#Rcase_statement">case_statement</A> ::= </TT>

<TT> case ( expression ) </TT>

<TT> <A NAME="Rcase_item" HREF="#case_item">case_item</A> { case_item } endcase </TT>

<TT> | casez ( expression ) </TT>

<TT> case_item { case_item } endcase </TT>

<TT> | casex ( expression ) </TT>

<TT> case_item { case_item } endcase </TT>

<TT> expression { , expression } : statement_or_null </TT>

<TT> | default [ : ] statement_or_null </TT>

<TT><A NAME="function_case_statement" HREF="#Rfunction_case_statement">function_case_statement</A> ::= </TT>

<TT> case ( expression ) </TT>

<TT> <A NAME="Rfunction_case_item" HREF="#function_case_item">function_case_item</A> { function_case_item } endcase </TT>

<TT> | casez ( expression ) </TT>

<TT> function_case_item { function_case_item } endcase </TT>

<TT> | casex ( expression ) </TT>

<TT> function_case_item { function_case_item } endcase </TT>

<TT><A NAME="function_case_item" HREF="#Rfunction_case_item">function_case_item</A> ::= </TT>

<TT> expression { , expression } : function_statement_or_null </TT>

<TT> | default [ : ] function_statement_or_null </TT>

<TT> A.6.8 Looping statements </TT>

<TT> <A NAME="function_loop_statement" HREF="#Rfunction_loop_statement">function_loop_statement</A> ::= </TT>

<TT> forever function_statement </TT>

<TT> | repeat ( expression ) function_statement </TT>

<TT> | while ( expression ) function_statement </TT>

<TT> | for ( variable_assignment ; expression ; variable_assignment ) </TT>

<TT> function_statement </TT>

<TT><A NAME="loop_statement" HREF="#Rloop_statement">loop_statement</A> ::= </TT>

<TT> forever statement </TT>

<TT> | repeat ( expression ) statement </TT>

<TT> | while ( expression ) statement </TT>

<TT> | for ( variable_assignment ; expression ; variable_assignment ) </TT>

<TT> statement </TT>

<TT> A.6.9 Task enable statements </TT>

<TT> <A NAME="system_task_enable" HREF="#Rsystem_task_enable">system_task_enable</A> ::= system_task_identifier [ ( expression { , expression </TT>

<TT><A NAME="task_enable" HREF="#Rtask_enable">task_enable</A> ::= hierarchical_task_identifier [ ( expression { , expression </TT>

<TT> A.7 Specify section </TT>

<TT> A.7.1 Specify block declaration </TT>

<TT> <A NAME="specify_block" HREF="#Rspecify_block">specify_block</A> ::= specify { <A NAME="Rspecify_item" HREF="#specify_item">specify_item</A> } endspecify </TT>

<TT><A NAME="specify_item" HREF="#Rspecify_item">specify_item</A> ::= </TT>

<TT> specparam_declaration </TT>

<TT> | <A NAME="Rpulsestyle_declaration" HREF="#pulsestyle_declaration">pulsestyle_declaration</A> </TT>

<TT> | <A NAME="Rshowcancelled_declaration" HREF="#showcancelled_declaration">showcancelled_declaration</A> </TT>

<TT> | <A NAME="Rpath_declaration" HREF="#path_declaration">path_declaration</A> </TT>

<TT> | <A NAME="Rsystem_timing_check" HREF="#system_timing_check">system_timing_check</A> </TT>

<TT><A NAME="pulsestyle_declaration" HREF="#Rpulsestyle_declaration">pulsestyle_declaration</A> ::= </TT>

<TT> pulsestyle_onevent <A NAME="Rlist_of_path_outputs" HREF="#list_of_path_outputs">list_of_path_outputs</A> ; </TT>

<TT> | pulsestyle_ondetect list_of_path_outputs ; </TT>

<TT><A NAME="showcancelled_declaration" HREF="#Rshowcancelled_declaration">showcancelled_declaration</A> ::= </TT>

<TT> showcancelled list_of_path_outputs ; </TT>

<TT> | noshowcancelled list_of_path_outputs ; </TT>

<TT> A.7.2 Specify path declarations </TT>

<TT> <A NAME="path_declaration" HREF="#Rpath_declaration">path_declaration</A> ::= </TT>

<TT> <A NAME="Rsimple_path_declaration" HREF="#simple_path_declaration">simple_path_declaration</A> ; </TT>

<TT> | <A NAME="Redge_sensitive_path_declaration" HREF="#edge_sensitive_path_declaration">edge_sensitive_path_declaration</A> ; </TT>

<TT> | <A NAME="Rstate_dependent_path_declaration" HREF="#state_dependent_path_declaration">state_dependent_path_declaration</A> ; </TT>

<TT><A NAME="simple_path_declaration" HREF="#Rsimple_path_declaration">simple_path_declaration</A> ::= </TT>

<TT> <A NAME="Rparallel_path_description" HREF="#parallel_path_description">parallel_path_description</A> = <A NAME="Rpath_delay_value" HREF="#path_delay_value">path_delay_value</A> </TT>

<TT> | <A NAME="Rfull_path_description" HREF="#full_path_description">full_path_description</A> = path_delay_value </TT>

<TT><A NAME="parallel_path_description" HREF="#Rparallel_path_description">parallel_path_description</A> ::= </TT>

<TT> ( specify_input_terminal_descriptor [ <A NAME="Rpolarity_operator" HREF="#polarity_operator">polarity_operator</A> ] => </TT>

<TT> specify_output_terminal_descriptor ) </TT>

<TT><A NAME="full_path_description" HREF="#Rfull_path_description">full_path_description</A> ::= </TT>

<TT> ( <A NAME="Rlist_of_path_inputs" HREF="#list_of_path_inputs">list_of_path_inputs</A> [ polarity_operator ] *> list_of_path_outputs ) </TT>

<TT><A NAME="list_of_path_inputs" HREF="#Rlist_of_path_inputs">list_of_path_inputs</A> ::= </TT>

<TT> specify_input_terminal_descriptor { , specify_input_terminal_descriptor } </TT>

<TT><A NAME="list_of_path_outputs" HREF="#Rlist_of_path_outputs">list_of_path_outputs</A> ::= </TT>

<TT> specify_output_terminal_descriptor { , specify_output_terminal_descriptor } </TT>

<TT> A.7.3 Specify block terminals </TT>

<TT> <A NAME="specify_input_terminal_descriptor" HREF="#Rspecify_input_terminal_descriptor">specify_input_terminal_descriptor</A> ::= </TT>

<TT> <A NAME="Rinput_identifier" HREF="#input_identifier">input_identifier</A> </TT>

<TT> | input_identifier [ constant_expression ] </TT>

<TT> | input_identifier [ range_expression ] </TT>

<TT><A NAME="specify_output_terminal_descriptor" HREF="#Rspecify_output_terminal_descriptor">specify_output_terminal_descriptor</A> ::= </TT>

<TT> <A NAME="Routput_identifier" HREF="#output_identifier">output_identifier</A> </TT>

<TT> | output_identifier [ constant_expression ] </TT>

<TT> | output_identifier [ range_expression ] </TT>

<TT><A NAME="input_identifier" HREF="#Rinput_identifier">input_identifier</A> ::= input_port_identifier | <A NAME="Rinout_port_identifier" HREF="#inout_port_identifier">inout_port_identifier</A> </TT>

<TT><A NAME="output_identifier" HREF="#Routput_identifier">output_identifier</A> ::= output_port_identifier | inout_port_identifier </TT>

<TT> A.7.4 Specify path delays </TT>

<TT> <A NAME="path_delay_value" HREF="#Rpath_delay_value">path_delay_value</A> ::= </TT>

<TT> <A NAME="Rlist_of_path_delay_expressions" HREF="#list_of_path_delay_expressions">list_of_path_delay_expressions</A> </TT>

<TT> | ( list_of_path_delay_expressions ) </TT>

<TT><A NAME="list_of_path_delay_expressions" HREF="#Rlist_of_path_delay_expressions">list_of_path_delay_expressions</A> ::= </TT>

<TT> <A NAME="Rt_path_delay_expression" HREF="#t_path_delay_expression">t_path_delay_expression</A> </TT>

<TT> | <A NAME="Rtrise_path_delay_expression" HREF="#trise_path_delay_expression">trise_path_delay_expression</A> , <A NAME="Rtfall_path_delay_expression" HREF="#tfall_path_delay_expression">tfall_path_delay_expression</A> </TT>

<TT> | trise_path_delay_expression , tfall_path_delay_expression , </TT>

<TT> <A NAME="Rtz_path_delay_expression" HREF="#tz_path_delay_expression">tz_path_delay_expression</A> </TT>

<TT> | <A NAME="Rt01_path_delay_expression" HREF="#t01_path_delay_expression">t01_path_delay_expression</A> , <A NAME="Rt10_path_delay_expression" HREF="#t10_path_delay_expression">t10_path_delay_expression</A> , </TT>

<TT> <A NAME="Rt0z_path_delay_expression" HREF="#t0z_path_delay_expression">t0z_path_delay_expression</A> , </TT>

<TT> <A NAME="Rtz1_path_delay_expression" HREF="#tz1_path_delay_expression">tz1_path_delay_expression</A> , <A NAME="Rt1z_path_delay_expression" HREF="#t1z_path_delay_expression">t1z_path_delay_expression</A> , </TT>

<TT> <A NAME="Rtz0_path_delay_expression" HREF="#tz0_path_delay_expression">tz0_path_delay_expression</A> </TT>

<TT> | t01_path_delay_expression , t10_path_delay_expression , </TT>

<TT> t0z_path_delay_expression , </TT>

<TT> tz1_path_delay_expression , t1z_path_delay_expression , </TT>

<TT> tz0_path_delay_expression </TT>

<TT> <A NAME="Rt0x_path_delay_expression" HREF="#t0x_path_delay_expression">t0x_path_delay_expression</A> , <A NAME="Rtx1_path_delay_expression" HREF="#tx1_path_delay_expression">tx1_path_delay_expression</A> , </TT>

<TT> <A NAME="Rt1x_path_delay_expression" HREF="#t1x_path_delay_expression">t1x_path_delay_expression</A> , </TT>

<TT> <A NAME="Rtx0_path_delay_expression" HREF="#tx0_path_delay_expression">tx0_path_delay_expression</A> , <A NAME="Rtxz_path_delay_expression" HREF="#txz_path_delay_expression">txz_path_delay_expression</A> , </TT>

<TT> <A NAME="Rtzx_path_delay_expression" HREF="#tzx_path_delay_expression">tzx_path_delay_expression</A> </TT>

<TT><A NAME="t_path_delay_expression" HREF="#Rt_path_delay_expression">t_path_delay_expression</A> ::= <A NAME="Rpath_delay_expression" HREF="#path_delay_expression">path_delay_expression</A> </TT>

<TT><A NAME="trise_path_delay_expression" HREF="#Rtrise_path_delay_expression">trise_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="tfall_path_delay_expression" HREF="#Rtfall_path_delay_expression">tfall_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="tz_path_delay_expression" HREF="#Rtz_path_delay_expression">tz_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="t01_path_delay_expression" HREF="#Rt01_path_delay_expression">t01_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="t10_path_delay_expression" HREF="#Rt10_path_delay_expression">t10_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="t0z_path_delay_expression" HREF="#Rt0z_path_delay_expression">t0z_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="tz1_path_delay_expression" HREF="#Rtz1_path_delay_expression">tz1_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="t1z_path_delay_expression" HREF="#Rt1z_path_delay_expression">t1z_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="tz0_path_delay_expression" HREF="#Rtz0_path_delay_expression">tz0_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="t0x_path_delay_expression" HREF="#Rt0x_path_delay_expression">t0x_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="tx1_path_delay_expression" HREF="#Rtx1_path_delay_expression">tx1_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="t1x_path_delay_expression" HREF="#Rt1x_path_delay_expression">t1x_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="tx0_path_delay_expression" HREF="#Rtx0_path_delay_expression">tx0_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="txz_path_delay_expression" HREF="#Rtxz_path_delay_expression">txz_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="tzx_path_delay_expression" HREF="#Rtzx_path_delay_expression">tzx_path_delay_expression</A> ::= path_delay_expression </TT>

<TT><A NAME="path_delay_expression" HREF="#Rpath_delay_expression">path_delay_expression</A> ::= constant_mintypmax_expression </TT>

<TT><A NAME="edge_sensitive_path_declaration" HREF="#Redge_sensitive_path_declaration">edge_sensitive_path_declaration</A> ::= </TT>

<TT> <A NAME="Rparallel_edge_sensitive_path_description" HREF="#parallel_edge_sensitive_path_description">parallel_edge_sensitive_path_description</A> = path_delay_value </TT>

<TT> | <A NAME="Rfull_edge_sensitive_path_description" HREF="#full_edge_sensitive_path_description">full_edge_sensitive_path_description</A> = path_delay_value </TT>

<TT><A NAME="parallel_edge_sensitive_path_description" HREF="#Rparallel_edge_sensitive_path_description">parallel_edge_sensitive_path_description</A> ::= </TT>

<TT> ( [ <A NAME="Redge_identifier" HREF="#edge_identifier">edge_identifier</A> ] specify_input_terminal_descriptor => </TT>

<TT> specify_output_terminal_descriptor [ polarity_operator ] : </TT>

<TT> <A NAME="Rdata_source_expression" HREF="#data_source_expression">data_source_expression</A> ) </TT>

<TT><A NAME="full_edge_sensitive_path_description" HREF="#Rfull_edge_sensitive_path_description">full_edge_sensitive_path_description</A> ::= </TT>

<TT> ( [ edge_identifier ] list_of_path_inputs *> </TT>

<TT> list_of_path_outputs [ polarity_operator ] : data_source_expression ) </TT>

<TT><A NAME="data_source_expression" HREF="#Rdata_source_expression">data_source_expression</A> ::= expression </TT>

<TT><A NAME="edge_identifier" HREF="#Redge_identifier">edge_identifier</A> ::= posedge | negedge </TT>

<TT><A NAME="state_dependent_path_declaration" HREF="#Rstate_dependent_path_declaration">state_dependent_path_declaration</A> ::= </TT>

<TT> if ( <A NAME="Rmodule_path_expression" HREF="#module_path_expression">module_path_expression</A> ) simple_path_declaration </TT>

<TT> | if ( module_path_expression ) edge_sensitive_path_declaration </TT>

<TT> | ifnone simple_path_declaration </TT>

<TT><A NAME="polarity_operator" HREF="#Rpolarity_operator">polarity_operator</A> ::= + | - </TT>

<TT> A.7.5 System timing checks </TT>

<TT> A.7.5.1 System timing check commands </TT>

<TT> <A NAME="system_timing_check" HREF="#Rsystem_timing_check">system_timing_check</A> ::= </TT>

<TT> $<A NAME="Rsetup_timing_check" HREF="#setup_timing_check">setup_timing_check</A> </TT>

<TT> | $hold <A NAME="R_timing_check" HREF="#_timing_check">_timing_check</A> </TT>

<TT> | $<A NAME="Rsetuphold_timing_check" HREF="#setuphold_timing_check">setuphold_timing_check</A> </TT>

<TT> | $<A NAME="Rrecovery_timing_check" HREF="#recovery_timing_check">recovery_timing_check</A> </TT>

<TT> | $<A NAME="Rremoval_timing_check" HREF="#removal_timing_check">removal_timing_check</A> </TT>

<TT> | $<A NAME="Rrecrem_timing_check" HREF="#recrem_timing_check">recrem_timing_check</A> </TT>

<TT> | $<A NAME="Rskew_timing_check" HREF="#skew_timing_check">skew_timing_check</A> </TT>

<TT> | $<A NAME="Rtimeskew_timing_check" HREF="#timeskew_timing_check">timeskew_timing_check</A> </TT>

<TT> | $<A NAME="Rfullskew_timing_check" HREF="#fullskew_timing_check">fullskew_timing_check</A> </TT>

<TT> | $<A NAME="Rperiod_timing_check" HREF="#period_timing_check">period_timing_check</A> </TT>

<TT> | $<A NAME="Rwidth_timing_check" HREF="#width_timing_check">width_timing_check</A> </TT>

<TT> | $<A NAME="Rnochange_timing_check" HREF="#nochange_timing_check">nochange_timing_check</A> </TT>

<TT>$<A NAME="setup_timing_check" HREF="#Rsetup_timing_check">setup_timing_check</A> ::= </TT>

<TT> $setup ( <A NAME="Rdata_event" HREF="#data_event">data_event</A> , <A NAME="Rreference_event" HREF="#reference_event">reference_event</A> , <A NAME="Rtiming_check_limit" HREF="#timing_check_limit">timing_check_limit</A> [ , [ <A NAME="Rnotify_reg" HREF="#notify_reg">notify_reg</A>] ] ) ; </TT>

<TT>$hold <A NAME="_timing_check" HREF="#R_timing_check">_timing_check</A> ::= </TT>

<TT> $hold ( reference_event , data_event , timing_check_limit [ , [ notify_reg ] ] ) ; </TT>

<TT>$<A NAME="setuphold_timing_check" HREF="#Rsetuphold_timing_check">setuphold_timing_check</A> ::= </TT>

<TT> $setuphold ( reference_event , data_event , timing_check_limit , </TT>

<TT> timing_check_limit </TT>

<TT> [ , [ notify_reg ] [ , [ <A NAME="Rstamptime_condition" HREF="#stamptime_condition">stamptime_condition</A> ] [ , [ <A NAME="Rchecktime_condition" HREF="#checktime_condition">checktime_condition</A> ] </TT>

<TT> [ , [ <A NAME="Rdelayed_reference" HREF="#delayed_reference">delayed_reference</A> ] [ , [ <A NAME="Rdelayed_data" HREF="#delayed_data">delayed_data</A> ] ] ] ] ] ] ) ; </TT>

<TT>$<A NAME="recovery_timing_check" HREF="#Rrecovery_timing_check">recovery_timing_check</A> ::= </TT>

<TT> $recovery ( reference_event , data_event , timing_check_limit [ , [ </TT>

<TT> notify_reg ] ] ) ; </TT>

<TT>$<A NAME="removal_timing_check" HREF="#Rremoval_timing_check">removal_timing_check</A> ::= </TT>

<TT> $removal ( reference_event , data_event , timing_check_limit [ , [ </TT>

<TT> notify_reg ] ] ) ; </TT>

<TT>$<A NAME="recrem_timing_check" HREF="#Rrecrem_timing_check">recrem_timing_check</A> ::= </TT>

<TT> $recrem ( reference_event , data_event , timing_check_limit , </TT>

<TT> timing_check_limit </TT>

<TT> [ , [ notify_reg ] [ , [ stamptime_condition ] [ , [ checktime_condition ] </TT>

<TT> [ , [ delayed_reference ] [ , [ delayed_data ] ] ] ] ] ] ) ; </TT>

<TT>$<A NAME="skew_timing_check" HREF="#Rskew_timing_check">skew_timing_check</A> ::= </TT>

<TT> $skew ( reference_event , data_event , timing_check_limit [ , [ notify_reg ] ] ) ; </TT>

<TT>$<A NAME="timeskew_timing_check" HREF="#Rtimeskew_timing_check">timeskew_timing_check</A> ::= </TT>

<TT> $timeskew ( reference_event , data_event , timing_check_limit </TT>

<TT> [ , [ notify_reg ] [ , [ <A NAME="Revent_based_flag" HREF="#event_based_flag">event_based_flag</A> ] [ , [ <A NAME="Rremain_active_flag" HREF="#remain_active_flag">remain_active_flag</A> ] ] ] ] ) ; </TT>

<TT>$<A NAME="fullskew_timing_check" HREF="#Rfullskew_timing_check">fullskew_timing_check</A> ::= </TT>

<TT> $fullskew ( reference_event , data_event , timing_check_limit , </TT>

<TT> timing_check_limit </TT>

<TT> [ , [ notify_reg ] [ , [ event_based_flag ] [ , [ remain_active_flag ] ] ] ] ) ; </TT>

<TT>$<A NAME="period_timing_check" HREF="#Rperiod_timing_check">period_timing_check</A> ::= </TT>

<TT> $period ( <A NAME="Rcontrolled_reference_event" HREF="#controlled_reference_event">controlled_reference_event</A> , timing_check_limit [ , [ notify_reg ] ] ) ; </TT>

<TT>$<A NAME="width_timing_check" HREF="#Rwidth_timing_check">width_timing_check</A> ::= </TT>

<TT> $width ( controlled_reference_event , timing_check_limit , </TT>

<TT> <A NAME="Rthreshold" HREF="#threshold">threshold</A> [ , [ notify_reg ] ] ) ; </TT>

<TT>$<A NAME="nochange_timing_check" HREF="#Rnochange_timing_check">nochange_timing_check</A> ::= </TT>

<TT> $nochange ( reference_event , data_event , <A NAME="Rstart_edge_offset" HREF="#start_edge_offset">start_edge_offset</A> , </TT>

<TT> <A NAME="Rend_edge_offset" HREF="#end_edge_offset">end_edge_offset</A> [ , [ notify_reg ] ] ) ; </TT>

<TT> A.7.5.2 System timing check command arguments </TT>

<TT> <A NAME="checktime_condition" HREF="#Rchecktime_condition">checktime_condition</A> ::= mintypmax_expression </TT>

<TT><A NAME="controlled_reference_event" HREF="#Rcontrolled_reference_event">controlled_reference_event</A> ::= <A NAME="Rcontrolled_timing_check_event" HREF="#controlled_timing_check_event">controlled_timing_check_event</A> </TT>

<TT><A NAME="data_event" HREF="#Rdata_event">data_event</A> ::= <A NAME="Rtiming_check_event" HREF="#timing_check_event">timing_check_event</A> </TT>

<TT><A NAME="delayed_data" HREF="#Rdelayed_data">delayed_data</A> ::= </TT>

<TT> <A NAME="Rterminal_identifier" HREF="#terminal_identifier">terminal_identifier</A> </TT>

<TT> | terminal_identifier [ constant_mintypmax_expression ] </TT>

<TT><A NAME="delayed_reference" HREF="#Rdelayed_reference">delayed_reference</A> ::= </TT>

<TT> terminal_identifier </TT>

<TT> | terminal_identifier [ constant_mintypmax_expression ] </TT>

<TT><A NAME="end_edge_offset" HREF="#Rend_edge_offset">end_edge_offset</A> ::= mintypmax_expression </TT>

<TT><A NAME="event_based_flag" HREF="#Revent_based_flag">event_based_flag</A> ::= constant_expression </TT>

<TT><A NAME="notify_reg" HREF="#Rnotify_reg">notify_reg</A> ::= variable_identifier </TT>

<TT><A NAME="reference_event" HREF="#Rreference_event">reference_event</A> ::= timing_check_event </TT>

<TT><A NAME="remain_active_flag" HREF="#Rremain_active_flag">remain_active_flag</A> ::= constant_mintypmax_expression </TT>

<TT><A NAME="stamptime_condition" HREF="#Rstamptime_condition">stamptime_condition</A> ::= mintypmax_expression </TT>

<TT><A NAME="start_edge_offset" HREF="#Rstart_edge_offset">start_edge_offset</A> ::= mintypmax_expression </TT>

<TT><A NAME="threshold" HREF="#Rthreshold">threshold</A> ::=constant_expression </TT>

<TT><A NAME="timing_check_limit" HREF="#Rtiming_check_limit">timing_check_limit</A> ::= expression </TT>

<TT> A.7.5.3 System timing check event definitions </TT>

<TT> <A NAME="timing_check_event" HREF="#Rtiming_check_event">timing_check_event</A> ::= </TT>

<TT> [<A NAME="Rtiming_check_event_control" HREF="#timing_check_event_control">timing_check_event_control</A>] <A NAME="Rspecify_terminal_descriptor" HREF="#specify_terminal_descriptor">specify_terminal_descriptor</A> [ &&& </TT>

<TT> <A NAME="Rtiming_check_condition" HREF="#timing_check_condition">timing_check_condition</A> ] </TT>

<TT><A NAME="controlled_timing_check_event" HREF="#Rcontrolled_timing_check_event">controlled_timing_check_event</A> ::= </TT>

<TT> timing_check_event_control specify_terminal_descriptor [ &&& </TT>

<TT> timing_check_condition ] </TT>

<TT><A NAME="timing_check_event_control" HREF="#Rtiming_check_event_control">timing_check_event_control</A> ::= </TT>

<TT> posedge </TT>

<TT> | negedge </TT>

<TT> | <A NAME="Redge_control_specifier" HREF="#edge_control_specifier">edge_control_specifier</A> </TT>

<TT><A NAME="specify_terminal_descriptor" HREF="#Rspecify_terminal_descriptor">specify_terminal_descriptor</A> ::= </TT>

<TT> specify_input_terminal_descriptor </TT>

<TT> | specify_output_terminal_descriptor </TT>

<TT><A NAME="edge_control_specifier" HREF="#Redge_control_specifier">edge_control_specifier</A> ::= edge [ edge_descriptor [ , edge_descriptor ] ] </TT>

<TT> edge_descriptor 1 ::= </TT>

<TT><A NAME="timing_check_condition" HREF="#Rtiming_check_condition">timing_check_condition</A> ::= </TT>

<TT> <A NAME="Rscalar_timing_check_condition" HREF="#scalar_timing_check_condition">scalar_timing_check_condition</A> </TT>

<TT> | ( scalar_timing_check_condition ) </TT>

<TT><A NAME="scalar_timing_check_condition" HREF="#Rscalar_timing_check_condition">scalar_timing_check_condition</A> ::= </TT>

<TT> expression </TT>

<TT> | ~ expression </TT>

<TT> | expression == <A NAME="Rscalar_constant" HREF="#scalar_constant">scalar_constant</A> </TT>

<TT> | expression === scalar_constant </TT>

<TT> | expression != scalar_constant </TT>

<TT> | expression !== scalar_constant </TT>

<TT><A NAME="scalar_constant" HREF="#Rscalar_constant">scalar_constant</A> ::= </TT>

<TT> A.8 Expressions </TT>

<TT> A.8.1 Concatenations </TT>

<TT> <A NAME="concatenation" HREF="#Rconcatenation">concatenation</A> ::= { expression { , expression } } </TT>

<TT><A NAME="constant_concatenation" HREF="#Rconstant_concatenation">constant_concatenation</A> ::= { constant_expression { , constant_expression } } </TT>

<TT><A NAME="constant_multiple_concatenation" HREF="#Rconstant_multiple_concatenation">constant_multiple_concatenation</A> ::= { constant_expression </TT>

<TT> constant_concatenation } </TT>

<TT><A NAME="module_path_concatenation" HREF="#Rmodule_path_concatenation">module_path_concatenation</A> ::= { module_path_expression { , </TT>

<TT> module_path_expression } } </TT>

<TT><A NAME="module_path_multiple_concatenation" HREF="#Rmodule_path_multiple_concatenation">module_path_multiple_concatenation</A> ::= { constant_expression </TT>

<TT> module_path_concatenation } </TT>

<TT><A NAME="multiple_concatenation" HREF="#Rmultiple_concatenation">multiple_concatenation</A> ::= { constant_expression concatenation } </TT>

<TT><A NAME="net_concatenation" HREF="#Rnet_concatenation">net_concatenation</A> ::= { <A NAME="Rnet_concatenation_value" HREF="#net_concatenation_value">net_concatenation_value</A> { , net_concatenation_value } } </TT>

<TT><A NAME="net_concatenation_value" HREF="#Rnet_concatenation_value">net_concatenation_value</A> ::= </TT>

<TT> <A NAME="Rhierarchical_net_identifier" HREF="#hierarchical_net_identifier">hierarchical_net_identifier</A> </TT>

<TT> | hierarchical_net_identifier [ expression ] { [ expression ] } </TT>

<TT> | hierarchical_net_identifier [ expression ] { [ expression ] } [ </TT>

<TT> range_expression ] </TT>

<TT> | hierarchical_net_identifier [ range_expression ] </TT>

<TT> | net_concatenation </TT>

<TT><A NAME="variable_concatenation" HREF="#Rvariable_concatenation">variable_concatenation</A> ::= { <A NAME="Rvariable_concatenation_value" HREF="#variable_concatenation_value">variable_concatenation_value</A> { , </TT>

<TT> variable_concatenation_value } } </TT>

<TT><A NAME="variable_concatenation_value" HREF="#Rvariable_concatenation_value">variable_concatenation_value</A> ::= </TT>

<TT> <A NAME="Rhierarchical_variable_identifier" HREF="#hierarchical_variable_identifier">hierarchical_variable_identifier</A> </TT&