129 lines
8.1 KiB
Markdown
129 lines
8.1 KiB
Markdown
# sv-parser
|
|
A parser library for System Verilog.
|
|
|
|
## Implementation Status
|
|
|
|
| Category | Module | SyntexTree | Parser |
|
|
| --------------------------------- | ------------------------------------- | ---------- | ------ |
|
|
| source_text | library_source_text | x | x |
|
|
| source_text | system_verilog_source_text | x | x |
|
|
| source_text | module_parameters_and_ports | x | x |
|
|
| source_text | module_items | x | x |
|
|
| source_text | configuration_source_text | x | x |
|
|
| source_text | interface_items | x | x |
|
|
| source_text | program_items | x | x |
|
|
| source_text | checker_items | x | x |
|
|
| source_text | class_items | x | x |
|
|
| source_text | constraints | x | x |
|
|
| source_text | package_items | x | x |
|
|
| declaration | module_parameter_declarations | x | x |
|
|
| declaration | port_declarations | x | x |
|
|
| declaration | type_declarations | x | x |
|
|
| declaration | net_and_variable_types | x | x |
|
|
| declaration | strengths | x | x |
|
|
| declaration | delays | x | x |
|
|
| declaration | declaration_lists | x | x |
|
|
| declaration | declaration_assignments | x | x |
|
|
| declaration | declaration_ranges | x | x |
|
|
| declaration | function_declarations | x | x |
|
|
| declaration | task_declarations | x | x |
|
|
| declaration | block_item_declarations | x | x |
|
|
| declaration | interface_declarations | x | x |
|
|
| declaration | assertion_declarations | x | x |
|
|
| declaration | covergroup_declarations | x | x |
|
|
| declaration | let_declarations | x | x |
|
|
| primitive_instance | primitive_instantiation_and_instances | x | x |
|
|
| primitive_instance | primitive_strengths | x | x |
|
|
| primitive_instance | primitive_terminals | x | x |
|
|
| primitive_instance | primitive_gate_and_switch_types | x | x |
|
|
| instantiations | module_instantiation | x | x |
|
|
| instantiations | interface_instantiation | x | x |
|
|
| instantiations | program_instantiation | x | x |
|
|
| instantiations | checker_instantiation | x | x |
|
|
| instantiations | generated_instantiation | x | x |
|
|
| udp_declaration_and_instantiation | udp_declaration | x | x |
|
|
| udp_declaration_and_instantiation | udp_ports | x | x |
|
|
| udp_declaration_and_instantiation | udp_body | x | x |
|
|
| udp_declaration_and_instantiation | udp_instantiation | x | x |
|
|
| behavioral_statements | continuous_assignment_and_net_alias | x | x |
|
|
| behavioral_statements | procedural_blocks_and_assignments | x | x |
|
|
| behavioral_statements | parallel_and_sequential_blocks | x | x |
|
|
| behavioral_statements | statements | x | x |
|
|
| behavioral_statements | timing_control_statements | x | x |
|
|
| behavioral_statements | conditional_statements | x | x |
|
|
| behavioral_statements | case_statements | x | x |
|
|
| behavioral_statements | patterns | x | x |
|
|
| behavioral_statements | looping_statements | x | x |
|
|
| behavioral_statements | subroutine_call_statements | x | x |
|
|
| behavioral_statements | assertion_statements | x | x |
|
|
| behavioral_statements | clocking_block | x | x |
|
|
| behavioral_statements | randsequence | x | x |
|
|
| specify_section | specify_block_declaration | x | x |
|
|
| specify_section | specify_path_declarations | x | x |
|
|
| specify_section | specify_block_terminals | x | x |
|
|
| specify_section | specify_path_delays | x | x |
|
|
| specify_section | system_timing_check_commands | x | x |
|
|
| specify_section | system_timing_check_command_arguments | x | x |
|
|
| specify_section | system_timing_check_event_definitions | x | x |
|
|
| expressions | concatenations | x | x |
|
|
| expressions | subroutine_calls | x | x |
|
|
| expressions | expressions | x | x |
|
|
| expressions | primaries | x | x |
|
|
| expressions | expression_leftside_values | x | x |
|
|
| expressions | operators | x | x |
|
|
| expressions | numbers | x | x |
|
|
| expressions | strings | x | x |
|
|
| general | attributes | x | x |
|
|
| general | comments | x | x |
|
|
| general | identifiers | x | x |
|
|
|
|
# Test Status
|
|
|
|
| Clause | Test |
|
|
| ------ | ---- |
|
|
| 3 | x |
|
|
| 4 | x |
|
|
| 5 | x |
|
|
| 6 | |
|
|
| 7 | |
|
|
| 8 | |
|
|
| 9 | |
|
|
| 10 | |
|
|
| 11 | |
|
|
| 12 | |
|
|
| 13 | |
|
|
| 14 | |
|
|
| 15 | |
|
|
| 16 | |
|
|
| 17 | |
|
|
| 18 | |
|
|
| 19 | |
|
|
| 20 | |
|
|
| 21 | |
|
|
| 22 | |
|
|
| 23 | |
|
|
| 24 | |
|
|
| 25 | |
|
|
| 26 | |
|
|
| 27 | |
|
|
| 28 | |
|
|
| 29 | |
|
|
| 30 | |
|
|
| 31 | |
|
|
| 32 | |
|
|
| 33 | |
|
|
| 34 | |
|
|
| 35 | |
|
|
| 36 | |
|
|
| 37 | |
|
|
| 38 | |
|
|
| 39 | |
|
|
| 40 | |
|
|
|
|
## Missing entry of specification
|
|
|
|
* interface_class_declaration -> connect to description
|
|
* formal_identifier -> ignore
|
|
* covergroup_variable_identifier -> ignore
|
|
* array_identifier -> ignore
|