Ieee1800-2023-Tests
Upon review of the diagrams, a bug in the was found in the toolkit currently under development.
Work done
A set of two tools have been developed:
BNF2AST2JSON
As the name suggests, this tool take the BNF representation of the IEEE1800-2023 standard, converts it to an AST and then outputs this AST in JSON format, so it may be stored on a filesystem.
The tools works as follows:
-
The BNF structure has been codified in PEG syntax and stores in
bnf.pest. This file describes the structure of the BNF format as used in the IEEE1800-2023. This standard does not fully adhere to the BNF spec, so it is a custom description.
Work done
Over the last days of 2025, some effort has been made to copy the grammar syntax from appendix A to a BNF file and a Zim document structure.
The BNF file will be used by a tool to create a graph of the language.
The Zim document is used to make notes regarding the function of each element.
A comprehensive test framework for SystemVerilog IEEE1800-2023