A collection of big designs to run post-synthesis simulations with yosys