# Esim-steps

Various stepping functions for esim.

Usage

(<step-fn> mod ins st)

where <step-fn> is one of:

- esim-sexpr-steps
- esim-sexpr-probe-steps
- esim-sexpr-top-steps
- esim-faig-steps
- esim-faig-probe-steps
- esim-faig-top-steps

In each case:

- mod is an esim module
- ins is a list of alists
- st is a single alist

These functions all simulate the module for n steps, where n is
the length of ins, beginning with initial state st, where the inputs
for the k+1st step are given by (nth k ins).

The -sexpr- variants take and produce alists mapping signals to 4v-sexprs.

The -faig- variants take and produce alists mapping signals to faigs.

The -probe- variants produce three outputs, each a list of alists:
nsts, outs, and internals. The non-probe variants only produce
nsts and outs.

- nsts is the list of next states, i.e., (nth k nsts) is an
alist giving the module state after k+1 steps,
- outs is the list of outputs, i.e., (nth k outs) gives the
outputs from the k+1th step. In the -top- variants only, this
will also include the top-level module's internal signals.
- internals is the list of internal signals, i.e., (nth k
internals) gives the internal signal settings after the k+1st step.

### Subtopics

- Esim-sexpr-simp-new-probe-steps
- ESIM stepping function.
- Esim-sexpr-probe-steps
- ESIM stepping function.
- Esim-sexpr-new-probe-steps
- ESIM stepping function.
- Esim-faig-probe-steps
- ESIM stepping function.
- Esim-faig-new-probe-steps
- ESIM stepping function.
- Esim-sexpr-top-steps
- ESIM stepping function.
- Esim-sexpr-steps
- ESIM stepping function.
- Esim-sexpr-simp-steps
- ESIM stepping function.
- Esim-faig-top-steps
- ESIM stepping function.
- Esim-faig-steps
- ESIM stepping function.