1 |
85 |
jamey.hick |
// The MIT License
|
2 |
|
|
|
3 |
|
|
// Copyright (c) 2006-2007 Massachusetts Institute of Technology
|
4 |
|
|
|
5 |
|
|
// Permission is hereby granted, free of charge, to any person obtaining a copy
|
6 |
|
|
// of this software and associated documentation files (the "Software"), to deal
|
7 |
|
|
// in the Software without restriction, including without limitation the rights
|
8 |
|
|
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
9 |
|
|
// copies of the Software, and to permit persons to whom the Software is
|
10 |
|
|
// furnished to do so, subject to the following conditions:
|
11 |
|
|
|
12 |
|
|
// The above copyright notice and this permission notice shall be included in
|
13 |
|
|
// all copies or substantial portions of the Software.
|
14 |
|
|
|
15 |
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
16 |
|
|
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
17 |
|
|
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
18 |
|
|
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
19 |
|
|
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
20 |
|
|
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
21 |
|
|
// THE SOFTWARE.
|
22 |
84 |
jamey.hick |
import H264Types::*;
|
23 |
|
|
import GetPut::*;
|
24 |
|
|
import ClientServer::*;
|
25 |
|
|
|
26 |
|
|
|
27 |
|
|
module mkMemoryTee#(Client#(req_type,resp_type) client, Server#(req_type,resp_type) server, String prefix) ()
|
28 |
|
|
provisos(
|
29 |
|
|
Bits#(req_type, req_type_sz),
|
30 |
|
|
Bits#(resp_type, resp_type_sz)) ;
|
31 |
|
|
|
32 |
|
|
rule clientToServer;
|
33 |
|
|
let clientReq <- client.request.get();
|
34 |
|
|
server.request.put(clientReq);
|
35 |
|
|
$write(prefix);
|
36 |
|
|
$write(" REQ ");
|
37 |
|
|
$display("%h", clientReq);
|
38 |
|
|
endrule
|
39 |
|
|
|
40 |
|
|
rule serverToClient;
|
41 |
|
|
let clientResp <- server.response.get();
|
42 |
|
|
client.response.put(clientResp);
|
43 |
|
|
$write(prefix);
|
44 |
|
|
$write(" RESP ");
|
45 |
|
|
$display("%h", clientResp);
|
46 |
|
|
endrule
|
47 |
|
|
|
48 |
|
|
endmodule
|