Data.AIG.Operations

Bitvectors

data BV l

empty

length

at

(!)

(++)

concat

take

drop

slice

sliceRev

zipWith

zipWithM

msb

lsb

bvSame

bvShow

Building bitvectors

generateM_msb0

generate_msb0

generateM_lsb0

generate_lsb0

replicate

replicateM

bvFromInteger

bvFromList

muxInteger

singleton

Lazy operators

lAnd

lAnd'

lOr

lOr'

lXor

lXor'

lEq

lEq'

lNot

lNot'

Conditionals

ite

iteM

Deconstructing bitvectors

asUnsigned

asSigned

bvToList

Numeric operations on bitvectors

Addition and subtraction

neg

add

addC

sub

subC

addConst

subConst

Multiplication and division

mul

mulFull

smulFull

squot

srem

uquot

urem

Shifts and rolls

shl

sshr

ushr

rol

ror

Numeric comparisons

bvEq

isZero

nonZero

sle

slt

ule

ult

sabs

Extensions

sext

zext

trunc

zeroIntCoerce

signIntCoerce

Priority encoder, lg2, and related functions

priorityEncode

logBase2_down

logBase2_up

countLeadingZeros

countTrailingZeros

Polynomial multiplication, division and modulus in the finite

pmul

pdiv

pmod