Verilog isn't a software language so there isn't much of a push for "libraries" like you find for software languages. What you have instead is IP cores. And I already told you where to look for no cost ones. If it isn't there then buy one or write one yourself.