• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
        • Warnings
        • Primitives
        • Use-set
        • Syntax
        • Getting-started
        • Utilities
        • Loader
        • Transforms
        • Lint
        • Mlib
          • Scopestack
          • Filtering-by-name
          • Vl-namefactory
          • Substitution
          • Allexprs
          • Hid-tools
          • Vl-consteval
          • Range-tools
          • Lvalexprs
          • Hierarchy
          • Finding-by-name
          • Expr-tools
          • Expr-slicing
          • Stripping-functions
          • Stmt-tools
          • Modnamespace
          • Vl-parse-expr-from-str
          • Welltyped
          • Reordering-by-name
          • Flat-warnings
          • Genblob
          • Expr-building
            • Vl-make-binary-gateinstlist
            • Vl-make-binary-gateinst
            • Vl-make-unary-gateinstlist
            • Vl-make-bitselect
            • Vl-make-unary-gateinst
            • Vl-make-partselect
            • Vl-make-msb-to-lsb-bitselects
            • Vl-make-list-of-bitselects
            • Vl-default-n-bit-expr
          • Datatype-tools
          • Syscalls
          • Relocate
          • Expr-cleaning
          • Namemangle
          • Caremask
          • Port-tools
          • Lvalues
        • Server
        • Kit
        • Printer
        • Esim-vl
        • Well-formedness
      • Sv
      • Fgl
      • Vwsim
      • Vl
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Mlib

Expr-building

Basic functions for generating expressions and gates.

WARNING

Many of these functions generate sized expressions so you have to be really careful that you're using them in the proper way.

Subtopics

Vl-make-binary-gateinstlist
Make a list of basic binary gate instances, e.g., AND, OR, XOR, NAND, NOR, or XNOR gates.
Vl-make-binary-gateinst
Make a basic binary gate instance, e.g., an AND, OR, XOR, NAND, NOR, or XNOR gate.
Vl-make-unary-gateinstlist
Make a list of unary (buf or not) gate instances.
Vl-make-bitselect
Safely create the bit-select expr[n].
Vl-make-unary-gateinst
Make a unary (buf or not) gate instance.
Vl-make-partselect
Safely creates expr[msb:lsb].
Vl-make-msb-to-lsb-bitselects
Build a list of expressions, (expr[msb] ... expr[lsb]).
Vl-make-list-of-bitselects
Build a list of expressions, (expr[low] ... expr[high]).
Vl-default-n-bit-expr
Build an arbitrary expression of some particular width.