I have ported the ONFI nand_controller from OpenCores from VHDL to Verilog: https://github.com/thesourcerer8/nand_controller/ . It still needs some verification and testing before it could be used for ASICs. Anyone interesting in helping or using it, please let me know.