		Search-engine friendly clone of the ACL2 documentation.

Vl-interface

Vl-modport-port

A single port from a modport declaration.

This is a product type introduced by defprod.

Fields

name — stringp: Name of the port; often the same as the expr
dir — vl-direction-p: Port direction
loc — vl-location
expr — vl-maybe-expr: Expression in terms of the declared variables of the interface.
atts — vl-atts: attributes

The syntax for this is:

modport_simple_ports_declaration ::=
port_direction modport_simple_port { , modport_simple_port }

modport_simple_port ::=
port_identifier
| . port_identifier ( [ expression ] )

As with regular ports, if the expression is not provided then the port identifier is turned into an expression. The variables used in the expression must be declared in the interface, but it is permissible for the expression to be non-sliceable, at least if it's an input.

Subtopics

Vl-modport-port-fix: Fixing function for vl-modport-port structures.
Vl-modport-port-equiv: Basic equivalence relation for vl-modport-port structures.
Vl-modport-port-p: Recognizer for vl-modport-port structures.
Make-vl-modport-port: Basic constructor macro for vl-modport-port structures.
Vl-modport-port->name: Get the name field from a vl-modport-port.
Change-vl-modport-port: Modifying constructor for vl-modport-port structures.
Vl-modport-port->loc: Get the loc field from a vl-modport-port.
Vl-modport-port->expr: Get the expr field from a vl-modport-port.
Vl-modport-port->dir: Get the dir field from a vl-modport-port.
Vl-modport-port->atts: Get the atts field from a vl-modport-port.