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 }
|