Top

Svmods

Module

This is a product type introduced by defprod.

Fields

wires — wirelist
insts — modinstlist
assigns — assigns
fixups — assigns
constraints — constraintlist
aliaspairs — lhspairs

Subtopics

Module-fix: Fixing function for module structures.
Make-module: Basic constructor macro for module structures.
Module-vars
Module-p: Recognizer for module structures.
Module-equiv: Basic equivalence relation for module structures.
Change-module: Modifying constructor for module structures.
Module->constraints: Get the constraints field from a module.
Module->aliaspairs: Get the aliaspairs field from a module.
Module->wires: Get the wires field from a module.
Module->insts: Get the insts field from a module.
Module->fixups: Get the fixups field from a module.
Module->assigns: Get the assigns field from a module.
Module-addr-p