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 }