view core/sim/bdir_dut/SceMiLayer.bi @ 71:86360c5ae9f2 pygar svn.72

[svn r72] added config for htg
author punk
date Wed, 12 May 2010 00:21:40 -0400
parents 91a1f76ddd62
children
line wrap: on
line source
1 signature SceMiLayer where {
2 import ¶Assert®¶;
4 import ¶ConfigReg®¶;
6 import ¶Counter®¶;
8 import ¶DReg®¶;
10 import ¶EdgeDetect®¶;
12 import ¶FIFOF_®¶;
14 import ¶FIFOF®¶;
16 import ¶FIFO®¶;
18 import ¶HList®¶;
20 import ¶Inout®¶;
22 import ¶List®¶;
24 import BFIFO;
26 import ¶Clocks®¶;
28 import ¶DiniPCIE®¶;
30 import ¶ListN®¶;
32 import ¶ModuleContextCore®¶;
34 import ¶ModuleContext®¶;
36 import ¶Monad®¶;
38 import ¶PrimArray®¶;
40 import ¶RWire®¶;
42 import ¶RegFile®¶;
44 import ¶Real®¶;
46 import ¶RevertingVirtualReg®¶;
48 import ¶Reserved®¶;
50 import SFIFO;
52 import ¶Vector®¶;
54 import ¶BRAMCore®¶;
56 import ¶BUtils®¶;
58 import ¶Connectable®¶;
60 import ¶DefaultValue®¶;
62 import ¶Gearbox®¶;
64 import ¶GetPut®¶;
66 import ¶AlignedFIFOs®¶;
68 import ¶ClientServer®¶;
70 import ¶FIFOLevel®¶;
72 import ¶SceMiDefines®¶;
74 import ¶SceMiProxies®¶;
76 import ¶SpecialFIFOs®¶;
78 import ¶SceMiInternals®¶;
80 import ¶SceMiAldecMacros®¶;
82 import ¶SceMiEveMacros®¶;
84 import ¶SceMiMacros®¶;
86 import ¶TieOff®¶;
88 import Trace;
90 import MemTypes;
92 import MemArb;
94 import ProcTypes;
96 import BRegFile;
98 import BranchPred;
100 import DataCacheBlocking;
102 import InstCacheBlocking;
104 import Processor;
106 import Core;
108 import ¶UnitAppendList®¶;
110 import ¶XilinxCells®¶;
112 import ¶SceMiClocks®¶;
114 import ¶SceMiDiniPCIE®¶;
116 import ¶SceMiTCP®¶;
118 import ¶XilinxPCIE®¶;
120 import ¶SceMiVirtex5PCIE®¶;
122 import ¶SceMiPCIE®¶;
124 import ¶SceMiCore®¶;
126 import ¶SceMiXactors®¶;
128 import ¶SceMiSerialProbe®¶;
130 import ¶SceMi®¶;
132 interface (SceMiLayer.DutWrapper :: *) = {
133 SceMiLayer.core :: Core.Core;
134 SceMiLayer.doreset :: ¶GetPut®¶.¶Put®¶ (¶Prelude®¶.¶Bit®¶ 1)
135 };
137 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUndefined®¶ SceMiLayer.DutWrapper;
139 instance SceMiLayer ¶Prelude®¶.¶PrimDeepSeqCond®¶ SceMiLayer.DutWrapper;
141 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUninitialized®¶ SceMiLayer.DutWrapper;
143 SceMiLayer.mkDutWrapper :: ¶Prelude®¶.¶Module®¶ SceMiLayer.DutWrapper;
145 SceMiLayer.mkSceMiLayer :: ¶SceMiInternals®¶.¶SceMiModule®¶ ¶Prelude®¶.¶Empty®¶;
147 SceMiLayer.mkCPUToHostXactor :: Processor.CPUToHost ->
148 ¶SceMiDefines®¶.¶SceMiClockPortIfc®¶ ->
149 ¶SceMiInternals®¶.¶SceMiModule®¶ ¶Prelude®¶.¶Empty®¶;
151 data (SceMiLayer.StatID :: *) =
152 SceMiLayer.DCACHE_ACCESSES () |
153 SceMiLayer.DCACHE_MISSES () |
154 SceMiLayer.DCACHE_WRITEBACKS () |
155 SceMiLayer.ICACHE_ACCESSES () |
156 SceMiLayer.ICACHE_MISSES () |
157 SceMiLayer.ICACHE_EVICTIONS () |
158 SceMiLayer.PROC_INST () |
159 SceMiLayer.PROC_CYCLES ();
161 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUndefined®¶ SceMiLayer.StatID;
163 instance SceMiLayer ¶Prelude®¶.¶PrimDeepSeqCond®¶ SceMiLayer.StatID;
165 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUninitialized®¶ SceMiLayer.StatID;
167 instance SceMiLayer ¶Prelude®¶.¶Bits®¶ SceMiLayer.StatID 3;
169 instance SceMiLayer ¶Prelude®¶.¶Eq®¶ SceMiLayer.StatID;
171 SceMiLayer.mkCoreStatsXactor :: Core.CoreStats ->
172 ¶SceMiDefines®¶.¶SceMiClockPortIfc®¶ ->
173 ¶SceMiInternals®¶.¶SceMiModule®¶ ¶Prelude®¶.¶Empty®¶
174 }