ef2_micro.v的作用是什么？

请问在代码中的 ef2_micro.v文件的作用是什么？该文件中定义了很多模块，但是每个模块却只定义了基本端口和参数，没有具体的例化或者实现，那么这个文件到底是干什么的呢？

另外，在通过IP核构建自己的模块时，也会自动引入这个文件到项目中，似乎这个文件里保存的是IP核里的相关参数？同样的问题，为什么这个文件里没有例化部分的内容？

希望您的帮助，谢谢。