ABSTRACT
A module with a module parameter section is a generic or parameterized module, acting as a template. The module parameter section acts as a set of formal parameters to the module, allowing it to be written in a general fashion and instantiated with particular values. As the entities defined in the module export section of a parameterized module depend in general on the module parameter section, they cannot be imported into another module; instead the module must first be instantiated in the module instantiation section of the importing module. A parameterized module can import entities from other, non-parameterized, modules.
