annotate modules/bluespec/Pygar/lab4/BRegFile.bsv @ 35:14f7a7ace3f5
pygar svn.36
[svn r36] created test wav files
author |
rlm |
date |
Tue, 04 May 2010 12:14:24 -0400 |
parents |
74716e9a81cc |
children |
52f9a257c2ba |
rev |
line source |
rlm@8
|
1 import RegFile::*;
|
rlm@8
|
2 import RWire::*;
|
rlm@8
|
3 import ProcTypes::*;
|
rlm@8
|
4
|
rlm@8
|
5 //-----------------------------------------------------------
|
rlm@8
|
6 // Register file module
|
rlm@8
|
7 //-----------------------------------------------------------
|
rlm@8
|
8
|
rlm@8
|
9 interface BRegFile #(type index_t, type data_t);
|
rlm@8
|
10 method Action upd(index_t addr, data_t data);
|
rlm@8
|
11 method data_t sub(index_t addr);
|
rlm@8
|
12 endinterface
|
rlm@8
|
13
|
rlm@8
|
14 module mkBRegFile(RegFile#(index_t, data_t))
|
rlm@8
|
15 provisos (Bits#(index_t, size_index),
|
rlm@8
|
16 Bits#(data_t, size_data),
|
rlm@8
|
17 Eq#(index_t),
|
rlm@8
|
18 Bounded#(index_t) );
|
rlm@8
|
19
|
rlm@8
|
20 RegFile#(index_t, data_t) rf <- mkRegFileWCF(minBound, maxBound);
|
rlm@8
|
21 RWire#(Tuple2#(index_t, data_t)) rw <-mkRWire();
|
rlm@8
|
22
|
rlm@8
|
23 method Action upd (index_t r, data_t d);
|
rlm@8
|
24 rf.upd(r,d);
|
rlm@8
|
25 rw.wset(tuple2(r,d));
|
rlm@8
|
26 endmethod
|
rlm@8
|
27
|
rlm@8
|
28 method data_t sub (index_t r);
|
rlm@8
|
29 case (rw.wget()) matches
|
rlm@8
|
30 tagged Valid {.wr, .d} :
|
rlm@8
|
31 return (wr == r) ? d : rf.sub(r);
|
rlm@8
|
32 tagged Invalid : return rf.sub(r);
|
rlm@8
|
33 endcase
|
rlm@8
|
34 endmethod
|
rlm@8
|
35
|
rlm@8
|
36 endmodule
|