For folks interested in LLM-fine tuning, or other tasks requiring a large dataset of opensource verilog programs: ChiBench repo - https://github.com/lac-dcc/chimera Technical Report: https://github.com/lac-dcc/chimera/blob/main/assets/docs/ChiBenchReport.pdf "ChiBench consists of a large collection of Verilog programs mined from open-source github repositories. The goal of this benchmark suite is to test and debug electronic design automation (EDA) tools, such as the Jasper Formal Verification Platform or Intel Quartus."