[ Chapter start ] [ Previous page ] [ Next page ]
| ||
always_construct ::= [94] [95LRM 9.9.2] always statement [1]
binary_base ::= [4] [95LRM 2.5.1] ’b | ’B [2]
binary_digit ::= [4] [95LRM 2.5.1] x | X | z | Z | 0 | 1 [3]
binary_number ::= [114] [95LRM 2.5.1] [4]
[ size ] binary_base binary_digit { _ | binary_digit }
binary_operator ::= [19, 52] [95LRM 4.1.2] [5]
+ | - | * | / | % | == | != | === | !== | && | ||
| < | <= | > | >= | & | | | ^ | ^~ | ~^ | >> | <<
blocking assignment 1 ::= [181] [95LRM 9.2.1] [6]
reg_lvalue = [ delay_or_event_control ] expression
block_item_declaration ::= [57, 133, 166, 190] [95LRM 9.8.1] [7]
parameter_declaration | reg_declaration
| integer_declaration | real_declaration | time_declaration
| realtime_declaration | event_declaration
case_item ::= [9] [95LRM 9.5] expression { , expression } : statement_or_null [8]
| default [ : ] statement_or_null
case_statement ::= [181] [95LRM 9.5] [9]
| case ( expression ) case_item { case_item } endcase
| casez ( expression ) case_item { case_item } endcase
| casex ( expression ) case_item { case_item } endcase
charge_strength ::= [107] [95LRM 3.4.1] ( small ) | ( medium ) | ( large ) [10]
cmos_switchtype ::= [58] [95LRM 7.7] cmos | rcmos [11]
cmos_switch_instance ::= [58] [95LRM 7.1] [ name_of_gate_instance ] [12]
( output_terminal , input_terminal ,
ncontrol_terminal , pcontrol_terminal )
combinational_body ::= [198] [95LRM 8.1.4] [13]
table combinational_entry { combinational_entry } endtable
combinational_entry ::= [13] [95LRM 8.1.4] level_input_list : output_symbol ; [14]
comment ::= [–] [95LRM 2.3] short_comment | long_comment [15]
comment_text ::= [88, 168] [95LRM 2.3] { Any_ASCII_character } [16]
concatenation ::= [21, 109, 146, 161] [95LRM 4.1.14] { expression { , expression } } [17]
conditional_statement ::= [181] [95LRM 9.4] [18]
| if ( expression ) statement_or_null [ else statement_or_null ]
constant_expression ::= [see Table B.1 ] [95LRM 4.1] constant_primary [19]
| unary_operator constant_primary
| constant_expression binary_operator constant_expression
| constant_expression ? constant_expression : constant_expression
constant_mintypmax_expression ::= [34, 74, 139] [95LRM 4.3] constant_expression [20]
| constant_expression : constant_expression : constant_expression
constant_primary ::= [19] [95LRM 4.1] number | parameter _identifier [21]
| constant _concatenation | constant _multiple_concatenation
continuous_assign ::= [94] [95LRM 6.1] [22]
assign [ drive_strength ] [ delay3 ] list_of_net_assignments ;
controlled_timing_check_event ::= [189] [95LRM 14.5.11] [23]
specify_terminal_descriptor [ &&& timing_check_condition ]
current_state ::= [165] [95LRM 8.1] level_symbol [24]
data_source_expression ::= [53, 127] [95LRM 13.3.3] expression [25]
decimal_base ::= [28] [95LRM 2.5.1] ’d | ’D [26]
decimal_digit ::= [206] [95LRM 2.5.1] 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 [27]
decimal_number ::= [114] [95LRM 2.5.1] [ sign ] unsigned_number [28]
| [ size ] decimal_base unsigned_number
delay2 ::= [58, 202] [95LRM 7.1, 7.15] [29]
# delay_value | # ( delay_value [ , delay_value ] )
delay3 ::= [22, 58, 107] [95LRM 7.1, 7.15] [30]
# delay_value | # ( delay_value [ , delay_value [ , delay_value ] ] )
delay_control ::= [32] [95LRM 9.7, 9.7.1] [31]
# delay_value | # ( mintypmax_expression )
delay_or_event_control ::= [6, 112, 148] [95LRM 9.7] [32]
delay_control | event_control | repeat ( expression ) event_control
delay_value ::= [29, 30, 31] [95LRM 7.1.3, 7.15] [33]
unsigned_number | parameter_identifier | constant_mintypmax_expression
description ::= [173] [95LRM 8.1, 12.1] module_declaration | udp_declaration [34]
disable_statement 2 ::= [181] [95LRM 11] [35]
| disable task _identifier ; | disable block _identifier ;
drive_strength ::= [22, 58, 107, 202] [95LRM 3.2.1, 3.4.2, 6.1.4] [36]
( strength0 , strength1 ) | ( strength1 , strength0 )
| ( strength0 , highz1 ) | ( strength1 , highz0 )
| ( highz1 , strength0 ) | ( highz0 , strength1 )
edge_control_specifier 3 ::= [196] [95LRM 14.5.9] edge [37]
[ edge_descriptor [ , edge_descriptor ] ]
edge_descriptor ::= [37] [95LRM 14.5.9] 01 | 10 | 0x | x1 | 1x | x0 [38]
edge_identifier ::= [53, 127] [95LRM 14.5.9] posedge | negedge [39]
edge_indicator ::= [41] [95LRM 8.1, 8.1.6, 8.4] [40]
( level_symbol level_symbol ) | edge_symbol
edge_input_list ::= [167] [95LRM 8.1, 8.1.6, 8.4] [41]
{ level_symbol } edge_indicator { level_symbol }
edge_sensitive_path_declaration ::= [138, 183] [95LRM 13.3.3] [42]
parallel_edge_sensitive_path_description = path_delay_value
| full_edge_sensitive_path_description = path_delay_value
edge_symbol ::= [40] [95LRM 8.1.6] r | R | f | F | p | P | n | N | * [43]
enable_gatetype ::= [58] [95LRM 7.1] bufif0 | bufif1 | notif0 | notif1 [44]
enable_gate_instance ::= [58] [95LRM 7.1] [ name_of_gate_instance ] [45]
( output_terminal , input_terminal , enable_terminal )
enable_terminal ::= [ 45, 98, 134] [95LRM 7.1] scalar _expression [46]
escaped_identifier ::= [63] [95LRM 2.7.1] [47]
\ {Any_ASCII_character_except_white_space} white_space
event_control ::= [32] [95LRM 9.7] @ event _identifier | @ ( event_expression ) [48]
event_declaration ::= [7, 95] [95LRM 9.7.3] [49]
event event _identifier { , event _identifier } ;
event_expression ::= [48, 50] [95LRM 9.7] expression | event _identifier [50]
| posedge expression | negedge expression
| event_expression or event_expression
event_trigger 4 ::= [181] [95LRM 9.7.3] | -> event _identifier ; [51]
expression ::= [see Table B.1 ] [95LRM 4] primary | unary_operator primary [52]
| expression binary_operator expression | expression ? expression : expression
full_edge_sensitive_path_description 5 ::= [42] [95LRM 13.3.2] [53]
( [ edge_identifier ] list_of_path_inputs *>
[ polarity_operator ] : data_source_expression ) )
full_path_description ::= [171] [95LRM 13.3.2, 13.3.5] [54]
( list_of_path_inputs [ polarity_operator ] *> list_of_path_outputs )
function_call ::= [146] [95LRM 10.3.3] [55]
function _identifier ( expression { , expression} )
| name_of_system_function [ ( expression { , expression} ) ]
function_declaration ::= [95] [95LRM 10.3.1] [56]
function [ range_or_type ] function _identifier ;
function_item_declaration { function_item_declaration }
function_item_declaration ::= [56] [95LRM 10.3.1] [57]
block_item_declaration | input_declaration
gate_instantiation 6 ::= [94] [95LRM 7.1] n_input_gatetype [ drive_strength ] [58]
[delay2] n_input_gate_instance { , n_input_gate_instance } ;
| n_output_gatetype [ drive_strength ] [ delay2 ]
n_output_gate_instance { , n_output_gate_instance } ;
| enable_gatetype [ drive_strength ] [ delay3 ]
enable_gate_instance { , enable_gate_instance} ;
mos_switch_instance { , mos_switch_instance } ;
| pass_switchtype pass_switch_instance { , pass_switch_instance } ;
| pass_en_switchtype [ delay3 ]
pass_en_switch_instance { , pass_en_switch_instance } ;
cmos_switch_instance { , cmos_switch_instance } ;
pull_gate_instance { , pull_gate_instance } ;
| pulldown [ pulldown_strength ]
pull_gate_instance { , pull_gate_instance } ;
hex_base ::= [61] [95LRM 2.5.1] ’h | ’H [59]
hex_digit ::= [61] [95LRM 2.5.1] [60]
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
hex_number ::= [114] [95LRM 2.5.1] [ size ] hex_base hex_digit { _ | hex_digit } [61]
identifier ::= [see Table B.1 ] [95LRM 2.7] IDENTIFIER [ { . IDENTIFIER } ] [62]
The period in identifier may not be preceded or followed by a space.
IDENTIFIER ::= [62] [95LRM 2.7] simple_identifier | escaped_identifier [63]
initial_construct ::= [94] [95LRM 9.9.1] initial statement [64]
init_val ::= [200] [95LRM 8.1, 8.5] [65]
1’b0 | 1’b1 | 1’bx | 1’bX | 1’B0 | 1’B1 | 1’Bx | 1’BX | 1 | 0
inout_declaration ::= [95, 190] [95LRM 12.3.2] [66]
inout [ range ] list_of_port_identifiers ;
inout_terminal ::= [134, 137] [95LRM 7.1] [67]
terminal _identifier | terminal _identifier [ constant_expression ]
input_declaration ::= [57, 95, 203] [95LRM 12.3.2] [68]
input [ range ] list_of_port_identifiers ;
input_identifier ::= [175] [95LRM 13.3.2] [69]
input_port _identifier | inout_port _identifier
input_terminal ::= [12, 45, 98, 116, 118] [95LRM 7.1] scalar _expression [70]
integer_declaration ::= [7, 95] [95LRM 3.9] integer list_of_register_identifiers ; [71]
level_input_list ::= [14, 167] [95LRM 8.1, 8.1.6] level_symbol { level_symbol } [72]
level_symbol ::= [24, 40, 41, 72] [95LRM 8.1, 8.1.6] 0 | 1 | x | X | ? | b | B [73]
limit_value ::= [152] [95LRM 13.7] constant_mintypmax_expression [74]
list_of_module_connections ::= [92] [95LRM 12.1.2, 12.3.3, 12.3.4] [75]
ordered_port_connection { , ordered_port_connection }
| named_port_connection { , named_port_connection }
list_of_net_assignments ::= [22] [95LRM 3.10] net_assignment { , net_assignment } [76]
list_of_net_decl_assignments ::= [107] [95LRM 3.2.1] [77]
net_decl_assignment { , net_decl_assignment }
list_of_net_identifiers ::= [107] [95LRM 2.7] net _identifier { , net _identifier } [78]
list_of_param_assignments ::= [129, 130] [95LRM 3.10] [79]
param_assignment { , param_assignment }
list_of_path_delay_expressions ::= [140] [95LRM 13.4] [80]
| trise _path_delay_expression , tfall _path_delay_expression
| trise _path_delay_expression , tfall _path_delay_expression , tz _path_delay_expression
| t01 _path_delay_expression , t10 _path_delay_expression , t0z _path_delay_expression ,
tz1 _path_delay_expression , t1z _path_delay_expression , tz0 _path_delay_expression
| t01 _path_delay_expression , t10 _path_delay_expression , t0z _path_delay_expression ,
tz1 _path_delay_expression , t1z _path_delay_expression , tz0 _path_delay_expression ,
t0x _path_delay_expression , tx1 _path_delay_expression , t1x _path_delay_expression ,
tx0 _path_delay_expression , txz _path_delay_expression , tzx _path_delay_expression
list_of_path_inputs ::= [53, 54] [95LRM 13.3.2] [81]
specify_input_terminal_descriptor { , specify_input_terminal_descriptor }
list_of_path_outputs ::= [53, 54] [95LRM 13.3.2] [82]
specify_output_terminal_descriptor { , specify_output_terminal_descriptor }
list_of_ports ::= [91] [95LRM 12] ( port { , port } ) [83]
list_of_port_identifiers ::= [66, 68, 123] [95LRM 12.3.2] [84]
port _identifier { , port _identifier }
list_of_real_identifiers ::= [155, 156] [95LRM 2.7] [85]
real _identifier { , real _identifier }
list_of_register_identifiers ::= [71, 160, 193] [95LRM 3.2.2] [86]
register_name { , register_name }
list_of_specparam_assignments ::= [180] [95LRM 13.2] [87]
specparam_assignment { , specparam_assignment }
long_comment ::= [15] [95LRM 2.3] /* comment_text */ [88]
loop_statement ::= [181] [95LRM 9.6] [89]
| repeat ( expression ) statement
| while ( expression ) statement
| for ( reg_assignment ; expression ; reg_assignment ) statement
mintypmax_expression ::= [31, 146] [95LRM 4.3] expression [90]
| expression : expression : expression
module_declaration ::= [34] [95LRM 12.1] module_keyword module _identifier [91]
[ list_of_ports ] ; {module_item } endmodule
module_instance ::= [93] [95LRM 12.1, 12.1.2] [92]
name_of_instance ( [ list_of_module_connections ] )
module_instantiation ::= [94] [95LRM 12.1.2] [93]
module _identifier [ parameter_value_assignment ]
module_instance { , module_instance } ;
module_item ::= [91] [95LRM 12.1] [94]
module_item_declaration | parameter_override
| continuous_assign | gate_instantiation | udp_instantiation
| module_instantiation | specify_block | initial_construct
module_item_declaration ::= [94] [95LRM 12.1] [95]
parameter_declaration | input_declaration
| output_declaration | inout_declaration | net_declaration
| reg_declaration | integer_declaration | real_declaration
| time_declaration | realtime_declaration | event_declaration
| task_declaration | function_declaration
module_keyword ::= [91] [95LRM 12.1] module | macromodule [96]
mos_switchtype ::= [58] [95LRM 7.1, 7.5] nmos | pmos | rnmos | rpmos [97]
mos_switch_instance ::= [58] [95LRM 7.1] [98]
[ name_of_gate_instance ] ( output_terminal , input_terminal , enable_terminal )
multiple_concatenation 7 ::= [21, 146] [95LRM 4.1.14] [99]
{ expression { expression { , expression } } }
named_port_connection ::= [75] [95LRM 12.1.2, 12.3.4] [100]
. port _identifier ( [ expression ] )
name_of_gate_instance ::= [12, 45, 98, 116, 118, 134, 137, 151] [95LRM 7.1] [101]
gate_instance _identifier [ range ]
name_of_instance ::= [92] [95LRM 12.1.2] module_instance _identifier [ range ] [102]
name_of_system_function ::= [55] [95LRM 14] $ identifier [103]
Note: the $ in name_of_system_function may not be followed by a space.
name_of_udp_instance ::= [201] [95LRM 8.6] udp_instance _identifier [ range ] [104]
ncontrol_terminal ::= [12] [95LRM 7.1] scalar _expression [105]
net_assignment ::= [76, 147] [95LRM 6.1, 9.3] net_lvalue = expression [106]
net_declaration ::= [95] [95LRM 3.2.1] [107]
net_type [ vectored | scalared ] [ range ] [ delay3 ] list_of_net_identifi