The field of open-source ecosystems is moving towards a greater emphasis on diversity and inclusivity, with a growing recognition of the importance of addressing disparities in representation and participation. Recent research has highlighted the need for more equitable and diverse open-source ecosystems, and has proposed novel approaches to enhancing formal verification and hardware design. Noteworthy papers include:

• AssertionForge, which proposes a novel approach to generating SystemVerilog Assertions from natural language specifications and RTL code, resulting in a unified and comprehensive Knowledge Graph.
• Anvil, which introduces a general-purpose timing-safe hardware description language that statically prevents timing hazards with a novel type system, enabling safe composition of communicating hardware modules.