(no subject)

From: Cliff Cummings (cliffc@sunburst)
Date: Mon Apr 13 1998 - 09:12:25 PDT

Next message: Cliff Cummings: "(no subject)"
Previous message: Cliff Cummings: "(no subject)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

BAD MSG:
<HTML>
HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="GENERATOR" CONTENT="Mozilla/4.04 [en] (X11; I; SunOS 5.5.1 sun4m) [Netscape]">
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000">
 <TT>A.1 Source text </TT>
 <TT> </TT>
 <TT>source_text ::= { description } </TT>
 <TT>description ::= </TT>
 <TT> module_declaration </TT>
 <TT> | udp_declaration </TT>
 <TT>module_declaration ::= </TT>
 <TT> module_keyword module_identifier [ list_of_ports ] ; { module_item } endmodule </TT>
 <TT>module_keyword ::= module | macromodule </TT>
 <TT>list_of_ports ::= ( port { , port } ) </TT>
 <TT>port ::= </TT>
 <TT> [ port_expression ] </TT>
 <TT> | . port_identifier ( [ port_expression ] ) </TT>
 <TT>port_expression ::= </TT>
 <TT> port_reference </TT>
 <TT> | { port_reference { , port_reference } } </TT>
 <TT>port_reference ::= </TT>
 <TT> port_identifier </TT>
 <TT> | port_identifier [ constant_expression ] </TT>
 <TT> | port_identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>1995>module_item ::= </TT>
 <TT>1995> module_item_declaration </TT>
 <TT>1995> | parameter_override </TT>
 <TT>1995> | continuous_assign </TT>
 <TT>1995> | gate_instantiation </TT>
 <TT>1995> | udp_instantiation </TT>
 <TT>1995> | module_instantiation </TT>
 <TT>1995> | specify_block </TT>
 <TT>1995> | initial_construct </TT>
 <TT>1995> | always_construct </TT>
 <TT>1998 B01>module_item ::= </TT>
 <TT>1998 B01> ungeneratable_module_item_declaration </TT>
 <TT>1998 B01> | non_generated_module_item </TT>
 <TT>1998 B01> | generated_instantiation </TT>
 <TT>1998 B01> | specify_block </TT>
 <TT>1998 B01>ungeneratable_module_item_declaration ::= </TT>
 <TT>1998 B01> parameter_declaration </TT>
 <TT>1998 B01> | local_parameter_declaration </TT>
 <TT>1998 B01> | input_declaration </TT>
 <TT>1998 B01> | output_declaration </TT>
 <TT>1998 B01> | inout_declaration </TT>
 <TT>1998 B01>non_generated_module_item ::= </TT>
 <TT>1998 B01> generatable_module_item_declaration </TT>
 <TT>1998 B01> | parameter_override </TT>
 <TT>1998 B01> | continuous_assign </TT>
 <TT>1998 B01> | gate_instantiation </TT>
 <TT>1998 B01> | udp_instantiation </TT>
 <TT>1998 B01> | module_instantiation </TT>
 <TT>1998 B01> | initial_construct </TT>
 <TT>1998 B01> | always_construct </TT>
 <TT>1998 B01>generatable_module_item_declaration ::= </TT>
 <TT>1998 B01> net_declaration </TT>
 <TT>1998 B01> | reg_declaration </TT>
 <TT>1998 B01> | integer_declaration </TT>
 <TT>1998 B01> | real_declaration </TT>
 <TT>1998 B01> | time_declaration </TT>
 <TT>1998 B01> | realtime_declaration </TT>
 <TT>1998 B01> | event_declaration </TT>
 <TT>1998 B01> | task_declaration </TT>
 <TT>1998 B01> | function_declaration </TT>
 <TT>module_item_declaration ::= </TT>
 <TT> parameter_declaration </TT>
 <TT>1998 B??> | local_parameter_declaration </TT>
 <TT> | input_declaration </TT>
 <TT> | output_declaration </TT>
 <TT> | inout_declaration </TT>
 <TT> | net_declaration </TT>
 <TT> | reg_declaration </TT>
 <TT> | integer_declaration </TT>
 <TT> | real_declaration </TT>
 <TT> | time_declaration </TT>
 <TT> | realtime_declaration </TT>
 <TT> | event_declaration </TT>
 <TT> | task_declaration </TT>
 <TT> | function_declaration </TT>
 <TT>parameter_override ::= defparam list_of_param_assignments ; </TT>
 <TT> </TT>
 <TT>A.2 Declarations </TT>
 <TT> </TT>
 <TT>1995>parameter_declaration ::= parameter list_of_param_assignments ; </TT>
 <TT>1998 BE??>parameter_declaration ::= parameter [ range ] list_of_param_assignments ; </TT>
 <TT>list_of_param_assignments ::= param_assignment { , param_assignment } </TT>
 <TT>1998 B??>local_parameter_declaration ::= localparam list_of_local_param_assignments ; </TT>
 <TT>1998 B??>list_of_local_param_assignments ::= param_assignment { , param_assignment } </TT>
 <TT>param_assignment ::= parameter_identifier = constant_expression </TT>
 <TT>1995>input_declaration ::= input [ range ] list_of_port_identifiers ; </TT>
 <TT>1995>output_declaration ::= output [ range ] list_of_port_identifiers ; </TT>
 <TT>1995>inout_declaration ::= inout [ range ] list_of_port_identifiers ; </TT>
 <TT>1998 B19/B09/B14>input_declaration ::= input [ signed ] [ net_type ] [ range ] list_of_port_identifiers ; </TT>
 <TT>1998 B19/B09/B14>output_declaration ::= </TT>
 <TT>1998 B19/B09/B14> output [ signed ] [ net_type ] [ range ] list_of_port_identifiers ; </TT>
 <TT>1998 B19/B09/B14> | output [ signed ] [ reg_type ] [ range ] list_of_reg_port_identifiers ; </TT>
 <TT>1998 B19/B09/B14>inout_declaration ::= inout [ signed ] [ net_type ] [ range ] list_of_port_identifiers ; </TT>
 <TT>list_of_port_identifiers ::= port_identifier { , port_identifier } </TT>
 <TT>1998 B14>list_of_reg_port_identifiers ::= port_identifier [ = constant_expression ] { , port_identifier [ = constant_expression ] } </TT>
 <TT>1995>reg_declaration ::= reg [ range ] list_of_register_identifiers ; </TT>
 <TT>1995>event_declaration ::= event event_identifier { , event_identifier } ; </TT>
 <TT>1995>list_of_real_identifiers ::= real_identifier { , real_identifier } </TT>
 <TT>1995>list_of_register_identifiers ::= register_name { , register_name } </TT>
 <TT>1995>register_name ::= </TT>
 <TT>1995> register_identifier </TT>
 <TT>1995> | memory_identifier [ upper_limit_constant_expression : lower_limit_constant_expression ] </TT>
 <TT>1995>range ::= [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>1995>list_of_net_identifiers ::= net_identifier { , net_identifier } </TT>
 <TT> (Question - were multi-dimensional tasks and functions also going to be permitted??? - </TT>
 <TT> NO?! - breaks assignment rule) </TT>
 <TT> (If this BNF is correct for multidimensional arrays, this will also be added to automatic tasks, etc.) </TT>
 <TT>1998 B02/BE??>reg_declaration ::= reg [ signed | unsigned ] [ range ] list_of_regmem_identifiers ; </TT>
 <TT>1998 B02>event_declaration ::= event list_of_event_identifiers ; </TT>
 <TT>1998 B02>list_of_regmem_identifiers ::= register_name | memory_name { , register_name | memory_name } </TT>
 <TT>1998 B02>list_of_register_identifiers ::= register_name { , register_name } </TT>
 <TT>1998 B02/BE??>memory_name ::= memory_identifier [ upper_limit_constant_expression : lower_limit_constant_expression ] </TT>
 <TT>1998 B02>register_name ::= register_identifier [ dimension { , dimension }] </TT>
 <TT>1998 B02>list_of_real_identifiers ::= real_identifier [ dimension { , dimension }] { , real_identifier [ dimension { , dimension }] } </TT>
 <TT>1998 B02>list_of_event_identifiers ::= event_identifier [ dimension { , dimension }] { , event_identifier [ dimension { , dimension }] } </TT>
 <TT>1998 B02>range ::= [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>1998 B02>dimension ::= [ dimension_constant_expression : dimension_constant_expression ] </TT>
 <TT>1998 B02>list_of_net_identifiers ::= net_identifier [ dimension { , dimension }] { , net_identifier [ dimension { , dimension }] } </TT>
 <TT>time_declaration ::= time list_of_register_identifiers ; </TT>
 <TT>integer_declaration ::= integer list_of_register_identifiers ; </TT>
 <TT>real_declaration ::= real list_of_real_identifiers ; </TT>
 <TT>realtime_declaration ::= realtime list_of_real_identifiers ; </TT>
 <TT>1995>net_declaration ::= </TT>
 <TT>1995> net_type [ vectored | scalared ] [ range ] [ delay3 ] list_of_net_identifiers ; </TT>
 <TT>1995> | trireg [ vectored | scalared ] [ charge_strength ] [ range ] [ delay3 ] </TT>
 <TT>1995> list_of_net_identifiers ; </TT>
 <TT>1995> | net_type [ vectored | scalared ] [ drive_strength ] [ range ] [ delay3 ] </TT>
 <TT>1998 B19>net_declaration ::= </TT>
 <TT>1998 B19> net_type [ vectored | scalared ] [ signed | unsigned ] [ range ] [ delay3 ] list_of_net_identifiers ; </TT>
 <TT>1998 B19> | trireg [ vectored | scalared ] [ signed | unsigned ] [ charge_strength ] [ range ] [ delay3 ] </TT>
 <TT>1998 B19> list_of_net_identifiers ; </TT>
 <TT>1998 B19> | net_type [ vectored | scalared ] [ signed | unsigned ] [ drive_strength ] [ range ] [ delay3 ] </TT>
 <TT> list_of_net_decl_assignments ; </TT>
 <TT>net_type ::= wire | tri | tri1 | supply0 | wand | triand | tri0 | supply1 | wor | trior </TT>
 <TT>drive_strength ::= </TT>
 <TT> ( strength0 , strength1 ) </TT>
 <TT> | ( strength1 , strength0 ) </TT>
 <TT> | ( strength0 , highz1 ) </TT>
 <TT> | ( strength1 , highz0 ) </TT>
 <TT> | ( highz0 , strength1 ) </TT>
 <TT> | ( highz1 , strength0 ) </TT>
 <TT>strength0 ::= supply0 | strong0 | pull0 | weak0 </TT>
 <TT>strength1 ::= supply1 | strong1 | pull1 | weak1 </TT>
 <TT>charge_strength ::= ( small ) | ( medium ) | ( large ) </TT>
 <TT>delay3 ::= # delay_value | # (delay_value [ , delay_value [ , delay_value ] ] ) </TT>
 <TT>delay2 ::= # delay_value | # (delay_value [ , delay_value ] ) </TT>
 <TT>delay_value ::= unsigned_number | parameter_identifier | constant_mintypmax_expression </TT>
 <TT>list_of_net_decl_assignments ::= net_decl_assignment { , net_decl_assignment } </TT>
 <TT>net_decl_assignment ::= net_identifier = expression </TT>
 <TT>function_declaration ::= </TT>
 <TT>1995> function [signed] [ range_or_type ] function_identifier ; </TT>
 <TT>1998 B19> function [signed] [ range_or_type ] function_identifier ; </TT>
 <TT> function_item_declaration { function_item_declaration } </TT>
 <TT> statement </TT>
 <TT> endfunction </TT>
 <TT>1998 B??>reg_type ::= reg | integer | real | realtime | time </TT>
 <TT>range_or_type ::= range | integer | real | realtime | time </TT>
 <TT>function_item_declaration ::= </TT>
 <TT> block_item_declaration </TT>
 <TT> | input_declaration </TT>
 <TT>1998 B04>recursive_function_declaration ::= </TT>
 <TT>1998 B04> function [ automatic ] [ range_or_type ] function_identifier ; </TT>
 <TT>1998 B04> recursive_function_item_declaration { function_item_declaration } </TT>
 <TT>1998 B04> statement </TT>
 <TT>1998 B04> endfunction </TT>
 <TT>1998 B04>range_or_type ::= range | integer | real | realtime | time </TT>
 <TT>1998 B04>recursive_function_item_declaration ::= </TT>
 <TT>1998 B04> automatic_block_item_declaration </TT>
 <TT>1998 B04> | automatic_input_declaration </TT>
 <TT>task_declaration ::= </TT>
 <TT> task task_identifier ; </TT>
 <TT> { task_item_declaration } </TT>
 <TT>1995> statement_or_null </TT>
 <TT>1998 BE??> statement </TT>
 <TT> endtask </TT>
 <TT>1998 B08>combinational_task_declaration ::= </TT>
 <TT>1998 B08> task combinational_task_identifier ; </TT>
 <TT>1998 B08> { task_item_declaration } </TT>
 <TT>1998 B08> combinational_statement </TT>
 <TT>1998 B08> endtask </TT>
 <TT>1995>>task_argument_declaration ::= </TT>
 <TT>1998 BE??>task_item_declaration ::= </TT>
 <TT> block_item_declaration </TT>
 <TT>1998 BE??> | input_declaration </TT>
 <TT> | output_declaration </TT>
 <TT> | inout_declaration </TT>
 <TT>block_item_declaration ::= </TT>
 <TT> parameter_declaration </TT>
 <TT>1998 BE??> | local_parameter_declaration </TT>
 <TT> | reg_declaration </TT>
 <TT> | integer_declaration </TT>
 <TT> | real_declaration </TT>
 <TT> | time_declaration </TT>
 <TT> | realtime_declaration </TT>
 <TT> | event_declaration </TT>
 <TT>1998 B04>recursive_reentrant_task_declaration ::= </TT>
 <TT>1998 B04> task [ automatic ] task_identifier ; </TT>
 <TT>1998 B04> { recursive_reentrant_task_item_declaration } </TT>
 <TT>1998 B04> statement </TT>
 <TT>1998 B04> endtask </TT>
 <TT>1998 B04>recursive_reentrant_task_item_declaration ::= </TT>
 <TT>1998 B04> automatic_block_item_declaration </TT>
 <TT>1998 B04> | automatic_input_declaration </TT>
 <TT>1998 B04> | automatic_output_declaration </TT>
 <TT>1998 B04> | automatic_inout_declaration </TT>
 <TT>1998 B04>automatic_block_item_declaration ::= </TT>
 <TT>1998 B04> parameter_declaration </TT>
 <TT>1998 B04> | local_parameter_declaration </TT>
 <TT>1998 B04> | automatic_reg_declaration </TT>
 <TT>1998 B04> | automatic_integer_declaration </TT>
 <TT>1998 B04> | automatic_time_declaration </TT>
 <TT>1998 B04> | automatic_real_declaration </TT>
 <TT>1998 B04> | automatic_realtime_declaration </TT>
 <TT>1998 B04> | automatic_event_declaration </TT>
 <TT>1998 B04/B19>automatic_input_declaration ::= input [ automatic ] [ signed ] list_of_port_identifiers ; </TT>
 <TT>1998 B04/B19>automatic_output_declaration ::= output [ automatic ] [ signed ] list_of_port_identifiers ; </TT>
 <TT>1998 B04/B19>automatic_inout_declaration ::= inout [ automatic ] [ signed ] list_of_port_identifiers ; </TT>
 <TT>1998 B04/B19>automatic_reg_declaration ::= reg [ automatic ] [ signed | unsigned ] [range] list_of_regmem_identifiers ; </TT>
 <TT>1998 B04>automatic_integer_declaration ::= integer [ automatic ] list_of_register_identifiers ; </TT>
 <TT>1998 B04>automatic_time_declaration ::= time [ automatic ] list_of_register_identifiers ; </TT>
 <TT>1998 B04>automatic_real_declaration ::= real [ automatic ] list_of_real_identifiers ; </TT>
 <TT>1998 B04>automatic_realtime_declaration ::= realtime [ automatic ] list_of_real_identifiers ; </TT>
 <TT>1998 B04>automatic_event_declaration ::= event [ automatic ] list_of_event_identifiers ; </TT>
 <TT> </TT>
 <TT>A.3 Primitive instances </TT>
 <TT> </TT>
 <TT>gate_instantiation ::= </TT>
 <TT> n_input_gatetype [drive_strength] [delay2] n_input_gate_instance { , n_input_gate_instance } ; </TT>
 <TT> | n_output_gatetype [drive_strength] [delay2] n_output_gate_instance { , n_output_gate_instance } ; </TT>
 <TT> | enable_gatetype [drive_strength] [delay3] enable_gate_instance { , enable_gate_instance } ; </TT>
 <TT> | mos_switchtype [delay3] mos_switch_instance { , mos_switch_instance } ; </TT>
 <TT> | pass_switchtype pass_switch_instance { , pass_switch_instance } ; </TT>
 <TT>1995> | pass_en_switchtype [delay3] pass_en_switch_instance { , pass_en_switch_instance } ; </TT>
 <TT>1998 BE??> | pass_en_switchtype [delay2] pass_enable_switch_instance { , pass_en_switch_instance } ; </TT>
 <TT> | cmos_switchtype [delay3] cmos_switch_instance { , cmos_switch_instance } ; </TT>
 <TT> | pullup [pullup_strength] pull_gate_instance { , pull_gate_instance } ; </TT>
 <TT> | pulldown [pulldown_strength] pull_gate_instance { , pull_gate_instance } ; </TT>
 <TT>n_input_gate_instance ::= [name_of_gate_instance] ( output_terminal , input_terminal { , input_terminal } ) </TT>
 <TT>n_output_gate_instance ::= [name_of_gate_instance] ( output_terminal , { output_terminal } , input_terminal ) </TT>
 <TT>enable_gate_instance ::= [name_of_gate_instance] ( output_terminal , input_terminal , enable_terminal ) </TT>
 <TT>mos_switch_instance ::= [name_of_gate_instance] ( output_terminal , input_terminal , enable_terminal ) </TT>
 <TT>pass_switch_instance ::= [name_of_gate_instance] ( inout_terminal , inout_terminal ) </TT>
 <TT>pass_enable_switch_instance ::= [name_of_gate_instance] ( inout_terminal , inout_terminal , enable_terminal ) </TT>
 <TT>cmos_switch_instance ::= [name_of_gate_instance] ( output_terminal , input_terminal , </TT>
 <TT> ncontrol_terminal , pcontrol_terminal) </TT>
 <TT>pull_gate_instance ::= [name_of_gate_instance] (output_terminal ) </TT>
 <TT>name_of_gate_instance ::= gate_instance_identifier [range] </TT>
 <TT>pullup_strength ::= </TT>
 <TT> ( strength0 , strength1 ) </TT>
 <TT> | ( strength1 , strength0 ) </TT>
 <TT> | ( strength1 ) </TT>
 <TT>pulldown_strength ::= </TT>
 <TT> ( strength0 , strength1 ) </TT>
 <TT> | ( strength1 , strength0 ) </TT>
 <TT> | ( strength0 ) </TT>
 <TT>input_terminal ::= scalar_expression </TT>
 <TT>enable_terminal ::= scalar_expression </TT>
 <TT>ncontrol_terminal ::= scalar_expression </TT>
 <TT>pcontrol_terminal ::= scalar_expression </TT>
 <TT>output_terminal ::= terminal_identifier | terminal_identifier [ constant_expression ] </TT>
 <TT>inout_terminal ::= terminal_identifier | terminal_identifier [ constant_expression ] </TT>
 <TT>n_input_gatetype ::= and | nand | or | nor | xor | xnor </TT>
 <TT>n_output_gatetype ::= buf | not </TT>
 <TT>enable_gatetype ::= bufif0 | bufif1 | notif0 | notif1 </TT>
 <TT>mos_switchtype ::= nmos | pmos | rnmos | rpmos </TT>
 <TT>pass_switchtype ::= tran | rtran </TT>
 <TT>pass_en_switchtype ::= tranif0 | tranif1 | rtranif1 | rtranif0 </TT>
 <TT>cmos_switchtype ::= cmos | rcmos </TT>
 <TT> </TT>
 <TT> </TT>
 <TT>1995>A.4 Module instantiation </TT>
 <TT> </TT>
 <TT>1998 B01>A.4 Module and generated instantiation </TT>
 <TT> </TT>
 <TT>module_instantiation ::= </TT>
 <TT> module_identifier [ parameter_value_assignment ] module_instance { , module_instance } ; </TT>
 <TT>1995>parameter_value_assignment ::= # ( expression { , expression } ) </TT>
 <TT>1998 B06>parameter_value_assignment ::= # ( list_of_parameter_assignments ) </TT>
 <TT> </TT>
 <TT>1998 B06>list_of_parameter_assignments ::= </TT>
 <TT>1998 B06> ordered_parameter_assignment { , ordered_parameter_assignment } | </TT>
 <TT>1998 B06> named_parameter_assignment { , named_parameter_assignment } </TT>
 <TT>1998 B06>ordered_parameter_assignment ::= expression </TT>
 <TT>1998 B06>named_parameter_assignment ::= . parameter_identifier ( [expression] ) </TT>
 <TT> </TT>
 <TT>module_instance ::= name_of_instance ( [list_of_module_connections] ) </TT>
 <TT>name_of_instance ::= module_instance_identifier [ range ] </TT>
 <TT>list_of_module_connections ::= </TT>
 <TT> ordered_port_connection { , ordered_port_connection } </TT>
 <TT> | named_port_connection { , named_port_connection } </TT>
 <TT>ordered_port_connection ::= [ expression ] </TT>
 <TT>named_port_connection ::= .port_identifier ( [ expression ] ) </TT>
 <TT> </TT>
 <TT>1998 B01>genvar_declaration ::= genvar list_of_genvar_identifiers ; </TT>
 <TT>1998 B01>list_of_genvar_identifiers ::= </TT>
 <TT>1998 B01> genvar_identifier { , genvar_identifier } </TT>
 <TT> </TT>
 <TT>1998 B01>generated_instantiation ::= generate { generate_item } endgenerate </TT>
 <TT>1998 B01>generate_item_or_null ::= generate_item | ; </TT>
 <TT>1998 B01>generate_item ::= </TT>
 <TT>1998 B01> generate_conditional_statement </TT>
 <TT>1998 B01> | generate_case_statement </TT>
 <TT>1998 B01> | generate_loop_statement </TT>
 <TT>1998 B01> | generate_block </TT>
 <TT>1998 B01> | non_generated_module_item </TT>
 <TT>1998 B01>generate_conditional_statement ::= </TT>
 <TT>1998 B01> if ( genvar_expression ) generate_item_or_null [ else generate_item_or_null ] </TT>
 <TT>1998 B01>generate_case_statement ::= case ( genvar_expression ) </TT>
 <TT>1998 B01>genvar_case_item { genvar_case_item } endcase </TT>
 <TT>1998 B01>genvar_case_item ::= genvar_expression { , genvar_expression } : </TT>
 <TT>1998 B01> generate_item_or_null | default [ : ] generate_item_or_null </TT>
 <TT>1998 B01>generate_loop_statement ::= for ( genvar_assignment ; genvar_expression ; genvar_assignment ) generate_item </TT>
 <TT>1998 B01>genvar_assignment ::= genvar_identifier = genvar_expression </TT>
 <TT>1998 B01>generate_block ::= begin [ : generate_block_identifier ] { generate_item } end </TT>
 <TT> </TT>
 <TT>A.5 UDP declaration and instantiation </TT>
 <TT> </TT>
 <TT>udp_declaration ::= </TT>
 <TT> primitive udp_identifier ( udp_port_list ) </TT>
 <TT> udp_port_declaration { udp_port_declaration } </TT>
 <TT> udp_body </TT>
 <TT> endprimitive </TT>
 <TT>udp_port_list ::= output_port_identifier , input_port_identifier { , input_port_identifier } </TT>
 <TT>udp_port_declaration ::= </TT>
 <TT>1995> output_declaration </TT>
 <TT>1995> | input_declaration </TT>
 <TT>1995> | reg_declaration </TT>
 <TT>1998 BE??> udp_output_declaration </TT>
 <TT>1998 BE??> | udp_input_declaration </TT>
 <TT>1998 BE??> | udp_reg_declaration </TT>
 <TT>udp_body ::= combinational_body | sequential_body </TT>
 <TT>combinational_body ::= table combinational_entry { combinational_entry } endtable </TT>
 <TT>combinational_entry ::= level_input_list : output_symbol ; </TT>
 <TT>sequential_body ::= [ udp_initial statement ] table sequential_entry { sequential_entry } endtable </TT>
 <TT>udp_initial statement ::= initial udp_output_port_identifier = init_val ; </TT>
 <TT>init_val ::= 1'b0 | 1'b1 | 1'bx | 1'bX | 1'B0 | 1'B1 | 1'Bx | 1'BX | 1 | 0 </TT>
 <TT>sequential_entry ::= seq_input_list : current_state : next state ; </TT>
 <TT>seq_input_list ::= level_input_list | edge_input_list </TT>
 <TT>level_input_list ::= level_symbol { level_symbol } </TT>
 <TT>edge_input_list ::= { level_symbol } edge_indicator { level_symbol } </TT>
 <TT>edge_indicator ::= ( level_symbol level_symbol ) | edge_symbol </TT>
 <TT>current_state ::= level_symbol </TT>
 <TT>next state ::= output_symbol | - </TT>
 <TT>output_symbol ::= 0 | 1 | x | X </TT>
 <TT>level_symbol ::= 0 | 1 | x | X | ? | b | B </TT>
 <TT>edge_symbol ::= r | R | f | F | p | P | n | N | * </TT>
 <TT> </TT>
 <TT>udp_instantiation ::= udp_identifier [ drive_strength ] [ delay2 ] udp_instance { , udp_instance } ; </TT>
 <TT>udp_instance ::= [ name_of_udp_instance ] ( output_port_connection , input_port_connection </TT>
 <TT> { , input_port_connection } ) </TT>
 <TT>name_of_udp_instance ::= udp_instance_identifier [ range ] </TT>
 <TT> </TT>
 <TT>A.6 Behavioral statements </TT>
 <TT> </TT>
 <TT>continuous_assign ::= assign [drive_strength] [delay3] list_of_net_assignments ; </TT>
 <TT>list_of_net_assignments ::= net_assignment { , net_assignment } </TT>
 <TT>net_assignment ::= net_lvalue = expression </TT>
 <TT> </TT>
 <TT>initial_construct ::= initial statement </TT>
 <TT>always_construct ::= always statement </TT>
 <TT>1998 B08>always_combinational_construct ::= always @* combinational_statement </TT>
 <TT> </TT>
 <TT>statement ::= </TT>
 <TT> blocking_assignment ; </TT>
 <TT>1995> | non_blocking assignment ; </TT>
 <TT>1998 BE41> | non_blocking_assignment ; </TT>
 <TT> | procedural_continuous_assignments ; </TT>
 <TT> | procedural_timing_control_statement </TT>
 <TT> | conditional_statement </TT>
 <TT> | case_statement </TT>
 <TT> | loop_statement </TT>
 <TT> | wait_statement </TT>
 <TT> | disable_statement </TT>
 <TT> | event_trigger </TT>
 <TT> | seq_block </TT>
 <TT> | par_block </TT>
 <TT> | task_enable </TT>
 <TT> | system_task_enable </TT>
 <TT> </TT>
 <TT>statement_or_null ::= statement | ; </TT>
 <TT>1995>blocking assignment ::= reg_lvalue = [ delay_or_event_control ] expression </TT>
 <TT>1995>non-blocking assignment ::= reg_lvalue <= [ delay_or_event_control ] expression </TT>
 <TT>1998 BE41>blocking_assignment ::= reg_lvalue = [ delay_or_event_control ] expression </TT>
 <TT>1998 BE41>non_blocking_assignment ::= reg_lvalue <= [ delay_or_event_control ] expression </TT>
 <TT>procedural_continuous_assignments ::= </TT>
 <TT>1995> | assign reg_assignment ; </TT>
 <TT>1998 BE41> assign reg_assignment ; </TT>
 <TT> | deassign reg_assignment ; </TT>
 <TT> | force reg_assignment ; </TT>
 <TT> | force net_assignment ; </TT>
 <TT> | release reg_lvalue ; </TT>
 <TT> | release net_lvalue ; </TT>
 <TT>procedural_timing_control_statement ::= </TT>
 <TT> delay_or_event_control statement_or_null </TT>
 <TT> </TT>
 <TT>1998 B08>combinational_statement ::= </TT>
 <TT>1998 B08> combinational_blocking_assignment ; </TT>
 <TT>1998 B08> | combinational_non_blocking_assignment ; </TT>
 <TT>1998 B08> | combinational_procedural_timing_control_statement </TT>
 <TT>1998 B08> | combinational_conditional_statement </TT>
 <TT>1998 B08> | combinational_case_statement </TT>
 <TT>1998 B08> | combinational_loop_statement </TT>
 <TT>1998 B08> | disable_statement </TT>
 <TT>1998 B08> | combinational_seq_block </TT>
 <TT>1998 B08> | combinational_task_enable </TT>
 <TT>1998 B08> | combinational_system_task_enable </TT>
 <TT>1998 B08>combinational_blocking_assignment ::= reg_lvalue = [ delay_control ] expression </TT>
 <TT>1998 B08>combinational_non_blocking_assignment ::= reg_lvalue <= [ delay_control ] expression </TT>
 <TT>1998 B08>combinational_procedural_timing_control_statement ::= </TT>
 <TT>1998 B08> delay_control combinational_statement_or_null </TT>
 <TT>1998 BE??>function_statement ::= </TT>
 <TT>1998 BE??> function_blocking_assignment ; </TT>
 <TT>1998 BE??> | function_non_blocking_assignment ; </TT>
 <TT>1998 BE??> | function_conditional_statement </TT>
 <TT>1998 BE??> | function_case_statement </TT>
 <TT>1998 BE??> | function_loop_statement </TT>
 <TT>1998 BE??> | disable_statement </TT>
 <TT>1998 BE??> | combinational_seq_block </TT>
 <TT>1998 BE??> | combinational_system_task_enable </TT>
 <TT>1998 BE??>function_blocking_assignment ::= reg_lvalue = expression </TT>
 <TT>1998 BE??>function_non_blocking_assignment ::= reg_lvalue <= [ delay_control ] expression </TT>
 <TT>1998 BE??>function_statement_or_null ::= function_statement | ; </TT>
 <TT>delay_or_event_control ::= </TT>
 <TT> delay_control </TT>
 <TT> | event_control </TT>
 <TT> | repeat ( expression ) event_control </TT>
 <TT>delay_control ::= </TT>
 <TT> # delay_value </TT>
 <TT> | # ( mintypmax_expression ) </TT>
 <TT>event_control ::= </TT>
 <TT> @ event_identifier </TT>
 <TT> | @ ( event_expression ) </TT>
 <TT>event_expression ::= </TT>
 <TT> expression </TT>
 <TT> | event_identifier </TT>
 <TT> | posedge expression </TT>
 <TT> | negedge expression </TT>
 <TT> | event_expression or event_expression </TT>
 <TT>1998 B07> | event_expression , event_expression </TT>
 <TT>conditional_statement ::= </TT>
 <TT>1995> | if ( expression ) statement_or_null [ else statement_or_null ] </TT>
 <TT>1998 BE41> if ( expression ) statement_or_null [ else statement_or_null ] </TT>
 <TT>case_statement ::= </TT>
 <TT>1995> | case ( expression ) case_item [ case_item ] endcase </TT>
 <TT>1998 BE41> case ( expression ) case_item [ case_item ] endcase </TT>
 <TT> | casez ( expression ) case_item [ case_item ] endcase </TT>
 <TT> | casex ( expression ) case_item [ case_item ] endcase </TT>
 <TT>case_item ::= </TT>
 <TT> expression { , expression } : statement_or_null </TT>
 <TT> | default [ : ] statement_or_null </TT>
 <TT>loop_statement ::= </TT>
 <TT>1995> | forever statement </TT>
 <TT>1998 BE10> forever statement </TT>
 <TT> | repeat ( expression ) statement </TT>
 <TT> | while ( expression ) statement </TT>
 <TT> | for ( reg_assignment ; expression ; reg_assignment ) statement </TT>
 <TT>1998 B08>combinational_conditional_statement ::= </TT>
 <TT>1998 B08> if ( expression ) combinational_statement_or_null [ else combinational_statement_or_null ] </TT>
 <TT>1998 B08>combinational_case_statement ::= </TT>
 <TT>1998 B08> case ( expression ) case_item [ combinational_case_item ] endcase </TT>
 <TT>1998 B08> | casez ( expression ) case_item [ combinational_case_item ] endcase </TT>
 <TT>1998 B08> | casex ( expression ) case_item [ combinational_case_item ] endcase </TT>
 <TT>1998 B08>combinational_case_item ::= </TT>
 <TT>1998 B08> expression { , expression } : combinational_statement_or_null </TT>
 <TT>1998 B08> | default [ : ] combinational_statement_or_null </TT>
 <TT>1998 B08>combinational_loop_statement ::= </TT>
 <TT>1998 B08> forever combinational_statement </TT>
 <TT>1998 B08> | repeat ( expression ) combinational_statement </TT>
 <TT>1998 B08> | while ( expression ) combinational_statement </TT>
 <TT>1998 B08> | for ( reg_assignment ; expression ; reg_assignment ) combinational_statement </TT>
 <TT>1998 B08>combinational_seq_block ::= begin [ : block_identifier { block_item_declaration } ] { combinational_statement } end </TT>
 <TT>1998 B08>combinational_task_enable ::= combinational_task_identifier [ ( expression { , expression } ) ] ; </TT>
 <TT>1998 BE??>function_conditional_statement ::= </TT>
 <TT>1998 BE??> if ( expression ) function_statement_or_null [ else function_statement_or_null ] </TT>
 <TT>1998 BE??>function_case_statement ::= </TT>
 <TT>1998 BE??> case ( expression ) case_item [ function_case_item ] endcase </TT>
 <TT>1998 BE??> | casez ( expression ) case_item [ function_case_item ] endcase </TT>
 <TT>1998 BE??> | casex ( expression ) case_item [ function_case_item ] endcase </TT>
 <TT>1998 BE??>function_case_item ::= </TT>
 <TT>1998 BE??> expression { , expression } : function_statement_or_null </TT>
 <TT>1998 BE??> | default [ : ] function_statement_or_null </TT>
 <TT>1998 BE??>function_loop_statement ::= </TT>
 <TT>1998 BE??> forever function_statement </TT>
 <TT>1998 BE??> | repeat ( expression ) function_statement </TT>
 <TT>1998 BE??> | while ( expression ) function_statement </TT>
 <TT>1998 BE??> | for ( reg_assignment ; expression ; reg_assignment ) function_statement </TT>
 <TT>1998 BE??>function_seq_block ::= begin [ : block_identifier { block_item_declaration } ] { function_statement } end </TT>
 <TT>reg_assignment ::= reg_lvalue = expression </TT>
 <TT>wait_statement ::= </TT>
 <TT>1995> | wait ( expression ) statement_or_null </TT>
 <TT>1998 BE41> wait ( expression ) statement_or_null </TT>
 <TT>event_trigger ::= </TT>
 <TT>1995> | -> event_identifier ; </TT>
 <TT>1998 BE41> -> event_identifier ; </TT>
 <TT>disable_statement ::= </TT>
 <TT>1995> | disable task_identifier ; </TT>
 <TT>1998 BE41> disable task_identifier ; </TT>
 <TT> | disable block_identifier ; </TT>
 <TT>seq_block ::= begin [ : block_identifier { block_item_declaration } ] { statement } end </TT>
 <TT>par_block ::= fork [ : block_identifier { block_item_declaration } ] { statement } join </TT>
 <TT>task_enable ::= task_identifier [ ( expression { , expression } ) ] ; </TT>
 <TT>system_task_enable ::= system_task_name [ ( expression { , expression } ) ] ; </TT>
 <TT>system_task_name ::= $identifier Note: The $ may not be followed by a space. </TT>
 <TT> </TT>
 <TT>A.7 Specify section </TT>
 <TT> </TT>
 <TT>specify_block ::= specify { specify_item } endspecify ; </TT>
 <TT>specify_item ::= </TT>
 <TT> specparam_declaration </TT>
 <TT> | path_declaration </TT>
 <TT> | system_timing_check </TT>
 <TT>specparam_declaration ::= specparam list_of_specparam_assignments ; </TT>
 <TT>list_of_specparam_assignments ::= specparam_assignment { , specparam_assignment } </TT>
 <TT>specparam_assignment ::= </TT>
 <TT> specparam_identifier = constant_expression </TT>
 <TT> | pulse_control_specparam </TT>
 <TT>pulse_control_specparam ::= </TT>
 <TT> PATHPULSE$ = ( reject_limit_value [ , error_limit_value ] ) </TT>
 <TT> | PATHPULSE$specify_input_terminal_descriptor$specify_output_terminal_descriptor </TT>
 <TT> = ( reject_limit_value [ , error_limit_value ] ) </TT>
 <TT>limit_value ::= constant_mintypmax_expression </TT>
 <TT>path_declaration ::= </TT>
 <TT> simple_path_declaration ; </TT>
 <TT> | edge_sensitive_path_declaration ; </TT>
 <TT>1995> | state-dependent_path_declaration ; </TT>
 <TT>1998 BE41> | state_dependent_path_declaration ; </TT>
 <TT>simple_path_declaration ::= </TT>
 <TT> parallel_path_description = path_delay_value </TT>
 <TT> | full_path_description = path_delay_value </TT>
 <TT>parallel_path_description ::= </TT>
 <TT> ( specify_input_terminal_descriptor [ polarity_operator ] => specify_output_terminal_descriptor ) </TT>
 <TT>full_path_description </TT>
 <TT> ( list_of_path_inputs [ polarity_operator ] *> list_of_path_outputs ) </TT>
 <TT>list_of_path_inputs ::= </TT>
 <TT> ( specify_input_terminal_descriptor { , specify_input_terminal_descriptor } </TT>
 <TT>list_of_path_outputs ::= </TT>
 <TT> ( specify_output_terminal_descriptor { , specify_output_terminal_descriptor } </TT>
 <TT>specify_input_terminal_descriptor ::= </TT>
 <TT> input_identifier </TT>
 <TT> | input_identifier [ constant_expression ] </TT>
 <TT> | input_identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>specify_output_terminal_descriptor ::= </TT>
 <TT> output_identifier </TT>
 <TT> | output_identifier [ constant_expression ] </TT>
 <TT> | output_identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>input_identifier ::= input_port_identifier | inout_port_identifier </TT>
 <TT>output_identifier ::= output_port_identifier | inout_port_identifier </TT>
 <TT>polarity_operator ::= + | - </TT>
 <TT>path_delay_value ::= </TT>
 <TT> list_of_path_delay_expressions </TT>
 <TT> | ( list_of_path_delay_expressions ) </TT>
 <TT>list_of_path_delay_expressions ::= </TT>
 <TT> t_path_delay_expression </TT>
 <TT> | trise_path_delay_expression , tfall_path_delay_expression </TT>
 <TT> | trise_path_delay_expression , tfall_path_delay_expression , tz_path_delay_expression </TT>
 <TT> | t01_path_delay_expression , t10_path_delay_expression , t0z_path_delay_expression , </TT>
 <TT> tz1_path_delay_expression , t1z_path_delay_expression , tz0_path_delay_expression </TT>
 <TT> | t01_path_delay_expression , t10_path_delay_expression , t0z_path_delay_expression , </TT>
 <TT> tz1_path_delay_expression , t1z_path_delay_expression , tz0_path_delay_expression </TT>
 <TT> t0x_path_delay_expression , tx1_path_delay_expression , t1x_path_delay_expression , </TT>
 <TT> tx0_path_delay_expression , txz_path_delay_expression , tzx_path_delay_expression </TT>
 <TT>path_delay_expression ::= constant_mintypmax_expression </TT>
 <TT>edge_sensitive_path_declaration ::= </TT>
 <TT> parallel_edge_sensitive_path_description = path_delay_value </TT>
 <TT> | full_edge_sensitive_path_description = path_delay_value </TT>
 <TT>parallel_edge_sensitive_path_description ::= </TT>
 <TT> ( [ edge_identifier ] specify_input_terminal_descriptor => </TT>
 <TT>1995> specify_output_terminal_descriptor [ polarity_operator ] : data_source_expression ) ) </TT>
 <TT>1998 BE??> specify_output_terminal_descriptor [ polarity_operator ] : data_source_expression ) </TT>
 <TT>full_edge_sensitive_path_description ::= </TT>
 <TT> ( [ edge_identifier ] list_of_path_inputs *> </TT>
 <TT>1995> list_of_path_inputs [ polarity_operator ] : data_source_expression ) ) </TT>
 <TT>1998 BE??> list_of_path_inputs [ polarity_operator ] : data_source_expression ) </TT>
 <TT>data_source_expression ::= expression </TT>
 <TT>edge_identifier ::= posedge | negedge </TT>
 <TT>state_dependent_path_declaration ::= </TT>
 <TT> if ( conditional_expression ) simple_path_declaration </TT>
 <TT> | if ( conditional_expression ) edge_sensitive_path_declaration </TT>
 <TT> | ifnone simple_path_declaration </TT>
 <TT> </TT>
 <TT>system_timing_check ::= </TT>
 <TT> $setup ( timing_check_event , timing_check_event , timing_check_limit [ , notify_register ] ) </TT>
 <TT> | $hold ( timing_check_event , timing_check_event , timing_check_limit [ , notify_register ] ) </TT>
 <TT> | $period ( controlled_timing_check_event , timing_check_limit [ , notify_register ] ) </TT>
 <TT> | $width ( controlled_timing_check_event , timing_check_limit , </TT>
 <TT> constant_expression [ , notify_register ] ) </TT>
 <TT> | $skew ( timing_check_event , timing_check_event , timing_check_limit [ , notify_register ] ) </TT>
 <TT> | $recovery ( controlled_timing_check_event , timing_check_event , </TT>
 <TT> timing_check_limit [ , notify_register ] ) </TT>
 <TT> | $setuphold ( timing_check_event , timing_check_event , timing_check_limit , </TT>
 <TT> timing_check_limit [ , notify_register ] ) </TT>
 <TT>1998 BE02> | $nochange ( reference_event , data_event , start_edge_offset , </TT>
 <TT>1998 BE02> end_edge_offset [ , notify_register ] ) </TT>
 <TT>timing_check_event ::= </TT>
 <TT> [timing_check_event_control] specify_terminal_descriptor [ &&& timing_check_condition ] </TT>
 <TT>specify_terminal_descriptor ::= </TT>
 <TT> specify_input_terminal_descriptor </TT>
 <TT> | specify_output_terminal_descriptor </TT>
 <TT>controlled_timing_check_event ::= </TT>
 <TT> timing_check_event_control specify_terminal_descriptor [ &&& timing_check_condition ] </TT>
 <TT>timing_check_event_control ::= </TT>
 <TT> posedge </TT>
 <TT> | negedge </TT>
 <TT> | edge_control_specifier </TT>
 <TT>edge_control_specifier ::= edge [ edge_descriptor [ , edge_descriptor ] ] </TT>
 <TT>edge_descriptor ::= </TT>
 <TT> 01 </TT>
 <TT> | 10 </TT>
 <TT> | 0x </TT>
 <TT> | x1 </TT>
 <TT> | 1x </TT>
 <TT> | x0 </TT>
 <TT>timing_check_condition ::= </TT>
 <TT> scalar_timing_check_condition </TT>
 <TT> | ( scalar_timing_check_condition ) </TT>
 <TT>scalar_timing_check_condition ::= </TT>
 <TT> expression </TT>
 <TT> | ~ expression </TT>
 <TT> | expression == scalar_constant </TT>
 <TT> | expression === scalar_constant </TT>
 <TT> | expression != scalar_constant </TT>
 <TT> | expression !== scalar_constant </TT>
 <TT>timing_check_limit ::= expression </TT>
 <TT>scalar_constant ::= </TT>
 <TT> 1'b0 | 1'b1 | 1'B0 | 1'B1 | 'b0 | 'b1 | 'B0 | 'B1 | 1 | 0 </TT>
 <TT>notify_register ::= register_identifier </TT>
 <TT> </TT>
 <TT>A.8 Expressions </TT>
 <TT> </TT>
 <TT>1998 B01>genvar_expression ::= </TT>
 <TT>1998 B01> genvar_primary </TT>
 <TT>1998 B01> | unary_operator genvar_primary </TT>
 <TT>1998 B01> | genvar_expression binary_operator genvar_expression </TT>
 <TT>1998 B01> | genvar_expression ? genvar_expression : genvar_expression </TT>
 <TT>1998 B01> | string </TT>
 <TT>1998 B01>genvar_primary ::= </TT>
 <TT>1998 B01> constant_primary </TT>
 <TT>1998 B01> | genvar_identifier </TT>
 <TT>1998 B01> | genvar_identifier [ genvar_expression ] </TT>
 <TT>1998 B01> | genvar_identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>1998 B01> | genvar_concatenation | genvar_multiple_concatenation </TT>
 <TT>1998 B01> | genvar_function_call </TT>
 <TT>1998 B01>genvar_function_call ::= genvar_function_identifier ( genvar_expression { , genvar_expression } ) </TT>
 <TT> </TT>
 <TT>net_lvalue ::= </TT>
 <TT> net_identifier </TT>
 <TT> | net_identifier [ expression ] </TT>
 <TT> | net_identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT> | net_concatenation </TT>
 <TT>reg_lvalue ::= </TT>
 <TT> reg_identifier </TT>
 <TT> | reg_identifier [ expression ] </TT>
 <TT> | reg_identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT> | reg_concatenation </TT>
 <TT>constant_expression ::= </TT>
 <TT> constant_primary </TT>
 <TT> | unary_operator constant_primary </TT>
 <TT> | constant_expression binary_operator constant_expression </TT>
 <TT> | constant_expression ? constant_expression : constant_expression </TT>
 <TT> | string </TT>
 <TT>constant_primary ::= </TT>
 <TT> number </TT>
 <TT> | parameter_identifier </TT>
 <TT> | constant_concatenation </TT>
 <TT> | constant_multiple_concatenation </TT>
 <TT>1998 B21??> | constant_function_call </TT>
 <TT>constant_mintypmax_expression ::= </TT>
 <TT> constant_expression </TT>
 <TT> | constant_expression : constant_expression : constant_expression </TT>
 <TT>mintypmax_expression ::= </TT>
 <TT> expression </TT>
 <TT> | expression : expression : expression </TT>
 <TT>expression ::= </TT>
 <TT> primary </TT>
 <TT> | unary_operator primary </TT>
 <TT> | expression binary_operator expression </TT>
 <TT> | expression ? expression : expression </TT>
 <TT> | string </TT>
 <TT>unary_operator ::= </TT>
 <TT> + | - | ! | ~ | & | ~& | | | ~| | ^ | ~^ | ^~ </TT>
 <TT>1995>binary_operator ::= </TT>
 <TT>1995> + | - | * | / | % | == | != | === | !== | && | || </TT>
 <TT>1995> | < | <= | > | >= | & | | | ^ | ^~ | ~^ | >> | << </TT>
 <TT>1998 B19>binary_operator ::= </TT>
 <TT>1998 B19/B27> + | - | * | / | % | == | != | === | !== | && | || | ** </TT>
 <TT>1998 B19> | < | <= | > | >= | & | | | ^ | ^~ | ~^ | >> | << | >>> | <<< </TT>
 <TT>1995>primary ::= </TT>
 <TT>1995> number </TT>
 <TT>1995> | identifier </TT>
 <TT>1995> | identifier [ expression ] </TT>
 <TT>1995> | identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>1995> | concatenation </TT>
 <TT>1995> | multiple_concatenation </TT>
 <TT>1995> | function_call </TT>
 <TT>1995> | ( mintypmax_expression ) </TT>
 <TT>1998 B02>primary ::= </TT>
 <TT>1998 B02> number </TT>
 <TT>1998 B02> | identifier </TT>
 <TT>1998 B02> | identifier [ expression ] { [ expression ] } </TT>
 <TT>1998 B02> | identifier [ expression ] { [ expression ] } [ [ msb_constant_expression : lsb_constant_expression ] ] </TT>
 <TT>1998 B02> | identifier [ msb_constant_expression : lsb_constant_expression ] </TT>
 <TT>1998 B02> | concatenation </TT>
 <TT>1998 B02> | multiple_concatenation </TT>
 <TT>1998 B02> | function_call </TT>
 <TT>1998 B02> | constant_function_call </TT>
 <TT>1998 B02> | ( mintypmax_expression ) </TT>
 <TT>number ::= </TT>
 <TT> decimal_number </TT>
 <TT> | octal_number </TT>
 <TT> | binary_number </TT>
 <TT> | hex_number </TT>
 <TT> | real_number </TT>
 <TT>1995>real_number ::= </TT>
 <TT>1995> [ sign ] unsigned_number . unsigned_number </TT>
 <TT>1995> | [ sign ] unsigned_number [ . unsigned_number ] e [ sign ] unsigned_number </TT>
 <TT>1995> | [ sign ] unsigned_number [ . unsigned_number ] e [ sign ] unsigned_number </TT>
 <TT>1998 BE08/BE35>real_number1 ::= </TT>
 <TT>1998 BE08/BE35> unsigned_number . unsigned_number </TT>
 <TT>1998 BE08/BE35> | unsigned_number [ . unsigned_number ] e [ sign ] unsigned_number </TT>
 <TT>1998 BE08/BE35> | unsigned_number [ . unsigned_number ] E [ sign ] unsigned_number </TT>
 <TT>1995>decimal_number ::= </TT>
 <TT>1995> [ sign ] unsigned_number </TT>
 <TT>1995> | [ size ] decimal_base unsigned_number </TT>
 <TT>1995>binary_number ::= [ size ] binary_base binary_digit { _ | binary_digit } </TT>
 <TT>1995>octal_number ::= [ size ] octal_base octal_digit { _ | octal_digit } </TT>
 <TT>1995>hex_number ::= [ size ] hex_base hex_digit { _ | hex_digit } </TT>
 <TT>1998 BE08>decimal_number ::= </TT>
 <TT>1998 BE08/BE35> unsigned_number </TT>
 <TT>1998 BE08> | [ size ] decimal_base unsigned_number </TT>
 <TT>1998 BE??> | [ size ] decimal_base xz_digit { _ | xz_digit } </TT>
 <TT>1998 BE08>binary_number ::= [ size ] binary_base binary_value </TT>
 <TT>1998 BE08>octal_number ::= [ size ] octal_base octal_value </TT>
 <TT>1998 BE08>hex_number ::= [ size ] hex_base hex_value </TT>
 <TT>sign ::= + | - </TT>
 <TT>size ::= unsigned_number </TT>
 <TT>1995>unsigned_number ::= decimal_digit { _ | decimal_digit } </TT>
 <TT>1998 BE08>unsigned_number1 ::= decimal_digit { _ | decimal_digit } </TT>
 <TT>1998 BE08>binary_value1::= binary_digit { _ | binary_digit } </TT>
 <TT>1998 BE08>octal_value1::= octal_digit { _ | octal_digit } </TT>
 <TT>1998 BE08>hex_value1::= hex_digit { _ | hex_digit } </TT>
 <TT>1995>decimal_base ::= 'd | 'D </TT>
 <TT>1995>binary_base ::= 'b | 'B </TT>
 <TT>1995>octal_base ::= 'o | 'O </TT>
 <TT>1995>hex_base ::= 'h | 'H </TT>
 <TT>1998 BE08>decimal_base1::= 'd | 'D </TT>
 <TT>1998 BE08>binary_base1::= 'b | 'B </TT>
 <TT>1998 BE08>octal_base1::= 'o | 'O </TT>
 <TT>1998 BE08>hex_base1::= 'h | 'H </TT>
 <TT>1998 B19>decimal_base1 ::= '[s|S]d | '[s|S]D </TT>
 <TT>1998 B19>binary_base1 ::= '[s|S]b | '[s|S]B </TT>
 <TT>1998 B19>octal_base1 ::= '[s|S]o | '[s|S]O </TT>
 <TT>1998 B19>hex_base1 ::= '[s|S]h | '[s|S]H </TT>
 <TT>1995>decimal_digit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 </TT>
 <TT>1995>binary_digit ::= x | X | z | Z | 0 | 1 </TT>
 <TT>1995>octal_digit ::= x | X | z | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 </TT>
 <TT>1995>hex_digit ::= x | X | z | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | a | b | c | d | e | f | A | B | C | D | E | F </TT>
 <TT>1998 BE??>decimal_digit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | _ </TT>
 <TT>1998 BE34>binary_digit ::= x | X | z | Z | ? | 0 | 1 | _ </TT>
 <TT>1998 BE34>octal_digit ::= x | X | z | Z | ? | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | _ </TT>
 <TT>1998 BE34>hex_digit ::= x | X | z | Z | ? | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | a | b | c | d | e | f | A | B | C | D | E | F | _ </TT>
 <TT>1998 B??>xz_digit ::= x | X | z | Z | ? </TT>
 <TT> </TT>
 <TT>concatenation ::= { expression { , expression } } </TT>
 <TT>multiple_concatenation ::= { expression { , expression { , expression } } } </TT>
 <TT>function_call ::= </TT>
 <TT> function_identifier ( expression { , expression } ) </TT>
 <TT> | name_of_system_function [ ( expression { , expression } ) ] </TT>
 <TT>1998 B??>constant_function_call ::= </TT>
 <TT>1998 B??> function_identifier ( constant_expression { , constant_expression } ) </TT>
 <TT>1998 B??> | name_of_system_function [ ( constant_expression { , constant_expression } ) ] </TT>
 <TT>1995>name_of_system_function ::= $identifier </TT>
 <TT>1998 BE08>name_of_system_function2 ::= $identifier </TT>
 <TT>string ::= " { Any_ASCII_Characters_except_new_line } " </TT>
 <TT> </TT>
 <TT>NOTES </TT>
 <TT>1- Embedded spaces are illegal </TT>
 <TT>2- The $ in name_of_system_function may not be followed by a space </TT>
 <TT> </TT>
 <TT>A.9 General </TT>
 <TT> </TT>
 <TT>comment ::= </TT>
 <TT> short_comment </TT>
 <TT> | long_comment </TT>
 <TT>short_comment ::= // comment_text \n </TT>
 <TT>long_comment ::= /* comment_text */ </TT>
 <TT>comment_text ::= { Any_ASCII_character } </TT>
 <TT>1995>identifier ::= IDENTIFIER [ { .IDENTIFIER } ] </TT>
 <TT>1995>IDENTIFIER ::= </TT>
 <TT>1995> simple_identifier </TT>
 <TT>1995> | escaped_identifier </TT>
 <TT>1995>simple_identifier ::= [a-zA-Z][a-zA-Z0-9_$] </TT>
 <TT>1998 BE??>identifier ::= </TT>
 <TT>1998 BE??> simple_identifier </TT>
 <TT>1998 BE??> | escaped_identifier </TT>
 <TT>1998 BE01>simple_identifier3 ::= [a-zA-Z_] [ { [a-zA-Z0-9_$] } ] </TT>
 <TT>1998 BE01>arrayed_reference3 ::= [a-zA-Z_] [ { [a-zA-Z0-9_$] } ] [ { [0-9_] } ] </TT>
 <TT>1998 BE??>hierarchical_identifier ::= </TT>
 <TT>1998 BE??> simple_hierarchical_identifier </TT>
 <TT>1998 BE??> | escaped_hierarchical_identifier </TT>
 <TT>1998 BE??>simple_hierarchical_identifier3 ::= </TT>
 <TT>1998 BE??> simple_hierarchical_branch [ .escaped_identifier ] </TT>
 <TT>1998 BE??>escaped_hierarchical_identifier4 ::= </TT>
 <TT>1998 BE??> escaped_hierarchical_branch [ { .simple_hierarchical_branch | .escaped_hierarchical_branch } ] </TT>
 <TT>1998 BE??>simple_hierarchical_branch3 ::= </TT>
 <TT>1998 BE??> simple_identifier [ [ unsigned_number ] ] [ { .simple_identifier [ [ unsigned_number ] ] } ] </TT>
 <TT>1998 BE??>escaped_hierarchical_branch4 ::= </TT>
 <TT>1998 BE??> escaped_identifier [ [ unsigned_number ] ] [ { .escaped_identifier [ [ unsigned_number ] ] } ] </TT>
 <TT>escaped_identifier ::= \ {Any_ASCII_character_except_white_space} white_space </TT>
 <TT>1995>white_space ::= space | tab | newline </TT>
 <TT>1998 BE??>white_space ::= space | tab | newline | eof5 </TT>
 <TT> </TT>
 <TT>1995>NOTE - The period in identifier may not be preceded or followed by a space </TT>
 <TT>1998 BE??>NOTE </TT>
 <TT>1998 BE??>3 - A simple_identifier and arrayed_reference shall have at least one character and no spaces </TT>
 <TT>1998 BE??>3 - The period in simple_hierarchical_identifier and simple_hierarchical_branch shall not </TT>
 <TT>1998 BE??> be preceded or followed by white_space </TT>
 <TT>1998 BE??>4 - The period in escaped_hierarchical_identifier and escaped_hierarchical_branch shall </TT>
 <TT>1998 BE??> be preceded by white_space but shall not be followed by white_space </TT>
 <TT>1998 BE??>5 - End of file </TT>
 <TT> </TT>
</BODY>
</HTML>
X-Lines: 0
Content-Type: text/plain; charset="us-ascii"
Content-Length: 0
X-Status: $$$$
X-UID: 0000000381
Status: RO

Next message: Cliff Cummings: "(no subject)"
Previous message: Cliff Cummings: "(no subject)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:52:48 PDT and
sponsored by Boyd Technology, Inc.