slang

Language Support

• Implemented all of the rules related to assertion local variable definite assignment flow. slang will now diagnose use of assertion locals before they have been assigned, according to the rules in the LRM.
• Explicit package export directives now correctly require a corresponding import (wildcard or explicit)
• Non-variable and non-output ANSI port declarations are now cor...

Fixes

• Non-blocking assignments with intra-assignment delays are now correctly allowed in always_comb blocks
• Fixed enum base type check to properly error for multidimensional vector types
• An appropriate error is now issued for enums that specify themselves as their own base type
• Fixed a bug when parsing multiple comma separated type parameter declarations in a module port list
• F...

Highlights

This release brings substantial elaboration performance improvements by way of instance caching, as well as more advanced linting capabilities with the new dataflow analysis framework.

Language Support

• Added support for clock flow, clock resolution, and clock inference rules in checkers and assertions
  • Various cases of invalid clock usage will now issue appropriate erro...

This is a point release to get some bug fixes out.

Fixes

• The restriction on interface instances targeted by defparams not being allowed with virtual interfaces was also erroneously applied to interface port connections
• Fixed a null pointer crash in slang-tidy (thanks to @rhanqtl)
• Fixed a bug that could cause infinite recursion when instantiating bind targets that force elaboration due...

Language Support

• Disallow access to protected members from class scoped randomize constraint blocks -- the LRM is unclear about this but other tools seem to have decided this way made the most sense
• Added a check that net aliases aren't duplicated, and that nets don't alias to themselves, as mandated by the LRM (thanks to @likeamahoney)
• Implemented remaining rules for virtual interface...