		Search-engine friendly clone of the ACL2 documentation.

Vl-model-opts-p

Make-vl-model-opts

Constructor macro for vl-model-opts-p structures.

Syntax:

(make-vl-model-opts [:help <help>] 
                    [:readme <readme>] 
                    [:outdir <outdir>] 
                    [:model-file <model-file>] 
                    [:esims-file <esims-file>] 
                    [:verilog-file <verilog-file>] 
                    [:start-files <start-files>] 
                    [:search-path <search-path>] 
                    [:include-dirs <include-dirs>] 
                    [:search-exts <search-exts>] 
                    [:defines <defines>] 
                    [:unroll-limit <unroll-limit>] 
                    [:dropmods <dropmods>] 
                    [:edition <edition>] 
                    [:strict <strict>] 
                    [:mem <mem>] 
                    [:mustfail <mustfail>] 
                    [:mustget <mustget>])

This is our preferred way to construct vl-model-opts-p structures. It simply conses together a structure with the specified fields.

This macro generates a new vl-model-opts-p structure from scratch. See also change-vl-model-opts, which can "change" an existing structure, instead.

The vl-model-opts-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-vl-model-opts instead.

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-model-opts

(defmacro make-vl-model-opts (&rest args)
  (std::make-aggregate 'vl-model-opts
                       args
                       '((:help)
                         (:readme)
                         (:outdir . ".")
                         (:model-file . "model.sao")
                         (:esims-file . "esims.sao")
                         (:verilog-file . "vl_model.v")
                         (:start-files)
                         (:search-path)
                         (:include-dirs quote ("."))
                         (:search-exts quote ("v"))
                         (:defines)
                         (:unroll-limit . 100)
                         (:dropmods)
                         (:edition . :system-verilog-2012)
                         (:strict)
                         (:mem . 4)
                         (:mustfail)
                         (:mustget))
                       'make-vl-model-opts
                       nil))