		Search-engine friendly clone of the ACL2 documentation.

Always-top

Eliminitial

Throw away any initial statements and add non-fatal warnings to the affected modules.

This transform can be run at any time, but it is typically done somewhere before always-top, since some always-block code may be reluctant to process modules with initial statements.

Initial statements can be important for simulation, but are meaningless if we want to consider the post synthesis/build behavior of the actual part. Throwing them away, then, is basically reasonable for any back-end tool that wants to analyze the behavior of the synthesized modules.

Subtopics

Vl-modulelist-eliminitial: (vl-modulelist-eliminitial x) maps vl-module-eliminitial across a list.
Vl-module-eliminitial
Vl-design-eliminitial: Top-level eliminitial transform.