Mercurial > pygar

view core/sim/bdir_dut/MemTypes.bi @ 1:91a1f76ddd62 pygar svn.2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[svn r2] Adding initial lab 5 source
author punk
date Tue, 13 Apr 2010 17:34:33 -0400
parents
children
line wrap: on
line source
     1 signature MemTypes where {



     2 import ¶Counter®¶;



     3 		 



     4 import ¶FIFOF_®¶;



     5 		



     6 import ¶FIFOF®¶;



     7 	       



     8 import ¶FIFO®¶;



     9 	      



    10 import ¶Inout®¶;



    11 	       



    12 import ¶List®¶;



    13 	      



    14 import ¶Clocks®¶;



    15 		



    16 import ¶ListN®¶;



    17 	       



    18 import ¶PrimArray®¶;



    19 		   



    20 import ¶Vector®¶;



    21 		



    22 import ¶Connectable®¶;



    23 		     



    24 import ¶GetPut®¶;



    25 		



    26 import ¶ClientServer®¶;



    27 		      



    28 import Trace;



    29 	    



    30 data (MemTypes.MemReq :: # -> # -> # -> *) addrSz tagSz dataSz =



    31     MemTypes.LoadReq (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz) |



    32     MemTypes.StoreReq (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz);



    33 								       



    34 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.MemReq addrSz tagSz dataSz);



    35 										       



    36 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.MemReq addrSz tagSz dataSz);



    37 										     



    38 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.MemReq addrSz tagSz dataSz);



    39 											   



    40 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.MemReq addrSz tagSz dataSz);



    41 									



    42 instance MemTypes (¶Prelude®¶.¶Add®¶ 1 _v103 _v100,



    43 		   ¶Prelude®¶.¶Max®¶ _v101 _v104 _v103,



    44 		   ¶Prelude®¶.¶Add®¶ _v105 _v104 _v103,



    45 		   ¶Prelude®¶.¶Add®¶ _v102 _v101 _v103,



    46 		   ¶Prelude®¶.¶Add®¶ addrSz _v106 _v104,



    47 		   ¶Prelude®¶.¶Add®¶ tagSz dataSz _v106,



    48 		   ¶Prelude®¶.¶Add®¶ addrSz tagSz _v101) =>



    49 		  ¶Prelude®¶.¶Bits®¶ (MemTypes.MemReq addrSz tagSz dataSz) _v100;



    50 										



    51 struct (MemTypes.¶MemReq_$LoadReq¶ :: # -> # -> # -> *) addrSz tagSz dataSz = {



    52     MemTypes.addr :: ¶Prelude®¶.¶Bit®¶ addrSz;



    53     MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz



    54 };



    55  



    56 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz);



    57 												  



    58 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz);



    59 												



    60 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶



    61 		  (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz);



    62 								  



    63 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz);



    64 										   



    65 instance MemTypes (¶Prelude®¶.¶Add®¶ _v101 _v104 _v100) =>



    66 		  ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemReq_$LoadReq¶ _v101 _v104 dataSz) _v100;



    67 											  



    68 struct (MemTypes.¶MemReq_$StoreReq¶ :: # -> # -> # -> *) addrSz tagSz dataSz = {



    69     MemTypes.addr :: ¶Prelude®¶.¶Bit®¶ addrSz;



    70     MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz;



    71     MemTypes.¡data¡ :: ¶Prelude®¶.¶Bit®¶ dataSz



    72 };



    73  



    74 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz);



    75 												   



    76 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz);



    77 												 



    78 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶



    79 		  (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz);



    80 								   



    81 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz);



    82 										    



    83 instance MemTypes (¶Prelude®¶.¶Add®¶ _v101 _v100 _v103, ¶Prelude®¶.¶Add®¶ _v104 _v107 _v100) =>



    84 		  ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemReq_$StoreReq¶ _v101 _v104 _v107) _v103;



    85 											  



    86 data (MemTypes.MemResp :: # -> # -> *) tagSz dataSz =



    87     MemTypes.LoadResp (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz) |



    88     MemTypes.StoreResp (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz);



    89 								   



    90 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.MemResp tagSz dataSz);



    91 										 



    92 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.MemResp tagSz dataSz);



    93 									       



    94 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.MemResp tagSz dataSz);



    95 										     



    96 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.MemResp tagSz dataSz);



    97 								  



    98 instance MemTypes (¶Prelude®¶.¶Add®¶ 1 _v103 _v100,



    99 		   ¶Prelude®¶.¶Max®¶ _v101 _v104 _v103,



   100 		   ¶Prelude®¶.¶Add®¶ _v105 _v104 _v103,



   101 		   ¶Prelude®¶.¶Add®¶ _v102 _v101 _v103,



   102 		   ¶Prelude®¶.¶Add®¶ _v104 dataSz _v101) =>



   103 		  ¶Prelude®¶.¶Bits®¶ (MemTypes.MemResp _v104 dataSz) _v100;



   104 									  



   105 struct (MemTypes.¶MemResp_$LoadResp¶ :: # -> # -> *) tagSz dataSz = {



   106     MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz;



   107     MemTypes.¡data¡ :: ¶Prelude®¶.¶Bit®¶ dataSz



   108 };



   109  



   110 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz);



   111 											     



   112 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz);



   113 											   



   114 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz);



   115 												 



   116 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz);



   117 									      



   118 instance MemTypes (¶Prelude®¶.¶Add®¶ _v101 _v104 _v100) =>



   119 		  ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemResp_$LoadResp¶ _v101 _v104) _v100;



   120 										     



   121 struct (MemTypes.¶MemResp_$StoreResp¶ :: # -> # -> *) tagSz dataSz = {



   122     MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz



   123 };



   124  



   125 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz);



   126 											      



   127 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz);



   128 											    



   129 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz);



   130 												  



   131 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz);



   132 									       



   133 instance MemTypes ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemResp_$StoreResp¶ _v101 dataSz) _v101;



   134 										       



   135 type (MemTypes.AddrSz :: #) = 32;



   136 				



   137 type (MemTypes.TagSz :: #) = 8;



   138 			      



   139 type (MemTypes.DataSz :: #) = 32;



   140 				



   141 type (MemTypes.InstSz :: #) = 32;



   142 				



   143 type (MemTypes.HostDataSz :: #) = 32;



   144 				    



   145 type (MemTypes.InstReq :: *) = MemTypes.MemReq MemTypes.AddrSz MemTypes.TagSz 0;



   146 									       



   147 type (MemTypes.InstResp :: *) = MemTypes.MemResp MemTypes.TagSz MemTypes.InstSz;



   148 									       



   149 type (MemTypes.DataReq :: *) = MemTypes.MemReq MemTypes.AddrSz MemTypes.TagSz MemTypes.DataSz;



   150 											     



   151 type (MemTypes.DataResp :: *) = MemTypes.MemResp MemTypes.TagSz MemTypes.DataSz;



   152 									       



   153 type (MemTypes.HostReq :: *) = MemTypes.MemReq MemTypes.AddrSz MemTypes.TagSz MemTypes.HostDataSz;



   154 												 



   155 type (MemTypes.HostResp :: *) = MemTypes.MemResp MemTypes.TagSz MemTypes.HostDataSz;



   156 										   



   157 type (MemTypes.MainMemAddrSz :: #) = 32;



   158 				       



   159 type (MemTypes.MainMemTagSz :: #) = 8;



   160 				     



   161 type (MemTypes.MainMemDataSz :: #) = 32;



   162 				       



   163 type (MemTypes.MainMemReq :: *) =



   164   MemTypes.MemReq MemTypes.MainMemAddrSz MemTypes.MainMemTagSz MemTypes.MainMemDataSz;



   165 										     



   166 type (MemTypes.MainMemResp :: *) = MemTypes.MemResp MemTypes.MainMemTagSz MemTypes.MainMemDataSz;



   167 												



   168 instance MemTypes Trace.Traceable (MemTypes.MemReq a b c);



   169 							 



   170 instance MemTypes Trace.Traceable (MemTypes.MemResp a b)



   171 }