		Search-engine friendly clone of the ACL2 documentation.

Vl-simpconfig

Options for how to simplify Verilog modules.

This is a product type introduced by defprod.

compress-p — booleanp: Hons the modules at various points. This takes some time, but can produce smaller translation files.
problem-mods — string-listp: Names of modules that should thrown out, perhaps because they cause some kind of problems.
clean-params-p — booleanp: Should we clean parameters with the clean-params transform before unparameterizing?
unroll-limit — natp: Maximum number of iterations to unroll for loops, etc., when rewriting statements. This is just a safety valve.

Vl-simpconfig-fix: Fixing function for vl-simpconfig structures.
Vl-simpconfig-equiv: Basic equivalence relation for vl-simpconfig structures.
Make-vl-simpconfig: Basic constructor macro for vl-simpconfig structures.
Vl-simpconfig->problem-mods: Get the problem-mods field from a vl-simpconfig.
Vl-simpconfig->clean-params-p: Get the clean-params-p field from a vl-simpconfig.
Vl-simpconfig->unroll-limit: Get the unroll-limit field from a vl-simpconfig.
Vl-simpconfig->compress-p: Get the compress-p field from a vl-simpconfig.
Vl-simpconfig-p: Recognizer for vl-simpconfig structures.
Change-vl-simpconfig: Modifying constructor for vl-simpconfig structures.