Unfortunately, we do not have the examples design on the verilog simulation.
You may check below link for more information on eMMC:
Thanks a lot for sharing! All above are the eMMC controller design files and not for free.
I am looking for verilog file of eMMC model. I need to verify my eMMC controller works or not.
Do you see such eMMC model available anywhere?