IceChips is a library of all common discrete logic devices in Verilog - View it on GitHub