- netlist: every function becomes a component, every function argument is an
- input port and the result value is of a function is an output port. This
- output port can have a complex type (such as a tuple), so having just a
- single output port does not create a limitation. Each function application
- in turn becomes a component instantiation. Here, the result of each
- argument expression is assigned to a signal, which is mapped to the
- corresponding input port. The output port of the function is also mapped
+ netlist format:
+ \begin{inparaenum}
+ \item every function is translated to a component,
+ \item every function argument is translated to an input port, and
+ \item the result value of a function is translated to an output port.
+ \end{inparaenum}
+ This output port can have a complex type (such as a tuple), so having just
+ a single output port does not create a limitation. Each function
+ application in turn becomes a component instantiation. Here, the result of
+ each argument expression is assigned to a signal, which is mapped to the
+ corresponding input port. The output port of the function is also mapped