		Search-engine friendly clone of the ACL2 documentation.

Syntax

Vl-interface

Representation of a single interface.

This is a product type introduced by defprod.

Fields

name — stringp: The name of this interface as a string.
imports — vl-importlist
ports — vl-portlist
portdecls — vl-portdecllist
modports — vl-modportlist
vardecls — vl-vardecllist
paramdecls — vl-paramdecllist
fundecls — vl-fundecllist
taskdecls — vl-taskdecllist
typedefs — vl-typedeflist
dpiimports — vl-dpiimportlist
dpiexports — vl-dpiexportlist
properties — vl-propertylist
sequences — vl-sequencelist
clkdecls — vl-clkdecllist
gclkdecls — vl-gclkdecllist
defaultdisables — vl-defaultdisablelist
binds — vl-bindlist
classes — vl-classlist
elabtasks — vl-elabtasklist
modinsts — vl-modinstlist: Note: interfaces are not allowed to have submodule instances (SystemVerilog-2012 section 25.3, page 713). However, they are allowed to have interface instances. We check in basicsanity that modinsts within each interface do indeed refer to interfaces.
assigns — vl-assignlist
aliases — vl-aliaslist
assertions — vl-assertionlist
cassertions — vl-cassertionlist
alwayses — vl-alwayslist
initials — vl-initiallist
finals — vl-finallist
generates — vl-genelementlist
genvars — vl-genvarlist
warnings — vl-warninglist
minloc — vl-location
maxloc — vl-location
atts — vl-atts
origname — stringp
comments — vl-commentmap
parse-temps — vl-maybe-parse-temps: Temporary stuff recorded by the parser, used to generate real interface contents.

Subtopics

Vl-interface-p: Recognizer for vl-interface structures.
Vl-interface-fix: Fixing function for vl-interface structures.
Make-vl-interface: Basic constructor macro for vl-interface structures.
Vl-modport-port: A single port from a modport declaration.
Vl-modport: A modport declaration within an interface
Change-vl-interface: Modifying constructor for vl-interface structures.
Vl-interface-equiv: Basic equivalence relation for vl-interface structures.
Vl-interface->defaultdisables: Get the defaultdisables field from a vl-interface.
Vl-interface->parse-temps: Get the parse-temps field from a vl-interface.
Vl-interface->warnings: Get the warnings field from a vl-interface.
Vl-interface->taskdecls: Get the taskdecls field from a vl-interface.
Vl-interface->sequences: Get the sequences field from a vl-interface.
Vl-interface->properties: Get the properties field from a vl-interface.
Vl-interface->portdecls: Get the portdecls field from a vl-interface.
Vl-interface->paramdecls: Get the paramdecls field from a vl-interface.
Vl-interface->origname: Get the origname field from a vl-interface.
Vl-interface->initials: Get the initials field from a vl-interface.
Vl-interface->generates: Get the generates field from a vl-interface.
Vl-interface->gclkdecls: Get the gclkdecls field from a vl-interface.
Vl-interface->fundecls: Get the fundecls field from a vl-interface.
Vl-interface->elabtasks: Get the elabtasks field from a vl-interface.
Vl-interface->dpiimports: Get the dpiimports field from a vl-interface.
Vl-interface->dpiexports: Get the dpiexports field from a vl-interface.
Vl-interface->comments: Get the comments field from a vl-interface.
Vl-interface->cassertions: Get the cassertions field from a vl-interface.
Vl-interface->assertions: Get the assertions field from a vl-interface.
Vl-interface->alwayses: Get the alwayses field from a vl-interface.
Vl-interface->vardecls: Get the vardecls field from a vl-interface.
Vl-interface->typedefs: Get the typedefs field from a vl-interface.
Vl-interface->name: Get the name field from a vl-interface.
Vl-interface->modports: Get the modports field from a vl-interface.
Vl-interface->modinsts: Get the modinsts field from a vl-interface.
Vl-interface->minloc: Get the minloc field from a vl-interface.
Vl-interface->maxloc: Get the maxloc field from a vl-interface.
Vl-interface->imports: Get the imports field from a vl-interface.
Vl-interface->genvars: Get the genvars field from a vl-interface.
Vl-interface->finals: Get the finals field from a vl-interface.
Vl-interface->clkdecls: Get the clkdecls field from a vl-interface.
Vl-interface->classes: Get the classes field from a vl-interface.
Vl-interface->binds: Get the binds field from a vl-interface.
Vl-interface->assigns: Get the assigns field from a vl-interface.
Vl-interface->aliases: Get the aliases field from a vl-interface.
Vl-interface->ports: Get the ports field from a vl-interface.
Vl-interface->atts: Get the atts field from a vl-interface.