This is mainly a simulation library of xilinx primitives that are verilator compatible. - View it on GitHub