CERN has released colibri, a vendor-independent VHDL library containing over 100 components, functions, and procedures for FPGA development, published under the CERN Open Hardware Licence and hosted on GitLab.
The library was built internally to accelerate gateway device development across CERN's data-intensive experiments, where FPGAs are critical infrastructure. It includes SPI, I2C, self-checking testbenches, and formal verification support for select components. Formal verification in FPGA toolchains is rare, and that detail alone makes the repository worth examining.
The full component list, testbench structure, and which modules carry formal verification are only visible in the GitLab repository itself. If you work with FPGAs and want production-tested, multi-platform VHDL that skips the boilerplate, start there.
[READ ORIGINAL →]