Limited-shifts
Functions for performing shifts that are artificially limited so as to
make them more amenable to symbolic execution with AIGs.
Subtopics
- Logcollapse
- OR together all the bits of x at position or above, collapsing them
into the single bit at position.
- Limshift-loghead-of-logapp
- Computes (loghead full-width (logapp concat-width x y)).
- Limshift-logext-of-logapp
- Computes (loghead full-width (logapp concat-width x y)).
- Limshift-loghead-of-ash
- Computes (loghead width (ash x shift-amt)).
