Mercurial > pygar
annotate core/sim/bdir_dut/MemArb.bi @ 1:91a1f76ddd62 pygar svn.2
[svn r2] Adding initial lab 5 source
| author | punk |
|---|---|
| date | Tue, 13 Apr 2010 17:34:33 -0400 |
| parents | |
| children |
| rev | line source |
|---|---|
| punk@1 | 1 signature MemArb where { |
| punk@1 | 2 import ¶Assert®¶; |
| punk@1 | 3 |
| punk@1 | 4 import ¶Counter®¶; |
| punk@1 | 5 |
| punk@1 | 6 import ¶FIFOF_®¶; |
| punk@1 | 7 |
| punk@1 | 8 import ¶FIFOF®¶; |
| punk@1 | 9 |
| punk@1 | 10 import ¶FIFO®¶; |
| punk@1 | 11 |
| punk@1 | 12 import ¶Inout®¶; |
| punk@1 | 13 |
| punk@1 | 14 import ¶List®¶; |
| punk@1 | 15 |
| punk@1 | 16 import BFIFO; |
| punk@1 | 17 |
| punk@1 | 18 import ¶Clocks®¶; |
| punk@1 | 19 |
| punk@1 | 20 import ¶ListN®¶; |
| punk@1 | 21 |
| punk@1 | 22 import ¶PrimArray®¶; |
| punk@1 | 23 |
| punk@1 | 24 import ¶Vector®¶; |
| punk@1 | 25 |
| punk@1 | 26 import ¶Connectable®¶; |
| punk@1 | 27 |
| punk@1 | 28 import ¶GetPut®¶; |
| punk@1 | 29 |
| punk@1 | 30 import ¶ClientServer®¶; |
| punk@1 | 31 |
| punk@1 | 32 import Trace; |
| punk@1 | 33 |
| punk@1 | 34 import MemTypes; |
| punk@1 | 35 |
| punk@1 | 36 interface (MemArb.MemArb :: *) = { |
| punk@1 | 37 MemArb.cache0_server :: ¶ClientServer®¶.¶Server®¶ MemTypes.MainMemReq MemTypes.MainMemResp; |
| punk@1 | 38 MemArb.cache1_server :: ¶ClientServer®¶.¶Server®¶ MemTypes.MainMemReq MemTypes.MainMemResp; |
| punk@1 | 39 MemArb.mmem_client :: ¶ClientServer®¶.¶Client®¶ MemTypes.MainMemReq MemTypes.MainMemResp |
| punk@1 | 40 }; |
| punk@1 | 41 |
| punk@1 | 42 instance MemArb ¶Prelude®¶.¶PrimMakeUndefined®¶ MemArb.MemArb; |
| punk@1 | 43 |
| punk@1 | 44 instance MemArb ¶Prelude®¶.¶PrimDeepSeqCond®¶ MemArb.MemArb; |
| punk@1 | 45 |
| punk@1 | 46 instance MemArb ¶Prelude®¶.¶PrimMakeUninitialized®¶ MemArb.MemArb; |
| punk@1 | 47 |
| punk@1 | 48 data (MemArb.ReqPtr :: *) = MemArb.REQ0 () | MemArb.REQ1 (); |
| punk@1 | 49 |
| punk@1 | 50 instance MemArb ¶Prelude®¶.¶PrimMakeUndefined®¶ MemArb.ReqPtr; |
| punk@1 | 51 |
| punk@1 | 52 instance MemArb ¶Prelude®¶.¶PrimDeepSeqCond®¶ MemArb.ReqPtr; |
| punk@1 | 53 |
| punk@1 | 54 instance MemArb ¶Prelude®¶.¶PrimMakeUninitialized®¶ MemArb.ReqPtr; |
| punk@1 | 55 |
| punk@1 | 56 instance MemArb ¶Prelude®¶.¶Eq®¶ MemArb.ReqPtr; |
| punk@1 | 57 |
| punk@1 | 58 instance MemArb ¶Prelude®¶.¶Bits®¶ MemArb.ReqPtr 1; |
| punk@1 | 59 |
| punk@1 | 60 MemArb.mkMemArb :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) => _m__ MemArb.MemArb |
| punk@1 | 61 } |