Class VerilogParser_SvaParser


  • public class VerilogParser_SvaParser
    extends org.antlr.runtime.Parser
    • Field Detail

      • PP_DEFAULT_TRIREG_STRENGTH

        public static final int PP_DEFAULT_TRIREG_STRENGTH
        See Also:
        Constant Field Values
      • PP_DELAY_MODE_DISTRIBUTED

        public static final int PP_DELAY_MODE_DISTRIBUTED
        See Also:
        Constant Field Values
      • AST_ASSERT_PROPERTY_STMT

        public static final int AST_ASSERT_PROPERTY_STMT
        See Also:
        Constant Field Values
      • AST_ASSUME_PROPERTY_STMT

        public static final int AST_ASSUME_PROPERTY_STMT
        See Also:
        Constant Field Values
      • AST_ATTRIBUTED_STATEMENT

        public static final int AST_ATTRIBUTED_STATEMENT
        See Also:
        Constant Field Values
      • AST_CASE_GENERATE_ITEMS

        public static final int AST_CASE_GENERATE_ITEMS
        See Also:
        Constant Field Values
      • AST_CASE_STATEMENT_ITEM

        public static final int AST_CASE_STATEMENT_ITEM
        See Also:
        Constant Field Values
      • AST_CASE_STATEMENT_ITEMS

        public static final int AST_CASE_STATEMENT_ITEMS
        See Also:
        Constant Field Values
      • AST_CONCURRENT_ASSERTION

        public static final int AST_CONCURRENT_ASSERTION
        See Also:
        Constant Field Values
      • AST_CONCURRENT_ASSERTION_STATEMENT

        public static final int AST_CONCURRENT_ASSERTION_STATEMENT
        See Also:
        Constant Field Values
      • AST_CONTINUOUS_ASSIGNMENT

        public static final int AST_CONTINUOUS_ASSIGNMENT
        See Also:
        Constant Field Values
      • AST_IMMEDIATE_ASSERTION

        public static final int AST_IMMEDIATE_ASSERTION
        See Also:
        Constant Field Values
      • AST_MINTYPMAX_EXPRESSION

        public static final int AST_MINTYPMAX_EXPRESSION
        See Also:
        Constant Field Values
      • AST_NON_CONSEC_REPETITION

        public static final int AST_NON_CONSEC_REPETITION
        See Also:
        Constant Field Values
      • AST_PROCEDURAL_ASSERTION

        public static final int AST_PROCEDURAL_ASSERTION
        See Also:
        Constant Field Values
      • AST_SEQUENCE_MATCH_ITEM

        public static final int AST_SEQUENCE_MATCH_ITEM
        See Also:
        Constant Field Values
      • AST_SVA_FIRST_MATCH_EXPR

        public static final int AST_SVA_FIRST_MATCH_EXPR
        See Also:
        Constant Field Values
      • AST_SVA_THROUGHOUT_EXPR

        public static final int AST_SVA_THROUGHOUT_EXPR
        See Also:
        Constant Field Values
      • DUMMY_additive_operator

        public static final int DUMMY_additive_operator
        See Also:
        Constant Field Values
      • DUMMY_bitwise_and_operator

        public static final int DUMMY_bitwise_and_operator
        See Also:
        Constant Field Values
      • DUMMY_bitwise_or_operator

        public static final int DUMMY_bitwise_or_operator
        See Also:
        Constant Field Values
      • DUMMY_bitwise_xor_operator

        public static final int DUMMY_bitwise_xor_operator
        See Also:
        Constant Field Values
      • DUMMY_equality_operator

        public static final int DUMMY_equality_operator
        See Also:
        Constant Field Values
      • DUMMY_hierarchical_identifier

        public static final int DUMMY_hierarchical_identifier
        See Also:
        Constant Field Values
      • DUMMY_logical_and_operator

        public static final int DUMMY_logical_and_operator
        See Also:
        Constant Field Values
      • DUMMY_logical_or_operator

        public static final int DUMMY_logical_or_operator
        See Also:
        Constant Field Values
      • DUMMY_multiplicative_operator

        public static final int DUMMY_multiplicative_operator
        See Also:
        Constant Field Values
      • DUMMY_system_function_call

        public static final int DUMMY_system_function_call
        See Also:
        Constant Field Values
      • adaptor

        protected org.antlr.runtime.tree.TreeAdaptor adaptor
      • FOLLOW_assert_property_statement_in_concurrent_assertion_statement1003

        public static final org.antlr.runtime.BitSet FOLLOW_assert_property_statement_in_concurrent_assertion_statement1003
      • FOLLOW_assume_property_statement_in_concurrent_assertion_statement1011

        public static final org.antlr.runtime.BitSet FOLLOW_assume_property_statement_in_concurrent_assertion_statement1011
      • FOLLOW_KW_ASSERT_in_assert_property_statement1037

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSERT_in_assert_property_statement1037
      • FOLLOW_KW_PROPERTY_in_assert_property_statement1039

        public static final org.antlr.runtime.BitSet FOLLOW_KW_PROPERTY_in_assert_property_statement1039
      • FOLLOW_LPAREN_in_assert_property_statement1041

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_assert_property_statement1041
      • FOLLOW_property_spec_in_assert_property_statement1045

        public static final org.antlr.runtime.BitSet FOLLOW_property_spec_in_assert_property_statement1045
      • FOLLOW_RPAREN_in_assert_property_statement1047

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_assert_property_statement1047
      • FOLLOW_action_block_in_assert_property_statement1051

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_assert_property_statement1051
      • FOLLOW_KW_ASSUME_in_assume_property_statement1102

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSUME_in_assume_property_statement1102
      • FOLLOW_KW_PROPERTY_in_assume_property_statement1104

        public static final org.antlr.runtime.BitSet FOLLOW_KW_PROPERTY_in_assume_property_statement1104
      • FOLLOW_LPAREN_in_assume_property_statement1106

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_assume_property_statement1106
      • FOLLOW_property_spec_in_assume_property_statement1110

        public static final org.antlr.runtime.BitSet FOLLOW_property_spec_in_assume_property_statement1110
      • FOLLOW_RPAREN_in_assume_property_statement1112

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_assume_property_statement1112
      • FOLLOW_action_block_in_assume_property_statement1116

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_assume_property_statement1116
      • FOLLOW_statement_in_action_block1169

        public static final org.antlr.runtime.BitSet FOLLOW_statement_in_action_block1169
      • FOLLOW_KW_ELSE_in_action_block1172

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ELSE_in_action_block1172
      • FOLLOW_statement_in_action_block1176

        public static final org.antlr.runtime.BitSet FOLLOW_statement_in_action_block1176
      • FOLLOW_null_statement_in_action_block1234

        public static final org.antlr.runtime.BitSet FOLLOW_null_statement_in_action_block1234
      • FOLLOW_KW_ELSE_in_action_block1236

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ELSE_in_action_block1236
      • FOLLOW_statement_in_action_block1240

        public static final org.antlr.runtime.BitSet FOLLOW_statement_in_action_block1240
      • FOLLOW_sva_port_connection_in_list_of_arguments1298

        public static final org.antlr.runtime.BitSet FOLLOW_sva_port_connection_in_list_of_arguments1298
      • FOLLOW_COMMA_in_list_of_arguments1302

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_list_of_arguments1302
      • FOLLOW_sva_port_connection_in_list_of_arguments1304

        public static final org.antlr.runtime.BitSet FOLLOW_sva_port_connection_in_list_of_arguments1304
      • FOLLOW_DOT_in_sva_port_connection1331

        public static final org.antlr.runtime.BitSet FOLLOW_DOT_in_sva_port_connection1331
      • FOLLOW_identifier_in_sva_port_connection1333

        public static final org.antlr.runtime.BitSet FOLLOW_identifier_in_sva_port_connection1333
      • FOLLOW_LPAREN_in_sva_port_connection1335

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sva_port_connection1335
      • FOLLOW_actual_arg_in_sva_port_connection1339

        public static final org.antlr.runtime.BitSet FOLLOW_actual_arg_in_sva_port_connection1339
      • FOLLOW_RPAREN_in_sva_port_connection1344

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sva_port_connection1344
      • FOLLOW_actual_arg_in_sva_port_connection1397

        public static final org.antlr.runtime.BitSet FOLLOW_actual_arg_in_sva_port_connection1397
      • FOLLOW_property_expr_in_actual_arg1453

        public static final org.antlr.runtime.BitSet FOLLOW_property_expr_in_actual_arg1453
      • FOLLOW_event_expression_in_actual_arg1461

        public static final org.antlr.runtime.BitSet FOLLOW_event_expression_in_actual_arg1461
      • FOLLOW_property_declaration_in_assertion_item_declaration1475

        public static final org.antlr.runtime.BitSet FOLLOW_property_declaration_in_assertion_item_declaration1475
      • FOLLOW_sequence_declaration_in_assertion_item_declaration1483

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_declaration_in_assertion_item_declaration1483
      • FOLLOW_KW_PROPERTY_in_property_declaration1497

        public static final org.antlr.runtime.BitSet FOLLOW_KW_PROPERTY_in_property_declaration1497
      • FOLLOW_identifier_in_property_declaration1499

        public static final org.antlr.runtime.BitSet FOLLOW_identifier_in_property_declaration1499
      • FOLLOW_LPAREN_in_property_declaration1503

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_property_declaration1503
      • FOLLOW_property_port_list_in_property_declaration1507

        public static final org.antlr.runtime.BitSet FOLLOW_property_port_list_in_property_declaration1507
      • FOLLOW_RPAREN_in_property_declaration1512

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_property_declaration1512
      • FOLLOW_SEMI_in_property_declaration1517

        public static final org.antlr.runtime.BitSet FOLLOW_SEMI_in_property_declaration1517
      • FOLLOW_assertion_variable_declaration_in_property_declaration1529

        public static final org.antlr.runtime.BitSet FOLLOW_assertion_variable_declaration_in_property_declaration1529
      • FOLLOW_property_spec_in_property_declaration1544

        public static final org.antlr.runtime.BitSet FOLLOW_property_spec_in_property_declaration1544
      • FOLLOW_SEMI_in_property_declaration1548

        public static final org.antlr.runtime.BitSet FOLLOW_SEMI_in_property_declaration1548
      • FOLLOW_KW_ENDPROPERTY_in_property_declaration1565

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ENDPROPERTY_in_property_declaration1565
      • FOLLOW_COLON_in_property_declaration1569

        public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_property_declaration1569
      • FOLLOW_identifier_in_property_declaration1571

        public static final org.antlr.runtime.BitSet FOLLOW_identifier_in_property_declaration1571
      • FOLLOW_property_port_item_in_property_port_list1663

        public static final org.antlr.runtime.BitSet FOLLOW_property_port_item_in_property_port_list1663
      • FOLLOW_COMMA_in_property_port_list1667

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_property_port_list1667
      • FOLLOW_property_port_item_in_property_port_list1669

        public static final org.antlr.runtime.BitSet FOLLOW_property_port_item_in_property_port_list1669
      • FOLLOW_attributes_in_property_port_item1698

        public static final org.antlr.runtime.BitSet FOLLOW_attributes_in_property_port_item1698
      • FOLLOW_KW_LOCAL_in_property_port_item1702

        public static final org.antlr.runtime.BitSet FOLLOW_KW_LOCAL_in_property_port_item1702
      • FOLLOW_KW_INPUT_in_property_port_item1706

        public static final org.antlr.runtime.BitSet FOLLOW_KW_INPUT_in_property_port_item1706
      • FOLLOW_property_formal_type_in_property_port_item1715

        public static final org.antlr.runtime.BitSet FOLLOW_property_formal_type_in_property_port_item1715
      • FOLLOW_port_assignment_in_property_port_item1727

        public static final org.antlr.runtime.BitSet FOLLOW_port_assignment_in_property_port_item1727
      • FOLLOW_COMMA_in_property_port_item1730

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_property_port_item1730
      • FOLLOW_attributes_in_property_port_item1732

        public static final org.antlr.runtime.BitSet FOLLOW_attributes_in_property_port_item1732
      • FOLLOW_port_assignment_in_property_port_item1734

        public static final org.antlr.runtime.BitSet FOLLOW_port_assignment_in_property_port_item1734
      • FOLLOW_sequence_formal_type_in_property_formal_type1834

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_formal_type_in_property_formal_type1834
      • FOLLOW_KW_PROPERTY_in_property_formal_type1848

        public static final org.antlr.runtime.BitSet FOLLOW_KW_PROPERTY_in_property_formal_type1848
      • FOLLOW_event_control_in_property_spec1875

        public static final org.antlr.runtime.BitSet FOLLOW_event_control_in_property_spec1875
      • FOLLOW_disable_condition_in_property_spec1882

        public static final org.antlr.runtime.BitSet FOLLOW_disable_condition_in_property_spec1882
      • FOLLOW_property_expr_in_property_spec1887

        public static final org.antlr.runtime.BitSet FOLLOW_property_expr_in_property_spec1887
      • FOLLOW_KW_DISABLE_in_disable_condition1954

        public static final org.antlr.runtime.BitSet FOLLOW_KW_DISABLE_in_disable_condition1954
      • FOLLOW_KW_IFF_in_disable_condition1956

        public static final org.antlr.runtime.BitSet FOLLOW_KW_IFF_in_disable_condition1956
      • FOLLOW_LPAREN_in_disable_condition1958

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_disable_condition1958
      • FOLLOW_expression_in_disable_condition1960

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_disable_condition1960
      • FOLLOW_RPAREN_in_disable_condition1962

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_disable_condition1962
      • FOLLOW_hierarchical_identifier_in_sva_reference2003

        public static final org.antlr.runtime.BitSet FOLLOW_hierarchical_identifier_in_sva_reference2003
      • FOLLOW_LPAREN_in_sva_reference2005

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sva_reference2005
      • FOLLOW_list_of_arguments_in_sva_reference2010

        public static final org.antlr.runtime.BitSet FOLLOW_list_of_arguments_in_sva_reference2010
      • FOLLOW_RPAREN_in_sva_reference2014

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sva_reference2014
      • FOLLOW_COMMA_in_match_items2070

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_match_items2070
      • FOLLOW_sequence_match_item_in_match_items2072

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_match_item_in_match_items2072
      • FOLLOW_sva_expr_in_sequence_match_expr2098

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sequence_match_expr2098
      • FOLLOW_match_items_in_sequence_match_expr2115

        public static final org.antlr.runtime.BitSet FOLLOW_match_items_in_sequence_match_expr2115
      • FOLLOW_expression_in_expr_or_reference2175

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_expr_or_reference2175
      • FOLLOW_sva_reference_in_expr_or_reference2183

        public static final org.antlr.runtime.BitSet FOLLOW_sva_reference_in_expr_or_reference2183
      • FOLLOW_expression_in_sequence_primary2217

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_sequence_primary2217
      • FOLLOW_LPAREN_in_sequence_primary2225

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sequence_primary2225
      • FOLLOW_sequence_match_expr_in_sequence_primary2228

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_match_expr_in_sequence_primary2228
      • FOLLOW_RPAREN_in_sequence_primary2230

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sequence_primary2230
      • FOLLOW_expr_or_reference_in_sequence_primary2239

        public static final org.antlr.runtime.BitSet FOLLOW_expr_or_reference_in_sequence_primary2239
      • FOLLOW_sequence_primary_in_sva_repeated_expr2253

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_primary_in_sva_repeated_expr2253
      • FOLLOW_boolean_abbrev_in_sva_repeated_expr2270

        public static final org.antlr.runtime.BitSet FOLLOW_boolean_abbrev_in_sva_repeated_expr2270
      • FOLLOW_sva_repeated_expr_in_sva_delay_expr2337

        public static final org.antlr.runtime.BitSet FOLLOW_sva_repeated_expr_in_sva_delay_expr2337
      • FOLLOW_next_element_in_sva_delay_expr2348

        public static final org.antlr.runtime.BitSet FOLLOW_next_element_in_sva_delay_expr2348
      • FOLLOW_next_element_in_sva_delay_expr2431

        public static final org.antlr.runtime.BitSet FOLLOW_next_element_in_sva_delay_expr2431
      • FOLLOW_cycle_delay_range_in_next_element2475

        public static final org.antlr.runtime.BitSet FOLLOW_cycle_delay_range_in_next_element2475
      • FOLLOW_sequence_expr_in_next_element2477

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_expr_in_next_element2477
      • FOLLOW_sva_delay_expr_in_sva_throughout_expr2493

        public static final org.antlr.runtime.BitSet FOLLOW_sva_delay_expr_in_sva_throughout_expr2493
      • FOLLOW_KW_THROUGHOUT_in_sva_throughout_expr2511

        public static final org.antlr.runtime.BitSet FOLLOW_KW_THROUGHOUT_in_sva_throughout_expr2511
      • FOLLOW_sequence_expr_in_sva_throughout_expr2515

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_expr_in_sva_throughout_expr2515
      • FOLLOW_sva_throughout_expr_in_sva_within_expr2577

        public static final org.antlr.runtime.BitSet FOLLOW_sva_throughout_expr_in_sva_within_expr2577
      • FOLLOW_KW_WITHIN_in_sva_within_expr2594

        public static final org.antlr.runtime.BitSet FOLLOW_KW_WITHIN_in_sva_within_expr2594
      • FOLLOW_sequence_expr_in_sva_within_expr2598

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_expr_in_sva_within_expr2598
      • FOLLOW_sva_within_expr_in_sva_intersect_expr2647

        public static final org.antlr.runtime.BitSet FOLLOW_sva_within_expr_in_sva_intersect_expr2647
      • FOLLOW_KW_INTERSECT_in_sva_intersect_expr2664

        public static final org.antlr.runtime.BitSet FOLLOW_KW_INTERSECT_in_sva_intersect_expr2664
      • FOLLOW_sequence_expr_in_sva_intersect_expr2668

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_expr_in_sva_intersect_expr2668
      • FOLLOW_KW_FIRST_MATCH_in_sva_first_match_expr2717

        public static final org.antlr.runtime.BitSet FOLLOW_KW_FIRST_MATCH_in_sva_first_match_expr2717
      • FOLLOW_LPAREN_in_sva_first_match_expr2719

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sva_first_match_expr2719
      • FOLLOW_sequence_match_expr_in_sva_first_match_expr2721

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_match_expr_in_sva_first_match_expr2721
      • FOLLOW_RPAREN_in_sva_first_match_expr2723

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sva_first_match_expr2723
      • FOLLOW_event_control_in_sva_event_seq_expr2763

        public static final org.antlr.runtime.BitSet FOLLOW_event_control_in_sva_event_seq_expr2763
      • FOLLOW_sequence_expr_in_sva_event_seq_expr2765

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_expr_in_sva_event_seq_expr2765
      • FOLLOW_sva_event_seq_expr_in_sva_basic_sequence_expr2813

        public static final org.antlr.runtime.BitSet FOLLOW_sva_event_seq_expr_in_sva_basic_sequence_expr2813
      • FOLLOW_sva_intersect_expr_in_sva_basic_sequence_expr2821

        public static final org.antlr.runtime.BitSet FOLLOW_sva_intersect_expr_in_sva_basic_sequence_expr2821
      • FOLLOW_sva_first_match_expr_in_sva_basic_sequence_expr2829

        public static final org.antlr.runtime.BitSet FOLLOW_sva_first_match_expr_in_sva_basic_sequence_expr2829
      • FOLLOW_sequence_strength_in_sva_strength_expr2843

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_strength_in_sva_strength_expr2843
      • FOLLOW_LPAREN_in_sva_strength_expr2845

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sva_strength_expr2845
      • FOLLOW_sequence_expr_in_sva_strength_expr2847

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_expr_in_sva_strength_expr2847
      • FOLLOW_RPAREN_in_sva_strength_expr2849

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sva_strength_expr2849
      • FOLLOW_sva_basic_sequence_expr_in_sva_strength_expr2892

        public static final org.antlr.runtime.BitSet FOLLOW_sva_basic_sequence_expr_in_sva_strength_expr2892
      • FOLLOW_nexttime_op_in_sva_nexttime_expr2906

        public static final org.antlr.runtime.BitSet FOLLOW_nexttime_op_in_sva_nexttime_expr2906
      • FOLLOW_LBRACK_in_sva_nexttime_expr2909

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_sva_nexttime_expr2909
      • FOLLOW_expression_in_sva_nexttime_expr2911

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_sva_nexttime_expr2911
      • FOLLOW_RBRACK_in_sva_nexttime_expr2913

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_sva_nexttime_expr2913
      • FOLLOW_sva_expr_in_sva_nexttime_expr2917

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_nexttime_expr2917
      • FOLLOW_KW_NOT_in_sva_neg_expr2982

        public static final org.antlr.runtime.BitSet FOLLOW_KW_NOT_in_sva_neg_expr2982
      • FOLLOW_sva_expr_in_sva_neg_expr2984

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_neg_expr2984
      • FOLLOW_sva_nexttime_expr_in_sva_unary_expr3023

        public static final org.antlr.runtime.BitSet FOLLOW_sva_nexttime_expr_in_sva_unary_expr3023
      • FOLLOW_sva_neg_expr_in_sva_unary_expr3031

        public static final org.antlr.runtime.BitSet FOLLOW_sva_neg_expr_in_sva_unary_expr3031
      • FOLLOW_sva_strength_expr_in_sva_unary_expr3039

        public static final org.antlr.runtime.BitSet FOLLOW_sva_strength_expr_in_sva_unary_expr3039
      • FOLLOW_sva_unary_expr_in_sva_and_expr3053

        public static final org.antlr.runtime.BitSet FOLLOW_sva_unary_expr_in_sva_and_expr3053
      • FOLLOW_KW_AND_in_sva_and_expr3070

        public static final org.antlr.runtime.BitSet FOLLOW_KW_AND_in_sva_and_expr3070
      • FOLLOW_sva_expr_in_sva_and_expr3074

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_and_expr3074
      • FOLLOW_sva_and_expr_in_sva_or_expr3123

        public static final org.antlr.runtime.BitSet FOLLOW_sva_and_expr_in_sva_or_expr3123
      • FOLLOW_KW_OR_in_sva_or_expr3140

        public static final org.antlr.runtime.BitSet FOLLOW_KW_OR_in_sva_or_expr3140
      • FOLLOW_sva_expr_in_sva_or_expr3144

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_or_expr3144
      • FOLLOW_sva_or_expr_in_sva_iff_expr3195

        public static final org.antlr.runtime.BitSet FOLLOW_sva_or_expr_in_sva_iff_expr3195
      • FOLLOW_KW_IFF_in_sva_iff_expr3213

        public static final org.antlr.runtime.BitSet FOLLOW_KW_IFF_in_sva_iff_expr3213
      • FOLLOW_sva_expr_in_sva_iff_expr3217

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_iff_expr3217
      • FOLLOW_sva_iff_expr_in_sva_bin_expr3268

        public static final org.antlr.runtime.BitSet FOLLOW_sva_iff_expr_in_sva_bin_expr3268
      • FOLLOW_prop_binary_op_in_sva_bin_expr3286

        public static final org.antlr.runtime.BitSet FOLLOW_prop_binary_op_in_sva_bin_expr3286
      • FOLLOW_sva_expr_in_sva_bin_expr3290

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_bin_expr3290
      • FOLLOW_sva_bin_expr_in_sva_impl_follow_expr3341

        public static final org.antlr.runtime.BitSet FOLLOW_sva_bin_expr_in_sva_impl_follow_expr3341
      • FOLLOW_impl_follow_op_in_sva_impl_follow_expr3359

        public static final org.antlr.runtime.BitSet FOLLOW_impl_follow_op_in_sva_impl_follow_expr3359
      • FOLLOW_sva_expr_in_sva_impl_follow_expr3363

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_impl_follow_expr3363
      • FOLLOW_accept_reject_op_in_sva_accept_reject_expr3435

        public static final org.antlr.runtime.BitSet FOLLOW_accept_reject_op_in_sva_accept_reject_expr3435
      • FOLLOW_LPAREN_in_sva_accept_reject_expr3437

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sva_accept_reject_expr3437
      • FOLLOW_expression_in_sva_accept_reject_expr3439

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_sva_accept_reject_expr3439
      • FOLLOW_RPAREN_in_sva_accept_reject_expr3441

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sva_accept_reject_expr3441
      • FOLLOW_sva_expr_in_sva_accept_reject_expr3443

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_accept_reject_expr3443
      • FOLLOW_KW_ALWAYS_in_sva_always_expr3506

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ALWAYS_in_sva_always_expr3506
      • FOLLOW_LBRACK_in_sva_always_expr3509

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_sva_always_expr3509
      • FOLLOW_delay_range_in_sva_always_expr3511

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_sva_always_expr3511
      • FOLLOW_RBRACK_in_sva_always_expr3513

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_sva_always_expr3513
      • FOLLOW_sva_expr_in_sva_always_expr3517

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_always_expr3517
      • FOLLOW_KW_S_ALWAYS_in_sva_always_expr3577

        public static final org.antlr.runtime.BitSet FOLLOW_KW_S_ALWAYS_in_sva_always_expr3577
      • FOLLOW_LBRACK_in_sva_always_expr3579

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_sva_always_expr3579
      • FOLLOW_delay_range_in_sva_always_expr3581

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_sva_always_expr3581
      • FOLLOW_RBRACK_in_sva_always_expr3583

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_sva_always_expr3583
      • FOLLOW_sva_expr_in_sva_always_expr3585

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_always_expr3585
      • FOLLOW_KW_EVENTUALLY_in_sva_eventually_expr3648

        public static final org.antlr.runtime.BitSet FOLLOW_KW_EVENTUALLY_in_sva_eventually_expr3648
      • FOLLOW_LBRACK_in_sva_eventually_expr3650

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_sva_eventually_expr3650
      • FOLLOW_delay_range_in_sva_eventually_expr3652

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_sva_eventually_expr3652
      • FOLLOW_RBRACK_in_sva_eventually_expr3654

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_sva_eventually_expr3654
      • FOLLOW_sva_expr_in_sva_eventually_expr3656

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_eventually_expr3656
      • FOLLOW_KW_S_EVENTUALLY_in_sva_eventually_expr3713

        public static final org.antlr.runtime.BitSet FOLLOW_KW_S_EVENTUALLY_in_sva_eventually_expr3713
      • FOLLOW_LBRACK_in_sva_eventually_expr3716

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_sva_eventually_expr3716
      • FOLLOW_delay_range_in_sva_eventually_expr3718

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_sva_eventually_expr3718
      • FOLLOW_RBRACK_in_sva_eventually_expr3720

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_sva_eventually_expr3720
      • FOLLOW_sva_expr_in_sva_eventually_expr3724

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_eventually_expr3724
      • FOLLOW_KW_IF_in_sva_if_else_expr3790

        public static final org.antlr.runtime.BitSet FOLLOW_KW_IF_in_sva_if_else_expr3790
      • FOLLOW_LPAREN_in_sva_if_else_expr3792

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sva_if_else_expr3792
      • FOLLOW_expression_in_sva_if_else_expr3794

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_sva_if_else_expr3794
      • FOLLOW_RPAREN_in_sva_if_else_expr3796

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sva_if_else_expr3796
      • FOLLOW_sva_expr_in_sva_if_else_expr3800

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_if_else_expr3800
      • FOLLOW_KW_ELSE_in_sva_if_else_expr3804

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ELSE_in_sva_if_else_expr3804
      • FOLLOW_sva_expr_in_sva_if_else_expr3808

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_if_else_expr3808
      • FOLLOW_KW_CASE_in_sva_case_expr3879

        public static final org.antlr.runtime.BitSet FOLLOW_KW_CASE_in_sva_case_expr3879
      • FOLLOW_LPAREN_in_sva_case_expr3881

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sva_case_expr3881
      • FOLLOW_expression_in_sva_case_expr3883

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_sva_case_expr3883
      • FOLLOW_RPAREN_in_sva_case_expr3885

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sva_case_expr3885
      • FOLLOW_property_case_item_in_sva_case_expr3887

        public static final org.antlr.runtime.BitSet FOLLOW_property_case_item_in_sva_case_expr3887
      • FOLLOW_property_case_item_in_sva_case_expr3891

        public static final org.antlr.runtime.BitSet FOLLOW_property_case_item_in_sva_case_expr3891
      • FOLLOW_KW_ENDCASE_in_sva_case_expr3896

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ENDCASE_in_sva_case_expr3896
      • FOLLOW_event_control_in_sva_event_expr3948

        public static final org.antlr.runtime.BitSet FOLLOW_event_control_in_sva_event_expr3948
      • FOLLOW_sva_expr_in_sva_event_expr3950

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_sva_event_expr3950
      • FOLLOW_sva_impl_follow_expr_in_sva_expr3999

        public static final org.antlr.runtime.BitSet FOLLOW_sva_impl_follow_expr_in_sva_expr3999
      • FOLLOW_sva_if_else_expr_in_sva_expr4007

        public static final org.antlr.runtime.BitSet FOLLOW_sva_if_else_expr_in_sva_expr4007
      • FOLLOW_sva_case_expr_in_sva_expr4015

        public static final org.antlr.runtime.BitSet FOLLOW_sva_case_expr_in_sva_expr4015
      • FOLLOW_sva_always_expr_in_sva_expr4023

        public static final org.antlr.runtime.BitSet FOLLOW_sva_always_expr_in_sva_expr4023
      • FOLLOW_sva_eventually_expr_in_sva_expr4031

        public static final org.antlr.runtime.BitSet FOLLOW_sva_eventually_expr_in_sva_expr4031
      • FOLLOW_sva_accept_reject_expr_in_sva_expr4039

        public static final org.antlr.runtime.BitSet FOLLOW_sva_accept_reject_expr_in_sva_expr4039
      • FOLLOW_sva_event_expr_in_sva_expr4047

        public static final org.antlr.runtime.BitSet FOLLOW_sva_event_expr_in_sva_expr4047
      • FOLLOW_sva_expr_in_property_expr4060

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_property_expr4060
      • FOLLOW_logical_or_operator_in_verilog_operator4240

        public static final org.antlr.runtime.BitSet FOLLOW_logical_or_operator_in_verilog_operator4240
      • FOLLOW_logical_and_operator_in_verilog_operator4248

        public static final org.antlr.runtime.BitSet FOLLOW_logical_and_operator_in_verilog_operator4248
      • FOLLOW_bitwise_or_operator_in_verilog_operator4256

        public static final org.antlr.runtime.BitSet FOLLOW_bitwise_or_operator_in_verilog_operator4256
      • FOLLOW_bitwise_xor_operator_in_verilog_operator4264

        public static final org.antlr.runtime.BitSet FOLLOW_bitwise_xor_operator_in_verilog_operator4264
      • FOLLOW_bitwise_and_operator_in_verilog_operator4272

        public static final org.antlr.runtime.BitSet FOLLOW_bitwise_and_operator_in_verilog_operator4272
      • FOLLOW_equality_operator_in_verilog_operator4280

        public static final org.antlr.runtime.BitSet FOLLOW_equality_operator_in_verilog_operator4280
      • FOLLOW_compare_operator_in_verilog_operator4288

        public static final org.antlr.runtime.BitSet FOLLOW_compare_operator_in_verilog_operator4288
      • FOLLOW_shift_operator_in_verilog_operator4296

        public static final org.antlr.runtime.BitSet FOLLOW_shift_operator_in_verilog_operator4296
      • FOLLOW_additive_operator_in_verilog_operator4304

        public static final org.antlr.runtime.BitSet FOLLOW_additive_operator_in_verilog_operator4304
      • FOLLOW_multiplicative_operator_in_verilog_operator4312

        public static final org.antlr.runtime.BitSet FOLLOW_multiplicative_operator_in_verilog_operator4312
      • FOLLOW_power_operator_in_verilog_operator4320

        public static final org.antlr.runtime.BitSet FOLLOW_power_operator_in_verilog_operator4320
      • FOLLOW_expression_in_property_case_item4334

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_property_case_item4334
      • FOLLOW_COMMA_in_property_case_item4338

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_property_case_item4338
      • FOLLOW_expression_in_property_case_item4340

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_property_case_item4340
      • FOLLOW_COLON_in_property_case_item4345

        public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_property_case_item4345
      • FOLLOW_sva_expr_in_property_case_item4347

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_property_case_item4347
      • FOLLOW_SEMI_in_property_case_item4351

        public static final org.antlr.runtime.BitSet FOLLOW_SEMI_in_property_case_item4351
      • FOLLOW_KW_DEFAULT_in_property_case_item4404

        public static final org.antlr.runtime.BitSet FOLLOW_KW_DEFAULT_in_property_case_item4404
      • FOLLOW_COLON_in_property_case_item4408

        public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_property_case_item4408
      • FOLLOW_sva_expr_in_property_case_item4413

        public static final org.antlr.runtime.BitSet FOLLOW_sva_expr_in_property_case_item4413
      • FOLLOW_SEMI_in_property_case_item4417

        public static final org.antlr.runtime.BitSet FOLLOW_SEMI_in_property_case_item4417
      • FOLLOW_KW_SEQUENCE_in_sequence_declaration4469

        public static final org.antlr.runtime.BitSet FOLLOW_KW_SEQUENCE_in_sequence_declaration4469
      • FOLLOW_identifier_in_sequence_declaration4473

        public static final org.antlr.runtime.BitSet FOLLOW_identifier_in_sequence_declaration4473
      • FOLLOW_LPAREN_in_sequence_declaration4477

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_sequence_declaration4477
      • FOLLOW_sequence_port_list_in_sequence_declaration4481

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_port_list_in_sequence_declaration4481
      • FOLLOW_RPAREN_in_sequence_declaration4486

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_sequence_declaration4486
      • FOLLOW_SEMI_in_sequence_declaration4491

        public static final org.antlr.runtime.BitSet FOLLOW_SEMI_in_sequence_declaration4491
      • FOLLOW_assertion_variable_declaration_in_sequence_declaration4503

        public static final org.antlr.runtime.BitSet FOLLOW_assertion_variable_declaration_in_sequence_declaration4503
      • FOLLOW_sequence_expr_in_sequence_declaration4518

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_expr_in_sequence_declaration4518
      • FOLLOW_SEMI_in_sequence_declaration4522

        public static final org.antlr.runtime.BitSet FOLLOW_SEMI_in_sequence_declaration4522
      • FOLLOW_KW_ENDSEQUENCE_in_sequence_declaration4539

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ENDSEQUENCE_in_sequence_declaration4539
      • FOLLOW_COLON_in_sequence_declaration4543

        public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_sequence_declaration4543
      • FOLLOW_identifier_in_sequence_declaration4545

        public static final org.antlr.runtime.BitSet FOLLOW_identifier_in_sequence_declaration4545
      • FOLLOW_sequence_port_item_in_sequence_port_list4638

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_port_item_in_sequence_port_list4638
      • FOLLOW_COMMA_in_sequence_port_list4642

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_sequence_port_list4642
      • FOLLOW_sequence_port_item_in_sequence_port_list4644

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_port_item_in_sequence_port_list4644
      • FOLLOW_attributes_in_sequence_port_item4673

        public static final org.antlr.runtime.BitSet FOLLOW_attributes_in_sequence_port_item4673
      • FOLLOW_KW_LOCAL_in_sequence_port_item4679

        public static final org.antlr.runtime.BitSet FOLLOW_KW_LOCAL_in_sequence_port_item4679
      • FOLLOW_sequence_lvar_port_direction_in_sequence_port_item4683

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_lvar_port_direction_in_sequence_port_item4683
      • FOLLOW_sequence_formal_type_in_sequence_port_item4692

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_formal_type_in_sequence_port_item4692
      • FOLLOW_port_assignment_in_sequence_port_item4704

        public static final org.antlr.runtime.BitSet FOLLOW_port_assignment_in_sequence_port_item4704
      • FOLLOW_COMMA_in_sequence_port_item4708

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_sequence_port_item4708
      • FOLLOW_attributes_in_sequence_port_item4710

        public static final org.antlr.runtime.BitSet FOLLOW_attributes_in_sequence_port_item4710
      • FOLLOW_port_assignment_in_sequence_port_item4712

        public static final org.antlr.runtime.BitSet FOLLOW_port_assignment_in_sequence_port_item4712
      • FOLLOW_port_identifier_in_port_assignment4812

        public static final org.antlr.runtime.BitSet FOLLOW_port_identifier_in_port_assignment4812
      • FOLLOW_range_expression_in_port_assignment4816

        public static final org.antlr.runtime.BitSet FOLLOW_range_expression_in_port_assignment4816
      • FOLLOW_ASSIGN_in_port_assignment4823

        public static final org.antlr.runtime.BitSet FOLLOW_ASSIGN_in_port_assignment4823
      • FOLLOW_actual_arg_in_port_assignment4825

        public static final org.antlr.runtime.BitSet FOLLOW_actual_arg_in_port_assignment4825
      • FOLLOW_data_type_in_sequence_formal_type4934

        public static final org.antlr.runtime.BitSet FOLLOW_data_type_in_sequence_formal_type4934
      • FOLLOW_KW_SEQUENCE_in_sequence_formal_type4950

        public static final org.antlr.runtime.BitSet FOLLOW_KW_SEQUENCE_in_sequence_formal_type4950
      • FOLLOW_KW_UNTYPED_in_sequence_formal_type4969

        public static final org.antlr.runtime.BitSet FOLLOW_KW_UNTYPED_in_sequence_formal_type4969
      • FOLLOW_sva_or_expr_in_sequence_expr4994

        public static final org.antlr.runtime.BitSet FOLLOW_sva_or_expr_in_sequence_expr4994
      • FOLLOW_DELAY_in_cycle_delay_range5008

        public static final org.antlr.runtime.BitSet FOLLOW_DELAY_in_cycle_delay_range5008
      • FOLLOW_primary_in_cycle_delay_range5010

        public static final org.antlr.runtime.BitSet FOLLOW_primary_in_cycle_delay_range5010
      • FOLLOW_DELAY_in_cycle_delay_range5029

        public static final org.antlr.runtime.BitSet FOLLOW_DELAY_in_cycle_delay_range5029
      • FOLLOW_LBRACK_in_cycle_delay_range5031

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_cycle_delay_range5031
      • FOLLOW_delay_range_in_cycle_delay_range5035

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_cycle_delay_range5035
      • FOLLOW_RBRACK_in_cycle_delay_range5037

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_cycle_delay_range5037
      • FOLLOW_DELAY_in_cycle_delay_range5058

        public static final org.antlr.runtime.BitSet FOLLOW_DELAY_in_cycle_delay_range5058
      • FOLLOW_LBRACK_in_cycle_delay_range5060

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_cycle_delay_range5060
      • FOLLOW_range_sign_in_cycle_delay_range5064

        public static final org.antlr.runtime.BitSet FOLLOW_range_sign_in_cycle_delay_range5064
      • FOLLOW_RBRACK_in_cycle_delay_range5066

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_cycle_delay_range5066
      • FOLLOW_net_assignment_in_sequence_match_item5115

        public static final org.antlr.runtime.BitSet FOLLOW_net_assignment_in_sequence_match_item5115
      • FOLLOW_inc_or_dec_expression_in_sequence_match_item5123

        public static final org.antlr.runtime.BitSet FOLLOW_inc_or_dec_expression_in_sequence_match_item5123
      • FOLLOW_function_call_in_sequence_match_item5131

        public static final org.antlr.runtime.BitSet FOLLOW_function_call_in_sequence_match_item5131
      • FOLLOW_system_function_call_in_sequence_match_item5139

        public static final org.antlr.runtime.BitSet FOLLOW_system_function_call_in_sequence_match_item5139
      • FOLLOW_consecutive_repetition_in_boolean_abbrev5165

        public static final org.antlr.runtime.BitSet FOLLOW_consecutive_repetition_in_boolean_abbrev5165
      • FOLLOW_non_consecutive_repetition_in_boolean_abbrev5173

        public static final org.antlr.runtime.BitSet FOLLOW_non_consecutive_repetition_in_boolean_abbrev5173
      • FOLLOW_goto_repetition_in_boolean_abbrev5181

        public static final org.antlr.runtime.BitSet FOLLOW_goto_repetition_in_boolean_abbrev5181
      • FOLLOW_LBRACK_in_consecutive_repetition5195

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_consecutive_repetition5195
      • FOLLOW_STAR_in_consecutive_repetition5197

        public static final org.antlr.runtime.BitSet FOLLOW_STAR_in_consecutive_repetition5197
      • FOLLOW_delay_range_in_consecutive_repetition5201

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_consecutive_repetition5201
      • FOLLOW_RBRACK_in_consecutive_repetition5203

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_consecutive_repetition5203
      • FOLLOW_LBRACK_in_consecutive_repetition5223

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_consecutive_repetition5223
      • FOLLOW_STAR_in_consecutive_repetition5225

        public static final org.antlr.runtime.BitSet FOLLOW_STAR_in_consecutive_repetition5225
      • FOLLOW_RBRACK_in_consecutive_repetition5227

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_consecutive_repetition5227
      • FOLLOW_LBRACK_in_consecutive_repetition5246

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_consecutive_repetition5246
      • FOLLOW_PLUS_in_consecutive_repetition5248

        public static final org.antlr.runtime.BitSet FOLLOW_PLUS_in_consecutive_repetition5248
      • FOLLOW_RBRACK_in_consecutive_repetition5250

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_consecutive_repetition5250
      • FOLLOW_LBRACK_in_non_consecutive_repetition5275

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_non_consecutive_repetition5275
      • FOLLOW_ASSIGN_in_non_consecutive_repetition5277

        public static final org.antlr.runtime.BitSet FOLLOW_ASSIGN_in_non_consecutive_repetition5277
      • FOLLOW_delay_range_in_non_consecutive_repetition5279

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_non_consecutive_repetition5279
      • FOLLOW_RBRACK_in_non_consecutive_repetition5281

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_non_consecutive_repetition5281
      • FOLLOW_LBRACK_in_goto_repetition5306

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_goto_repetition5306
      • FOLLOW_TRIGGER_in_goto_repetition5308

        public static final org.antlr.runtime.BitSet FOLLOW_TRIGGER_in_goto_repetition5308
      • FOLLOW_delay_range_in_goto_repetition5310

        public static final org.antlr.runtime.BitSet FOLLOW_delay_range_in_goto_repetition5310
      • FOLLOW_RBRACK_in_goto_repetition5312

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_goto_repetition5312
      • FOLLOW_range_expression_in_delay_range5337

        public static final org.antlr.runtime.BitSet FOLLOW_range_expression_in_delay_range5337
      • FOLLOW_COLON_in_delay_range5340

        public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_delay_range5340
      • FOLLOW_DOLLAR_in_delay_range5342

        public static final org.antlr.runtime.BitSet FOLLOW_DOLLAR_in_delay_range5342
      • FOLLOW_var_data_type_in_assertion_variable_declaration5398

        public static final org.antlr.runtime.BitSet FOLLOW_var_data_type_in_assertion_variable_declaration5398
      • FOLLOW_variable_decl_assignment_in_assertion_variable_declaration5400

        public static final org.antlr.runtime.BitSet FOLLOW_variable_decl_assignment_in_assertion_variable_declaration5400
      • FOLLOW_COMMA_in_assertion_variable_declaration5404

        public static final org.antlr.runtime.BitSet FOLLOW_COMMA_in_assertion_variable_declaration5404
      • FOLLOW_variable_decl_assignment_in_assertion_variable_declaration5406

        public static final org.antlr.runtime.BitSet FOLLOW_variable_decl_assignment_in_assertion_variable_declaration5406
      • FOLLOW_SEMI_in_assertion_variable_declaration5411

        public static final org.antlr.runtime.BitSet FOLLOW_SEMI_in_assertion_variable_declaration5411
      • FOLLOW_data_type_in_var_data_type5461

        public static final org.antlr.runtime.BitSet FOLLOW_data_type_in_var_data_type5461
      • FOLLOW_KW_VAR_in_var_data_type5469

        public static final org.antlr.runtime.BitSet FOLLOW_KW_VAR_in_var_data_type5469
      • FOLLOW_data_type_in_var_data_type5472

        public static final org.antlr.runtime.BitSet FOLLOW_data_type_in_var_data_type5472
      • FOLLOW_KW_SIGNED_in_signing5489

        public static final org.antlr.runtime.BitSet FOLLOW_KW_SIGNED_in_signing5489
      • FOLLOW_KW_UNSIGNED_in_signing5493

        public static final org.antlr.runtime.BitSet FOLLOW_KW_UNSIGNED_in_signing5493
      • FOLLOW_integer_vector_type_in_data_type5522

        public static final org.antlr.runtime.BitSet FOLLOW_integer_vector_type_in_data_type5522
      • FOLLOW_signing_in_data_type5526

        public static final org.antlr.runtime.BitSet FOLLOW_signing_in_data_type5526
      • FOLLOW_LBRACK_in_data_type5533

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_data_type5533
      • FOLLOW_range_expression_in_data_type5537

        public static final org.antlr.runtime.BitSet FOLLOW_range_expression_in_data_type5537
      • FOLLOW_RBRACK_in_data_type5539

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_data_type5539
      • FOLLOW_integer_atom_type_in_data_type5605

        public static final org.antlr.runtime.BitSet FOLLOW_integer_atom_type_in_data_type5605
      • FOLLOW_signing_in_data_type5609

        public static final org.antlr.runtime.BitSet FOLLOW_signing_in_data_type5609
      • FOLLOW_non_integer_type_in_data_type5661

        public static final org.antlr.runtime.BitSet FOLLOW_non_integer_type_in_data_type5661
      • FOLLOW_identifier_in_variable_decl_assignment5823

        public static final org.antlr.runtime.BitSet FOLLOW_identifier_in_variable_decl_assignment5823
      • FOLLOW_LBRACK_in_variable_decl_assignment5826

        public static final org.antlr.runtime.BitSet FOLLOW_LBRACK_in_variable_decl_assignment5826
      • FOLLOW_range_expression_in_variable_decl_assignment5830

        public static final org.antlr.runtime.BitSet FOLLOW_range_expression_in_variable_decl_assignment5830
      • FOLLOW_RBRACK_in_variable_decl_assignment5832

        public static final org.antlr.runtime.BitSet FOLLOW_RBRACK_in_variable_decl_assignment5832
      • FOLLOW_ASSIGN_in_variable_decl_assignment5838

        public static final org.antlr.runtime.BitSet FOLLOW_ASSIGN_in_variable_decl_assignment5838
      • FOLLOW_expression_in_variable_decl_assignment5840

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_variable_decl_assignment5840
      • FOLLOW_inc_or_dec_operator_in_inc_or_dec_expression5915

        public static final org.antlr.runtime.BitSet FOLLOW_inc_or_dec_operator_in_inc_or_dec_expression5915
      • FOLLOW_attributes_in_inc_or_dec_expression5919

        public static final org.antlr.runtime.BitSet FOLLOW_attributes_in_inc_or_dec_expression5919
      • FOLLOW_lvalue_in_inc_or_dec_expression5923

        public static final org.antlr.runtime.BitSet FOLLOW_lvalue_in_inc_or_dec_expression5923
      • FOLLOW_lvalue_in_inc_or_dec_expression5988

        public static final org.antlr.runtime.BitSet FOLLOW_lvalue_in_inc_or_dec_expression5988
      • FOLLOW_attributes_in_inc_or_dec_expression5992

        public static final org.antlr.runtime.BitSet FOLLOW_attributes_in_inc_or_dec_expression5992
      • FOLLOW_inc_or_dec_operator_in_inc_or_dec_expression5996

        public static final org.antlr.runtime.BitSet FOLLOW_inc_or_dec_operator_in_inc_or_dec_expression5996
      • FOLLOW_block_identifier_in_assertion_item6074

        public static final org.antlr.runtime.BitSet FOLLOW_block_identifier_in_assertion_item6074
      • FOLLOW_COLON_in_assertion_item6076

        public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_assertion_item6076
      • FOLLOW_concurrent_assertion_statement_in_assertion_item6090

        public static final org.antlr.runtime.BitSet FOLLOW_concurrent_assertion_statement_in_assertion_item6090
      • FOLLOW_deferred_immediate_assertion_statement_in_assertion_item6140

        public static final org.antlr.runtime.BitSet FOLLOW_deferred_immediate_assertion_statement_in_assertion_item6140
      • FOLLOW_block_identifier_in_procedural_assertion_statement6205

        public static final org.antlr.runtime.BitSet FOLLOW_block_identifier_in_procedural_assertion_statement6205
      • FOLLOW_COLON_in_procedural_assertion_statement6207

        public static final org.antlr.runtime.BitSet FOLLOW_COLON_in_procedural_assertion_statement6207
      • FOLLOW_concurrent_assertion_statement_in_procedural_assertion_statement6215

        public static final org.antlr.runtime.BitSet FOLLOW_concurrent_assertion_statement_in_procedural_assertion_statement6215
      • FOLLOW_immediate_assertion_statement_in_procedural_assertion_statement6225

        public static final org.antlr.runtime.BitSet FOLLOW_immediate_assertion_statement_in_procedural_assertion_statement6225
      • FOLLOW_simple_immediate_assertion_statement_in_immediate_assertion_statement6282

        public static final org.antlr.runtime.BitSet FOLLOW_simple_immediate_assertion_statement_in_immediate_assertion_statement6282
      • FOLLOW_deferred_immediate_assertion_statement_in_immediate_assertion_statement6292

        public static final org.antlr.runtime.BitSet FOLLOW_deferred_immediate_assertion_statement_in_immediate_assertion_statement6292
      • FOLLOW_simple_immediate_assert_statement_in_simple_immediate_assertion_statement6319

        public static final org.antlr.runtime.BitSet FOLLOW_simple_immediate_assert_statement_in_simple_immediate_assertion_statement6319
      • FOLLOW_simple_immediate_assume_statement_in_simple_immediate_assertion_statement6327

        public static final org.antlr.runtime.BitSet FOLLOW_simple_immediate_assume_statement_in_simple_immediate_assertion_statement6327
      • FOLLOW_KW_ASSERT_in_simple_immediate_assert_statement6341

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSERT_in_simple_immediate_assert_statement6341
      • FOLLOW_LPAREN_in_simple_immediate_assert_statement6343

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_simple_immediate_assert_statement6343
      • FOLLOW_expression_in_simple_immediate_assert_statement6345

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_simple_immediate_assert_statement6345
      • FOLLOW_RPAREN_in_simple_immediate_assert_statement6347

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_simple_immediate_assert_statement6347
      • FOLLOW_action_block_in_simple_immediate_assert_statement6349

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_simple_immediate_assert_statement6349
      • FOLLOW_KW_ASSUME_in_simple_immediate_assume_statement6402

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSUME_in_simple_immediate_assume_statement6402
      • FOLLOW_LPAREN_in_simple_immediate_assume_statement6404

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_simple_immediate_assume_statement6404
      • FOLLOW_expression_in_simple_immediate_assume_statement6406

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_simple_immediate_assume_statement6406
      • FOLLOW_RPAREN_in_simple_immediate_assume_statement6408

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_simple_immediate_assume_statement6408
      • FOLLOW_action_block_in_simple_immediate_assume_statement6410

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_simple_immediate_assume_statement6410
      • FOLLOW_deferred_immediate_assert_statement_in_deferred_immediate_assertion_statement6463

        public static final org.antlr.runtime.BitSet FOLLOW_deferred_immediate_assert_statement_in_deferred_immediate_assertion_statement6463
      • FOLLOW_deferred_immediate_assume_statement_in_deferred_immediate_assertion_statement6471

        public static final org.antlr.runtime.BitSet FOLLOW_deferred_immediate_assume_statement_in_deferred_immediate_assertion_statement6471
      • FOLLOW_KW_ASSERT_in_deferred_immediate_assert_statement6486

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSERT_in_deferred_immediate_assert_statement6486
      • FOLLOW_SHARP_in_deferred_immediate_assert_statement6488

        public static final org.antlr.runtime.BitSet FOLLOW_SHARP_in_deferred_immediate_assert_statement6488
      • FOLLOW_NUMBER_in_deferred_immediate_assert_statement6490

        public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_deferred_immediate_assert_statement6490
      • FOLLOW_LPAREN_in_deferred_immediate_assert_statement6492

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_deferred_immediate_assert_statement6492
      • FOLLOW_expression_in_deferred_immediate_assert_statement6494

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_deferred_immediate_assert_statement6494
      • FOLLOW_RPAREN_in_deferred_immediate_assert_statement6496

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_deferred_immediate_assert_statement6496
      • FOLLOW_action_block_in_deferred_immediate_assert_statement6498

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_deferred_immediate_assert_statement6498
      • FOLLOW_KW_ASSERT_in_deferred_immediate_assert_statement6506

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSERT_in_deferred_immediate_assert_statement6506
      • FOLLOW_KW_FINAL_in_deferred_immediate_assert_statement6508

        public static final org.antlr.runtime.BitSet FOLLOW_KW_FINAL_in_deferred_immediate_assert_statement6508
      • FOLLOW_LPAREN_in_deferred_immediate_assert_statement6510

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_deferred_immediate_assert_statement6510
      • FOLLOW_expression_in_deferred_immediate_assert_statement6512

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_deferred_immediate_assert_statement6512
      • FOLLOW_RPAREN_in_deferred_immediate_assert_statement6514

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_deferred_immediate_assert_statement6514
      • FOLLOW_action_block_in_deferred_immediate_assert_statement6516

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_deferred_immediate_assert_statement6516
      • FOLLOW_KW_ASSUME_in_deferred_immediate_assume_statement6571

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSUME_in_deferred_immediate_assume_statement6571
      • FOLLOW_SHARP_in_deferred_immediate_assume_statement6573

        public static final org.antlr.runtime.BitSet FOLLOW_SHARP_in_deferred_immediate_assume_statement6573
      • FOLLOW_NUMBER_in_deferred_immediate_assume_statement6575

        public static final org.antlr.runtime.BitSet FOLLOW_NUMBER_in_deferred_immediate_assume_statement6575
      • FOLLOW_LPAREN_in_deferred_immediate_assume_statement6577

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_deferred_immediate_assume_statement6577
      • FOLLOW_expression_in_deferred_immediate_assume_statement6579

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_deferred_immediate_assume_statement6579
      • FOLLOW_RPAREN_in_deferred_immediate_assume_statement6581

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_deferred_immediate_assume_statement6581
      • FOLLOW_action_block_in_deferred_immediate_assume_statement6583

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_deferred_immediate_assume_statement6583
      • FOLLOW_KW_ASSUME_in_deferred_immediate_assume_statement6591

        public static final org.antlr.runtime.BitSet FOLLOW_KW_ASSUME_in_deferred_immediate_assume_statement6591
      • FOLLOW_KW_FINAL_in_deferred_immediate_assume_statement6593

        public static final org.antlr.runtime.BitSet FOLLOW_KW_FINAL_in_deferred_immediate_assume_statement6593
      • FOLLOW_LPAREN_in_deferred_immediate_assume_statement6595

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_deferred_immediate_assume_statement6595
      • FOLLOW_expression_in_deferred_immediate_assume_statement6597

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_deferred_immediate_assume_statement6597
      • FOLLOW_RPAREN_in_deferred_immediate_assume_statement6599

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_deferred_immediate_assume_statement6599
      • FOLLOW_action_block_in_deferred_immediate_assume_statement6601

        public static final org.antlr.runtime.BitSet FOLLOW_action_block_in_deferred_immediate_assume_statement6601
      • FOLLOW_LPAREN_in_synpred1_SvaParser2205

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_synpred1_SvaParser2205
      • FOLLOW_expression_in_synpred1_SvaParser2207

        public static final org.antlr.runtime.BitSet FOLLOW_expression_in_synpred1_SvaParser2207
      • FOLLOW_RPAREN_in_synpred1_SvaParser2209

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_synpred1_SvaParser2209
      • FOLLOW_verilog_operator_in_synpred1_SvaParser2211

        public static final org.antlr.runtime.BitSet FOLLOW_verilog_operator_in_synpred1_SvaParser2211
      • FOLLOW_LPAREN_in_synpred2_SvaParser2225

        public static final org.antlr.runtime.BitSet FOLLOW_LPAREN_in_synpred2_SvaParser2225
      • FOLLOW_sequence_match_expr_in_synpred2_SvaParser2228

        public static final org.antlr.runtime.BitSet FOLLOW_sequence_match_expr_in_synpred2_SvaParser2228
      • FOLLOW_RPAREN_in_synpred2_SvaParser2230

        public static final org.antlr.runtime.BitSet FOLLOW_RPAREN_in_synpred2_SvaParser2230
    • Constructor Detail

      • VerilogParser_SvaParser

        public VerilogParser_SvaParser​(org.antlr.runtime.TokenStream input,
                                       VerilogParser gVerilogParser)
      • VerilogParser_SvaParser

        public VerilogParser_SvaParser​(org.antlr.runtime.TokenStream input,
                                       org.antlr.runtime.RecognizerSharedState state,
                                       VerilogParser gVerilogParser)