Mercurial > pygar
annotate core/sim/bdir_dut/MemArb.bi @ 61:74d2fe78f36a pygar svn.62
[svn r62] synthesis boundaries
| author | punk |
|---|---|
| date | Mon, 10 May 2010 20:31:25 -0400 |
| parents | 91a1f76ddd62 |
| 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 } |