src/TopSim.bs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package TopSim where

import Top

mkTopSim :: Module Empty
mkTopSim =
  module
    timer :: Reg (Bit 8) <- mkReg 0

    rules
      when True ==> do
        timer := timer + 1
      when (timer == 0xff) ==> do
        $finish

-- vim: set ft=haskell :