CLaSH.Prelude.Explicit

This module defines the explicitly clocked counterparts of the functions defined in CLaSH.Prelude.

This module uses the explicitly clocked CSignals synchronous signals, as opposed to the implicitly clocked Signals used in CLaSH.Prelude. Take a look at CLaSH.Signal.Explicit to see how you can make multi-clock designs using explicitly clocked signals.

Creating synchronous sequential circuits

sync

Arguments

:: (CPack i, CPack o)

=> Clock clk

Clock to synchronize to

-> (s -> i -> (s, o))

Transfer function in mealy machine form: state -> input -> (newstate,output)

-> s

Initial state

-> CSignalP clk i -> CSignalP clk o

Synchronous sequential function with input and output matching that of the mealy machine

Create a synchronous function from a combinational function describing a mealy machine

mac :: Int        -- Current state
    -> (Int,Int)  -- Input
    -> (Int,Int)  -- (Updated state, output)
mac s (x,y) = (s',s)
  where
    s' = x * y + s

clk100 = Clock d100

topEntity :: (CSignal 100 Int, CSignal 100 Int) -> CSignal 100 Int
topEntity = sync clk100 mac 0

>>> csimulateP clk100 clk100 topEntity [(1,1),(2,2),(3,3),(4,4),...
[0,1,5,14,30,...

Synchronous sequential functions can be composed just like their combinational counterpart:

dualMac :: (CSignal 100 Int, CSignal 100 Int)
        -> (CSignal 100 Int, CSignal 100 Int)
        -> CSignal 100 Int
dualMac (a,b) (x,y) = s1 + s2
  where
    s1 = sync clk100 mac 0 (a,b)
    s2 = sync clk100 mac 0 (x,y)

cregisterP :: CPack a => Clock clk -> a -> CSignalP clk a -> CSignalP clk a

Create a register function for product-type like signals (e.g. '(Signal a, Signal b)')

clk100 = Clock d100

rP :: (CSignal 100 Int, CSignal 100 Int) -> (CSignal 100 Int, CSignal 100 Int)
rP = cregisterP d100 (8,8)

>>> csimulateP clk100 clk100 rP [(1,1),(2,2),(3,3),...
[(8,8),(1,1),(2,2),(3,3),...

Arrow interface for synchronous sequential circuits

newtype CComp t a b

Deprecated: Will be removed in version 0.6. Use Applicative interface and sync instead

CComponent: an Arrow interface to explicitly clocked synchronous sequential functions

Constructors

CC

Fields

asCFunction :: CSignal t a -> CSignal t b

Instances

Category * (CComp t)

KnownNat t => Arrow (CComp t)

KnownNat t => ArrowLoop (CComp t)

syncA

Arguments

:: Clock clk

Clock to synchronize to

-> (s -> i -> (s, o))

Transfer function in mealy machine form: state -> input -> (newstate,output)

-> s

Initial state

-> CComp clk i o

Synchronous sequential Component with input and output matching that of the mealy machine

Deprecated: Will be removed in version 0.6. Use Applicative interface and sync instead

Create a synchronous CComponent from a combinational function describing a mealy machine

mac :: Int        -- Current state
    -> (Int,Int)  -- Input
    -> (Int,Int)  -- (Updated state, output)
mac s (x,y) = (s',s)
  where
    s' = x * y + s

clk100 = Clock d100

topEntity :: CComp 100 (Int,Int) Int
topEntity = syncA clk100 mac 0

>>> simulateC topEntity [(1,1),(2,2),(3,3),(4,4),...
[0,1,5,14,30,...

Synchronous sequential must be composed using the Arrow syntax

dualMac :: CComp 100 (Int,Int,Int,Int) Int
dualMac = proc (a,b,x,y) -> do
  rec s1 <- syncA clk100 mac 0 -< (a,b)
      s2 <- syncA clk100 mac 0 -< (x,y)
  returnA -< (s1 + s2)

cregisterC :: Clock clk -> a -> CComp clk a a

Deprecated: CComp is deprecated and will be removed in version 0.6, use cregister instead

Create a cregister CComponent

clk100 = Clock d100

rC :: CComp 100 (Int,Int) (Int,Int)
rC = cregisterC clk100 (8,8)

>>> simulateC rP [(1,1),(2,2),(3,3),...
[(8,8),(1,1),(2,2),(3,3),...

csimulateC :: CComp clk a b -> [a] -> [b]

Deprecated: CComp is deprecated and will be removed in version 0.6, use csimulate instead

Simulate a Component given a list of samples

 clk100 = Clock d100
>> csimulateC (cregisterC clk100 8) [1, 2, 3, ...

[8, 1, 2, 3, ...

BlockRAM primitives

cblockRam

Arguments

:: (CPack a, KnownNat n, KnownNat m)

=> Clock clk

Clock to synchronize to

-> Vec n a

Initial content of the BRAM, also determines the size ,n, of the BRAM. NB: *MUST* be a constant.

-> CSignal clk (Unsigned m)

Write address w

-> CSignal clk (Unsigned m)

Read address r

-> CSignal clk Bool

Write enable

-> CSignal clk a

Value to write (at address w)

-> CSignal clk a

Value of the blockRAM at address r from the previous clock cycle

Create a blockRAM with space for n elements

• NB: Read value is delayed by 1 cycle
• NB: Initial output value is undefined

clk100 = Clock d100

bram40 :: CSignal 100 (Unsigned 6) -> CSignal 100 (Unsigned 6)
       -> CSignal 100 Bool -> CSignal 100 Bit -> 100 CSignal Bit
bram40 = cblockRam clk100 (vcopy d40 H)

cblockRamPow2

Arguments

:: (KnownNat n, KnownNat (2 ^ n), CPack a)

=> Clock clk

Clock to synchronize to

-> Vec (2 ^ n) a

Initial content of the BRAM, also determines the size ,2^n, of the BRAM. NB: *MUST* be a constant.

-> CSignal clk (Unsigned n)

Write address w

-> CSignal clk (Unsigned n)

Read address r

-> CSignal clk Bool

Write enable

-> CSignal clk a

Value to write (at address w)

-> CSignal clk a

Value of the blockRAM at address r from the previous clock cycle

Create a blockRAM with space for 2^n elements

• NB: Read value is delayed by 1 cycle
• NB: Initial output value is undefined

clk100 = Clock d100

bramC32 :: CSignal 100 (Unsigned 5) -> CSignal 100 (Unsigned 5) -> CSignal 100 Bool -> CSignal 100 Bit -> CSignal 100 Bit
bramC32 = cblockRamPow2 clk100 (vcopy d32 H)

blockRamCC

Arguments

:: (KnownNat n, KnownNat m, CPack a, Default a)

=> Clock clk

Clock to synchronize to

-> Vec n a

Initial content of the BRAM, also determines the size ,n, of the BRAM. NB: *MUST* be a constant.

-> CComp clk (Unsigned m, Unsigned m, Bool, a) a

Deprecated: CComp is deprecated and will be removed in version 0.6, use cblockRam instead

Create a blockRAM with space for n elements

• NB: Read value is delayed by 1 cycle
• NB: Initial output value is undefined

clk100 = Clock d100

bramC40 :: CComp 100 (Unsigned 6, Unsigned 6, Bool, Bit) Bit
bramC40 = blockRamCC clk100 (vcopy d40 H)

blockRamPow2CC

Arguments

:: (KnownNat n, KnownNat (2 ^ n), CPack a)

=> Clock clk

Clock to synchronize to

-> Vec (2 ^ n) a

Initial content of the BRAM, also determines the size ,2^n, of the BRAM. NB: *MUST* be a constant.

-> CComp clk (Unsigned n, Unsigned n, Bool, a) a

Deprecated: CComp is deprecated and will be removed in version 0.6, use cblockRamPow2 instead

Create a blockRAM with space for 2^n elements

• NB: Read value is delayed by 1 cycle
• NB: Initial output value is undefined

clk100 = Clock d100

bramC32 :: CComp 100 (Unsigned 5, Unsigned 5, Bool, Bit) Bit
bramC32 = blockRamPow2CC clk100 (vcopy d32 Bit)

Utility functions

cwindow

Arguments

:: (KnownNat (n + 1), Default a)

=> Clock clk

Clock to which the incoming signal is synchronized

-> CSignal clk a

Signal to create a window over

-> Vec ((n + 1) + 1) (CSignal clk a)

Window of at least size 2

Give a window over a CSignal

window4 :: Signal Int -> Vec 4 (Signal Int)
window4 = window

>>> csimulateP window4 [1,2,3,4,5,...
[<1,0,0,0>, <2,1,0,0>, <3,2,1,0>, <4,3,2,1>, <5,4,3,2>,...

cwindowD

Arguments

:: (KnownNat (n + 1), Default a)

=> Clock clk

Clock to which the incoming signal is synchronized

-> CSignal clk a

Signal to create a window over

-> Vec (n + 1) (CSignal clk a)

Window of at least size 1

Give a delayed window over a CSignal

windowD3 :: Signal Int -> Vec 3 (Signal Int)
windowD3 = windowD

>>> csimulateP windowD3 [1,2,3,4,...
[<0,0,0>, <1,0,0>, <2,1,0>, <3,2,1>, <4,3,2>,...

Testbench functions

csassert

Arguments

:: (Eq a, Show a)

=> CSignal t a

Checked value

-> CSignal t a

Expected value

-> CSignal t b

Return valued

-> CSignal t b

Compares the first two arguments for equality and logs a warning when they are not equal. The second argument is considered the expected value. This function simply returns the third argument unaltered as its result. This function is used by coutputVerifier.

This function is translated to the following VHDL:

csassert_block : block
begin
  -- pragma translate_off
  process(clk_t,reset_t,arg0,arg1) is
  begin
    if (rising_edge(clk_t) or rising_edge(reset_t)) then
      assert (arg0 = arg1) report ("expected: " & to_string (arg1) & \", actual: \" & to_string (arg0)) severity error;
    end if;
  end process;
  -- pragma translate_on
  result <= arg2;
end block;

And can, due to the pragmas, be used in synthesizable designs

cstimuliGenerator

Arguments

:: forall l clk a . KnownNat l

=> Vec l a

Samples to generate

-> Clock clk

Clock to synchronize the output signal to

-> CSignal clk a

Signal of given samples

To be used as a one of the functions to create the "magical" testInput value, which the CλaSH compilers looks for to create the stimulus generator for the generated VHDL testbench.

Example:

clk2 = Clock d2

testInput :: CSignal 2 Int
testInput = cstimuliGenerator $(v [(1::Int),3..21]) clk2

>>> csample testInput
[1,3,5,7,9,11,13,15,17,19,21,21,21,...

coutputVerifier

Arguments

:: forall l clk a . (KnownNat l, Eq a, Show a)

=> Vec l a

Samples to compare with

-> Clock clk

Clock the input signal is synchronized to

-> CSignal clk a

Signal to verify

-> CSignal clk Bool

Indicator that all samples are verified

To be used as a functions to generate the "magical" expectedOutput function, which the CλaSH compilers looks for to create the signal verifier for the generated VHDL testbench.

Example:

clk7 = Clock d7

expectedOutput :: CSignal 7 Int -> CSignal 7 Bool
expectedOutput = coutputVerifier $(v ([70,99,2,3,4,5,7,8,9,10]::[Int])) clk7

>>> csample (expectedOutput (cfromList ([0..10] ++ [10,10,10])))
[
expected value: 70, not equal to actual value: 0
False,
expected value: 99, not equal to actual value: 1
False,False,False,False,False,
expected value: 7, not equal to actual value: 6
False,
expected value: 8, not equal to actual value: 7
False,
expected value: 9, not equal to actual value: 8
False,
expected value: 10, not equal to actual value: 9
False,True,True,...

Exported modules

Explicitly clocked synchronous signals

module CLaSH.Signal.Explicit