| Haskell module | Description |
|---|---|
| Algorithms | Reg, RegFile, Code, Alg, runAlg |
| ChipModel | The chip model and main property assertions |
| Examples | A sample algorithm and a test case |
| FM | class FM (finite maps) and definitions of expected properties |
| FunFM | Functions from natural numbers as finite maps |
| MemMonads | class MemMonad |
| Memories | Memory, Addr, Word, Data, Range, ... |
| Nat | Natural numbers |
| Protected | Protected memory monad |
| State | Implemenation of the State Monad |