Mercurial > pygar

view core/sim/bdir_dut/Processor.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 Processor where {



     2 import ¶Assert®¶;



     3 		



     4 import ¶ConfigReg®¶;



     5 		   



     6 import ¶Counter®¶;



     7 		 



     8 import ¶FIFOF_®¶;



     9 		



    10 import ¶FIFOF®¶;



    11 	       



    12 import ¶FIFO®¶;



    13 	      



    14 import ¶Inout®¶;



    15 	       



    16 import ¶List®¶;



    17 	      



    18 import BFIFO;



    19 	    



    20 import ¶Clocks®¶;



    21 		



    22 import ¶ListN®¶;



    23 	       



    24 import ¶Monad®¶;



    25 	       



    26 import ¶PrimArray®¶;



    27 		   



    28 import ¶RWire®¶;



    29 	       



    30 import ¶RegFile®¶;



    31 		 



    32 import SFIFO;



    33 	    



    34 import ¶Vector®¶;



    35 		



    36 import ¶Connectable®¶;



    37 		     



    38 import ¶GetPut®¶;



    39 		



    40 import ¶ClientServer®¶;



    41 		      



    42 import Trace;



    43 	    



    44 import MemTypes;



    45 	       



    46 import ProcTypes;



    47 		



    48 import BRegFile;



    49 	       



    50 import BranchPred;



    51 		 



    52 interface (Processor.ProcStats :: *) = {



    53     Processor.num_cycles :: ¶GetPut®¶.¶Get®¶ ProcTypes.Stat;



    54     Processor.num_inst :: ¶GetPut®¶.¶Get®¶ ProcTypes.Stat



    55 };



    56  



    57 instance Processor ¶Prelude®¶.¶PrimMakeUndefined®¶ Processor.ProcStats;



    58 								      



    59 instance Processor ¶Prelude®¶.¶PrimDeepSeqCond®¶ Processor.ProcStats;



    60 								    



    61 instance Processor ¶Prelude®¶.¶PrimMakeUninitialized®¶ Processor.ProcStats;



    62 									  



    63 interface (Processor.CPUToHost :: *) = {



    64     Processor.cpuToHost :: ¶Prelude®¶.¶Int®¶ 32 -> ¶Prelude®¶.¶Bit®¶ 32 {-# arg_names = [req] #-}



    65 };



    66  



    67 instance Processor ¶Prelude®¶.¶PrimMakeUndefined®¶ Processor.CPUToHost;



    68 								      



    69 instance Processor ¶Prelude®¶.¶PrimDeepSeqCond®¶ Processor.CPUToHost;



    70 								    



    71 instance Processor ¶Prelude®¶.¶PrimMakeUninitialized®¶ Processor.CPUToHost;



    72 									  



    73 interface (Processor.Proc :: *) = {



    74     Processor.dmem_client :: ¶ClientServer®¶.¶Client®¶ MemTypes.DataReq MemTypes.DataResp;



    75     Processor.imem_client :: ¶ClientServer®¶.¶Client®¶ MemTypes.InstReq MemTypes.InstResp;



    76     Processor.statsEn_get :: ¶GetPut®¶.¶Get®¶ ¶Prelude®¶.¶Bool®¶;



    77     Processor.stats :: Processor.ProcStats;



    78     Processor.tohost :: Processor.CPUToHost



    79 };



    80  



    81 instance Processor ¶Prelude®¶.¶PrimMakeUndefined®¶ Processor.Proc;



    82 								 



    83 instance Processor ¶Prelude®¶.¶PrimDeepSeqCond®¶ Processor.Proc;



    84 							       



    85 instance Processor ¶Prelude®¶.¶PrimMakeUninitialized®¶ Processor.Proc;



    86 								     



    87 data (Processor.Stage :: *) = Processor.PCgen () | Processor.Exec () | Processor.Writeback ();



    88 											     



    89 instance Processor ¶Prelude®¶.¶PrimMakeUndefined®¶ Processor.Stage;



    90 								  



    91 instance Processor ¶Prelude®¶.¶PrimDeepSeqCond®¶ Processor.Stage;



    92 								



    93 instance Processor ¶Prelude®¶.¶PrimMakeUninitialized®¶ Processor.Stage;



    94 								      



    95 instance Processor ¶Prelude®¶.¶Eq®¶ Processor.Stage;



    96 						   



    97 instance Processor ¶Prelude®¶.¶Bits®¶ Processor.Stage 2;



    98 						       



    99 interface (Processor.BRFile :: *) = {



   100     Processor.wr :: ProcTypes.Rindx ->



   101 		    ¶Prelude®¶.¶Bit®¶ 32 -> ¶Prelude®¶.¶Action®¶ {-# arg_names = [rindx, ¡data¡] #-};



   102     Processor.rd1 :: ProcTypes.Rindx -> ¶Prelude®¶.¶Bit®¶ 32 {-# arg_names = [rindx] #-};



   103     Processor.rd2 :: ProcTypes.Rindx -> ¶Prelude®¶.¶Bit®¶ 32 {-# arg_names = [rindx] #-}



   104 };



   105  



   106 instance Processor ¶Prelude®¶.¶PrimMakeUndefined®¶ Processor.BRFile;



   107 								   



   108 instance Processor ¶Prelude®¶.¶PrimDeepSeqCond®¶ Processor.BRFile;



   109 								 



   110 instance Processor ¶Prelude®¶.¶PrimMakeUninitialized®¶ Processor.BRFile;



   111 								       



   112 Processor.mkBRFile :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) => _m__ Processor.BRFile;



   113 										 



   114 Processor.slt :: ¶Prelude®¶.¶Bit®¶ 32 -> ¶Prelude®¶.¶Bit®¶ 32 -> ¶Prelude®¶.¶Bit®¶ 32;



   115 										     



   116 Processor.sltu :: ¶Prelude®¶.¶Bit®¶ 32 -> ¶Prelude®¶.¶Bit®¶ 32 -> ¶Prelude®¶.¶Bit®¶ 32;



   117 										      



   118 Processor.rshft :: ¶Prelude®¶.¶Bit®¶ 32 -> ¶Prelude®¶.¶Bit®¶ 32;



   119 							       



   120 Processor.findwbf :: ProcTypes.Rindx -> ProcTypes.WBResult -> ¶Prelude®¶.¶Bool®¶;



   121 										



   122 Processor.stall :: ProcTypes.Instr ->



   123 		   SFIFO.SFIFO ProcTypes.WBResult ProcTypes.Rindx -> ¶Prelude®¶.¶Bool®¶;



   124 										       



   125 Processor.mkProc :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) => _m__ Processor.Proc



   126 }