Mercurial > pygar

     1 import RegFile::*;

     2 import RWire::*;

     3 import ProcTypes::*;

     4 

     5 `include "asim/provides/low_level_platform_interface.bsh"

     6 `include "asim/provides/soft_connections.bsh"

     7 `include "asim/provides/fpga_components.bsh"

     8 `include "asim/provides/common_services.bsh"

     9 

    10 //-----------------------------------------------------------

    11 // Register file module

    12 //-----------------------------------------------------------

    13 

    14 interface BRegFile;

    15    method Action   wr( Rindx rindx, Bit#(32) data );

    16    method ActionValue#( Bit#(32)) rd1( Rindx rindx );

    17    method ActionValue#( Bit#(32)) rd2( Rindx rindx );

    18 endinterface

    19 

    20 (* doc = "synthesis attribute ram_style mkBRegFile distributed;" *)

    21 (* synthesize *)

    22 module mkBRegFile(BRegFile);

    23 

    24    LUTRAM#(Rindx, Bit#(32)) rf <- mkLUTRAMU_RegFile();

    25    RWire#(Tuple2#(Rindx, Bit#(32))) rw <-mkRWire();

    26 

    27    method Action wr( Rindx rindx, Bit#(32) data );

    28       rf.upd( rindx, data );

    29       rw.wset(tuple2(rindx,data));

    30    endmethod

    31 

    32    method ActionValue#(Bit#(32)) rd1 (Rindx r);

    33       if (r == 0) return 0;

    34       else begin

    35             case (rw.wget()) matches

    36 	     tagged Valid {.wr, .d} :

    37 	       return (wr == r) ? d : rf.sub(r);

    38 	     tagged Invalid : return rf.sub(r);

    39      	    endcase

    40 	   end

    41    endmethod

    42 

    43    method ActionValue#(Bit#(32)) rd2 (Rindx r);

    44       if (r == 0) return 0;

    45       else begin

    46             case (rw.wget()) matches

    47 	     tagged Valid {.wr, .d} :

    48 	       return (wr == r) ? d : rf.sub(r);

    49 	     tagged Invalid : return rf.sub(r);

    50      	    endcase

    51 	   end

    52    endmethod

    53    

    54 endmodule
author	punk
date	Mon, 10 May 2010 22:54:54 -0400
parents	90fa9b289aab
children