annotate core/sim/bdir_dut/SceMiLayer.bi @ 3:5e0595db14f6 pygar svn.4

[svn r4] added bluespec manual to documents
author rlm
date Tue, 20 Apr 2010 20:09:46 -0400
parents 91a1f76ddd62
children
rev   line source
punk@1 1 signature SceMiLayer where {
punk@1 2 import ¶Assert®¶;
punk@1 3
punk@1 4 import ¶ConfigReg®¶;
punk@1 5
punk@1 6 import ¶Counter®¶;
punk@1 7
punk@1 8 import ¶DReg®¶;
punk@1 9
punk@1 10 import ¶EdgeDetect®¶;
punk@1 11
punk@1 12 import ¶FIFOF_®¶;
punk@1 13
punk@1 14 import ¶FIFOF®¶;
punk@1 15
punk@1 16 import ¶FIFO®¶;
punk@1 17
punk@1 18 import ¶HList®¶;
punk@1 19
punk@1 20 import ¶Inout®¶;
punk@1 21
punk@1 22 import ¶List®¶;
punk@1 23
punk@1 24 import BFIFO;
punk@1 25
punk@1 26 import ¶Clocks®¶;
punk@1 27
punk@1 28 import ¶DiniPCIE®¶;
punk@1 29
punk@1 30 import ¶ListN®¶;
punk@1 31
punk@1 32 import ¶ModuleContextCore®¶;
punk@1 33
punk@1 34 import ¶ModuleContext®¶;
punk@1 35
punk@1 36 import ¶Monad®¶;
punk@1 37
punk@1 38 import ¶PrimArray®¶;
punk@1 39
punk@1 40 import ¶RWire®¶;
punk@1 41
punk@1 42 import ¶RegFile®¶;
punk@1 43
punk@1 44 import ¶Real®¶;
punk@1 45
punk@1 46 import ¶RevertingVirtualReg®¶;
punk@1 47
punk@1 48 import ¶Reserved®¶;
punk@1 49
punk@1 50 import SFIFO;
punk@1 51
punk@1 52 import ¶Vector®¶;
punk@1 53
punk@1 54 import ¶BRAMCore®¶;
punk@1 55
punk@1 56 import ¶BUtils®¶;
punk@1 57
punk@1 58 import ¶Connectable®¶;
punk@1 59
punk@1 60 import ¶DefaultValue®¶;
punk@1 61
punk@1 62 import ¶Gearbox®¶;
punk@1 63
punk@1 64 import ¶GetPut®¶;
punk@1 65
punk@1 66 import ¶AlignedFIFOs®¶;
punk@1 67
punk@1 68 import ¶ClientServer®¶;
punk@1 69
punk@1 70 import ¶FIFOLevel®¶;
punk@1 71
punk@1 72 import ¶SceMiDefines®¶;
punk@1 73
punk@1 74 import ¶SceMiProxies®¶;
punk@1 75
punk@1 76 import ¶SpecialFIFOs®¶;
punk@1 77
punk@1 78 import ¶SceMiInternals®¶;
punk@1 79
punk@1 80 import ¶SceMiAldecMacros®¶;
punk@1 81
punk@1 82 import ¶SceMiEveMacros®¶;
punk@1 83
punk@1 84 import ¶SceMiMacros®¶;
punk@1 85
punk@1 86 import ¶TieOff®¶;
punk@1 87
punk@1 88 import Trace;
punk@1 89
punk@1 90 import MemTypes;
punk@1 91
punk@1 92 import MemArb;
punk@1 93
punk@1 94 import ProcTypes;
punk@1 95
punk@1 96 import BRegFile;
punk@1 97
punk@1 98 import BranchPred;
punk@1 99
punk@1 100 import DataCacheBlocking;
punk@1 101
punk@1 102 import InstCacheBlocking;
punk@1 103
punk@1 104 import Processor;
punk@1 105
punk@1 106 import Core;
punk@1 107
punk@1 108 import ¶UnitAppendList®¶;
punk@1 109
punk@1 110 import ¶XilinxCells®¶;
punk@1 111
punk@1 112 import ¶SceMiClocks®¶;
punk@1 113
punk@1 114 import ¶SceMiDiniPCIE®¶;
punk@1 115
punk@1 116 import ¶SceMiTCP®¶;
punk@1 117
punk@1 118 import ¶XilinxPCIE®¶;
punk@1 119
punk@1 120 import ¶SceMiVirtex5PCIE®¶;
punk@1 121
punk@1 122 import ¶SceMiPCIE®¶;
punk@1 123
punk@1 124 import ¶SceMiCore®¶;
punk@1 125
punk@1 126 import ¶SceMiXactors®¶;
punk@1 127
punk@1 128 import ¶SceMiSerialProbe®¶;
punk@1 129
punk@1 130 import ¶SceMi®¶;
punk@1 131
punk@1 132 interface (SceMiLayer.DutWrapper :: *) = {
punk@1 133 SceMiLayer.core :: Core.Core;
punk@1 134 SceMiLayer.doreset :: ¶GetPut®¶.¶Put®¶ (¶Prelude®¶.¶Bit®¶ 1)
punk@1 135 };
punk@1 136
punk@1 137 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUndefined®¶ SceMiLayer.DutWrapper;
punk@1 138
punk@1 139 instance SceMiLayer ¶Prelude®¶.¶PrimDeepSeqCond®¶ SceMiLayer.DutWrapper;
punk@1 140
punk@1 141 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUninitialized®¶ SceMiLayer.DutWrapper;
punk@1 142
punk@1 143 SceMiLayer.mkDutWrapper :: ¶Prelude®¶.¶Module®¶ SceMiLayer.DutWrapper;
punk@1 144
punk@1 145 SceMiLayer.mkSceMiLayer :: ¶SceMiInternals®¶.¶SceMiModule®¶ ¶Prelude®¶.¶Empty®¶;
punk@1 146
punk@1 147 SceMiLayer.mkCPUToHostXactor :: Processor.CPUToHost ->
punk@1 148 ¶SceMiDefines®¶.¶SceMiClockPortIfc®¶ ->
punk@1 149 ¶SceMiInternals®¶.¶SceMiModule®¶ ¶Prelude®¶.¶Empty®¶;
punk@1 150
punk@1 151 data (SceMiLayer.StatID :: *) =
punk@1 152 SceMiLayer.DCACHE_ACCESSES () |
punk@1 153 SceMiLayer.DCACHE_MISSES () |
punk@1 154 SceMiLayer.DCACHE_WRITEBACKS () |
punk@1 155 SceMiLayer.ICACHE_ACCESSES () |
punk@1 156 SceMiLayer.ICACHE_MISSES () |
punk@1 157 SceMiLayer.ICACHE_EVICTIONS () |
punk@1 158 SceMiLayer.PROC_INST () |
punk@1 159 SceMiLayer.PROC_CYCLES ();
punk@1 160
punk@1 161 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUndefined®¶ SceMiLayer.StatID;
punk@1 162
punk@1 163 instance SceMiLayer ¶Prelude®¶.¶PrimDeepSeqCond®¶ SceMiLayer.StatID;
punk@1 164
punk@1 165 instance SceMiLayer ¶Prelude®¶.¶PrimMakeUninitialized®¶ SceMiLayer.StatID;
punk@1 166
punk@1 167 instance SceMiLayer ¶Prelude®¶.¶Bits®¶ SceMiLayer.StatID 3;
punk@1 168
punk@1 169 instance SceMiLayer ¶Prelude®¶.¶Eq®¶ SceMiLayer.StatID;
punk@1 170
punk@1 171 SceMiLayer.mkCoreStatsXactor :: Core.CoreStats ->
punk@1 172 ¶SceMiDefines®¶.¶SceMiClockPortIfc®¶ ->
punk@1 173 ¶SceMiInternals®¶.¶SceMiModule®¶ ¶Prelude®¶.¶Empty®¶
punk@1 174 }