Header menu logo issie

FastReduce Module

Functions and values

Function or value Description

algAnd exp1 exp2

Full Usage: algAnd exp1 exp2

Parameters:
Returns: FastAlgExp
Modifiers: inline
exp1 : FastAlgExp
exp2 : FastAlgExp
Returns: FastAlgExp

algGate gateType

Full Usage: algGate gateType

Parameters:
Returns: FastAlgExp -> FastAlgExp -> FastAlgExp
Modifiers: inline
gateType : GateComponentType
Returns: FastAlgExp -> FastAlgExp -> FastAlgExp

algNand exp1 exp2

Full Usage: algNand exp1 exp2

Parameters:
Returns: FastAlgExp
Modifiers: inline
exp1 : FastAlgExp
exp2 : FastAlgExp
Returns: FastAlgExp

algNor exp1 exp2

Full Usage: algNor exp1 exp2

Parameters:
Returns: FastAlgExp
Modifiers: inline
exp1 : FastAlgExp
exp2 : FastAlgExp
Returns: FastAlgExp

algNot exp

Full Usage: algNot exp

Parameters:
Returns: FastAlgExp
Modifiers: inline
exp : FastAlgExp
Returns: FastAlgExp

algOr exp1 exp2

Full Usage: algOr exp1 exp2

Parameters:
Returns: FastAlgExp
Modifiers: inline
exp1 : FastAlgExp
exp2 : FastAlgExp
Returns: FastAlgExp

algXnor exp1 exp2

Full Usage: algXnor exp1 exp2

Parameters:
Returns: FastAlgExp
Modifiers: inline
exp1 : FastAlgExp
exp2 : FastAlgExp
Returns: FastAlgExp

algXor exp1 exp2

Full Usage: algXor exp1 exp2

Parameters:
Returns: FastAlgExp
Modifiers: inline
exp1 : FastAlgExp
exp2 : FastAlgExp
Returns: FastAlgExp

assertThat cond msg

Full Usage: assertThat cond msg

Parameters:
    cond : bool
    msg : string

Modifiers: inline
cond : bool
msg : string

bitAnd bit0 bit1

Full Usage: bitAnd bit0 bit1

Parameters:
    bit0 : ^a
    bit1 : ^a

Returns: ^a
Modifiers: inline
Type parameters: ^a
bit0 : ^a
bit1 : ^a
Returns: ^a

bitGate gateType

Full Usage: bitGate gateType

Parameters:
Returns: ^a -> ^a -> ^a
Modifiers: inline
Type parameters: ^a
gateType : GateComponentType
Returns: ^a -> ^a -> ^a

bitNand bit0 bit1

Full Usage: bitNand bit0 bit1

Parameters:
    bit0 : uint32
    bit1 : uint32

Returns: uint32
Modifiers: inline
bit0 : uint32
bit1 : uint32
Returns: uint32

bitNor bit0 bit1

Full Usage: bitNor bit0 bit1

Parameters:
    bit0 : uint32
    bit1 : uint32

Returns: uint32
Modifiers: inline
bit0 : uint32
bit1 : uint32
Returns: uint32

bitNot bit

Full Usage: bitNot bit

Parameters:
    bit : uint32

Returns: uint32
Modifiers: inline
bit : uint32
Returns: uint32

bitNotB width bit

Full Usage: bitNotB width bit

Parameters:
Returns: BigInteger
Modifiers: inline
width : int32
bit : BigInteger
Returns: BigInteger

bitOr bit0 bit1

Full Usage: bitOr bit0 bit1

Parameters:
    bit0 : ^a
    bit1 : ^a

Returns: ^a
Modifiers: inline
Type parameters: ^a
bit0 : ^a
bit1 : ^a
Returns: ^a

bitXnor bit0 bit1

Full Usage: bitXnor bit0 bit1

Parameters:
    bit0 : uint32
    bit1 : uint32

Returns: uint32
Modifiers: inline
bit0 : uint32
bit1 : uint32
Returns: uint32

bitXor bit0 bit1

Full Usage: bitXor bit0 bit1

Parameters:
    bit0 : ^a
    bit1 : ^a

Returns: ^a
Modifiers: inline
Type parameters: ^a
bit0 : ^a
bit1 : ^a
Returns: ^a

extractBit fd busWidth

Full Usage: extractBit fd busWidth

Parameters:
Returns: uint32
Modifiers: inline

Assert that the FData only contain a single bit, and return such bit.

fd : FastData
busWidth : int
Returns: uint32

extractBitFData fd_ busWidth

Full Usage: extractBitFData fd_ busWidth

Parameters:
    fd_ : FData
    busWidth : int

Returns: uint32
Modifiers: inline
fd_ : FData
busWidth : int
Returns: uint32

fastReduce maxArraySize numStep isClockedReduction comp

Full Usage: fastReduce maxArraySize numStep isClockedReduction comp

Parameters:
    maxArraySize : int
    numStep : int
    isClockedReduction : bool
    comp : FastComponent

Returns: Unit

Given a component, compute its outputs from its inputs, which must already be evaluated. Outputs and inputs are both contained as time sequences in arrays. This function will calculate simStep outputs from (previously calculated) simStep outputs and clocked (simStep-1) outputs. Memory has state separate from simStep-1 output, for this the state is recalculated. Inputs and outputs come from either UInt32Step or BigIntStep arrays in IOArray record.

maxArraySize : int
numStep : int
isClockedReduction : bool
comp : FastComponent
Returns: Unit

getBinaryOp gateType

Full Usage: getBinaryOp gateType

Parameters:
Returns: uint32 -> uint32 -> uint32
Modifiers: inline
gateType : GateComponentType
Returns: uint32 -> uint32 -> uint32

getRamStateMemory numSteps step state memory

Full Usage: getRamStateMemory numSteps step state memory

Parameters:
Returns: Memory1
numSteps : int
step : int
state : StepArray<SimulationComponentState> option
memory : Memory1
Returns: Memory1

getRomStateMemory comp

Full Usage: getRomStateMemory comp

Parameters:
Returns: Memory
comp : FastComponent
Returns: Memory

packBit bit

Full Usage: packBit bit

Parameters:
    bit : uint32

Returns: FastData
Modifiers: inline
bit : uint32
Returns: FastData

packBitFData bit

Full Usage: packBitFData bit

Parameters:
    bit : uint32

Returns: FData
Modifiers: inline
bit : uint32
Returns: FData

readMemoryAddrBigIntDataBigInt mem address

Full Usage: readMemoryAddrBigIntDataBigInt mem address

Parameters:
Returns: bigint
mem : Memory1
address : bigint
Returns: bigint

readMemoryAddrBigIntDataUInt32 mem address

Full Usage: readMemoryAddrBigIntDataUInt32 mem address

Parameters:
Returns: uint32
mem : Memory1
address : bigint
Returns: uint32

readMemoryAddrUInt32DataBigInt mem address

Full Usage: readMemoryAddrUInt32DataBigInt mem address

Parameters:
Returns: bigint
mem : Memory1
address : uint32
Returns: bigint

readMemoryFData mem address

Full Usage: readMemoryFData mem address

Parameters:
Returns: FData
mem : Memory1
address : FData
Returns: FData

writeMemory mem address data

Full Usage: writeMemory mem address data

Parameters:
Returns: Memory1

Write the content of the memory at the specified address.

mem : Memory1
address : FastData
data : FastData
Returns: Memory1

writeMemoryAddrBigIntDataBigInt mem address data

Full Usage: writeMemoryAddrBigIntDataBigInt mem address data

Parameters:
    mem : Memory1
    address : bigint
    data : bigint

Returns: Memory1
mem : Memory1
address : bigint
data : bigint
Returns: Memory1

writeMemoryAddrBigIntDataUInt32 mem address data

Full Usage: writeMemoryAddrBigIntDataUInt32 mem address data

Parameters:
    mem : Memory1
    address : bigint
    data : uint32

Returns: Memory1
mem : Memory1
address : bigint
data : uint32
Returns: Memory1

writeMemoryAddrUInt32DataBigInt mem address data

Full Usage: writeMemoryAddrUInt32DataBigInt mem address data

Parameters:
    mem : Memory1
    address : uint32
    data : bigint

Returns: Memory1
mem : Memory1
address : uint32
data : bigint
Returns: Memory1

writeMemoryAddrUInt32DataUInt32 mem address data

Full Usage: writeMemoryAddrUInt32DataUInt32 mem address data

Parameters:
    mem : Memory1
    address : uint32
    data : uint32

Returns: Memory1
mem : Memory1
address : uint32
data : uint32
Returns: Memory1

Type something to start searching.