|
|
|---|
|
|
|
|---|
A well-formedness check to ensure that ports and port declarations agree, and are simple enough for E conversion.
Before generating E modules, we do a global pass over the module list and make sure that we can generate the port pattern for each module appropriately.