Some complex macro defines are not preprocessed correctly.

Nested when constructs result in incorrectly named structs/units.

The parser does not fully support user defined variable names which are the same as Specman/e keywords. Only a limited set of variable names which are the same as Specman/e keywords are supported.

verilog import is implemented, but only 'define statements are parsed: 'include, 'ifdef, 'else, and 'endif are not taken into consideration.

Doc-comments inside definitions of define macros are not used.

Multi-method detailing: If there are multiple definitions of the same method, doc-comments and line numbers are not handled correctly

Bit widths are missing from certain array types.

Methods and TCMs should be presented separately.