Mercurial > pygar
diff modules/bluespec/Pygar/lab4/MemTypes.bsv @ 8:74716e9a81cc pygar svn.9
[svn r9] Pygar now has the proper directory structure to play nicely with awb. Also, the apm file for audio-core willcompile successfully.
author | rlm |
---|---|
date | Fri, 23 Apr 2010 02:32:05 -0400 |
parents | |
children |
line wrap: on
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/modules/bluespec/Pygar/lab4/MemTypes.bsv Fri Apr 23 02:32:05 2010 -0400 1.3 @@ -0,0 +1,92 @@ 1.4 +import Trace::*; 1.5 + 1.6 +//---------------------------------------------------------------------- 1.7 +// Basic memory requests and responses 1.8 +//---------------------------------------------------------------------- 1.9 + 1.10 +typedef union tagged 1.11 +{ 1.12 + struct { Bit#(addrSz) addr; Bit#(tagSz) tag; } LoadReq; 1.13 + struct { Bit#(addrSz) addr; Bit#(tagSz) tag; Bit#(dataSz) data; } StoreReq; 1.14 +} 1.15 +MemReq#( type addrSz, type tagSz, type dataSz ) 1.16 +deriving(Eq,Bits); 1.17 + 1.18 +typedef union tagged 1.19 +{ 1.20 + struct { Bit#(tagSz) tag; Bit#(dataSz) data; } LoadResp; 1.21 + struct { Bit#(tagSz) tag; } StoreResp; 1.22 +} 1.23 +MemResp#( type tagSz, type dataSz ) 1.24 +deriving(Eq,Bits); 1.25 + 1.26 +//---------------------------------------------------------------------- 1.27 +// Specialized req/resp for inst/data/host 1.28 +//---------------------------------------------------------------------- 1.29 + 1.30 +typedef 32 AddrSz; 1.31 +typedef 08 TagSz; 1.32 +typedef 32 DataSz; 1.33 +typedef 32 InstSz; 1.34 +typedef 32 HostDataSz; 1.35 + 1.36 +typedef MemReq#(AddrSz,TagSz,0) InstReq; 1.37 +typedef MemResp#(TagSz,InstSz) InstResp; 1.38 + 1.39 +typedef MemReq#(AddrSz,TagSz,DataSz) DataReq; 1.40 +typedef MemResp#(TagSz,DataSz) DataResp; 1.41 + 1.42 +typedef MemReq#(AddrSz,TagSz,HostDataSz) HostReq; 1.43 +typedef MemResp#(TagSz,HostDataSz) HostResp; 1.44 + 1.45 +//---------------------------------------------------------------------- 1.46 +// Specialized req/resp for main memory 1.47 +//---------------------------------------------------------------------- 1.48 + 1.49 +typedef 32 MainMemAddrSz; 1.50 +typedef 08 MainMemTagSz; 1.51 +typedef 32 MainMemDataSz; 1.52 + 1.53 +typedef MemReq#(MainMemAddrSz,MainMemTagSz,MainMemDataSz) MainMemReq; 1.54 +typedef MemResp#(MainMemTagSz,MainMemDataSz) MainMemResp; 1.55 + 1.56 +//---------------------------------------------------------------------- 1.57 +// Tracing Functions 1.58 +//---------------------------------------------------------------------- 1.59 + 1.60 +instance Traceable#(MemReq#(a,b,c)); 1.61 + 1.62 + function Action traceTiny( String loc, String ttag, MemReq#(a,b,c) req ); 1.63 + case ( req ) matches 1.64 + tagged LoadReq .ld : $fdisplay(stderr, " => %s:%s l%2x", loc, ttag, ld.tag ); 1.65 + tagged StoreReq .st : $fdisplay(stderr, " => %s:%s s%2x", loc, ttag, st.tag ); 1.66 + endcase 1.67 + endfunction 1.68 + 1.69 + function Action traceFull( String loc, String ttag, MemReq#(a,b,c) req ); 1.70 + case ( req ) matches 1.71 + tagged LoadReq .ld : $fdisplay(stderr, " => %s:%s Ld { addr=%x, tag=%x }", loc, ttag, ld.addr, ld.tag ); 1.72 + tagged StoreReq .st : $fdisplay(stderr, " => %s:%s St { addr=%x, tag=%x, data=%x }", loc, ttag, st.addr, st.tag, st.data ); 1.73 + endcase 1.74 + endfunction 1.75 + 1.76 +endinstance 1.77 + 1.78 +instance Traceable#(MemResp#(a,b)); 1.79 + 1.80 + function Action traceTiny( String loc, String ttag, MemResp#(a,b) resp ); 1.81 + case ( resp ) matches 1.82 + tagged LoadResp .ld : $fdisplay(stderr, " => %s:%s l%2x", loc, ttag, ld.tag ); 1.83 + tagged StoreResp .st : $fdisplay(stderr, " => %s:%s s%2x", loc, ttag, st.tag ); 1.84 + endcase 1.85 + endfunction 1.86 + 1.87 + function Action traceFull( String loc, String ttag, MemResp#(a,b) resp ); 1.88 + case ( resp ) matches 1.89 + tagged LoadResp .ld : $fdisplay(stderr, " => %s:%s Ld { tag=%x, data=%x }", loc, ttag, ld.tag, ld.data ); 1.90 + tagged StoreResp .st : $fdisplay(stderr, " => %s:%s St { tag=%x }", loc, ttag, st.tag ); 1.91 + endcase 1.92 + endfunction 1.93 + 1.94 +endinstance 1.95 +