verification

gdsfactory
An open source platform for end to-end photonic chip design and validation

MyHDL
Python as a hardware description and verification language

Pono
An SMT-based model checker built on smt-switch.

SVUnit
SVUnit is an open-source test framework for ASIC and FPGA developers writing Verilog/SystemVerilog code.

VUnit
Open source unit testing framework for VHDL/SystemVerilog