Search-engine friendly clone of the
ACL2 documentation
.
Top
Vl-portinfo
Vl-portinfo-regular
This is a product type, introduced by
deftagsum
in support of
vl-portinfo
.
Fields
portname —
stringp
port-dir —
vl-maybe-direction
conn-expr —
vl-maybe-expr
nil if the port connection is blank
port-lhs —
sv::lhs
Translation of the actual port expression. Not scoped by the instance name. Empty if the port expression is blank.
conn-svex —
sv::svex
Z if port connection is blank
port-size —
posp
replicatedp
interfacep —
booleanp
Subtopics
Make-vl-portinfo-regular
Basic constructor macro for
vl-portinfo-regular
structures.
Vl-portinfo-regular->port-dir
Get the
port-dir
field from a
vl-portinfo-regular
.
Vl-portinfo-regular->conn-expr
Get the
conn-expr
field from a
vl-portinfo-regular
.
Vl-portinfo-regular->portname
Get the
portname
field from a
vl-portinfo-regular
.
Vl-portinfo-regular->port-size
Get the
port-size
field from a
vl-portinfo-regular
.
Vl-portinfo-regular->port-lhs
Get the
port-lhs
field from a
vl-portinfo-regular
.
Vl-portinfo-regular->interfacep
Get the
interfacep
field from a
vl-portinfo-regular
.
Vl-portinfo-regular->conn-svex
Get the
conn-svex
field from a
vl-portinfo-regular
.
Change-vl-portinfo-regular
Modifying constructor for
vl-portinfo-regular
structures.
Vl-portinfo-regular->replicatedp
Get the
replicatedp
field from a
vl-portinfo-regular
.