annotate modules/bluespec/Pygar/lab4/ProcessorSystemRRR.rrr @ 54:9b4f237e77e1
pygar svn.55
[svn r55] input a bit more parameterized
author |
punk |
date |
Sun, 09 May 2010 12:24:35 -0400 |
parents |
74716e9a81cc |
children |
|
rev |
line source |
rlm@8
|
1 service PROCESSORSYSTEMRRR
|
rlm@8
|
2 {
|
rlm@8
|
3 server hw (bsv, connection) <- sw (cpp, method)
|
rlm@8
|
4 {
|
rlm@8
|
5 method ReadCPUToHost (out UINT32[32] regValue, in UINT32[32] dummy);
|
rlm@8
|
6 method WriteHostToCPU (in UINT32[32] regValue);
|
rlm@8
|
7 };
|
rlm@8
|
8
|
rlm@8
|
9 server sw (cpp, method) <- hw (bsv, connection)
|
rlm@8
|
10 {
|
rlm@8
|
11 method MemoryRequestLoad (in UINT32[32] address, out UINT32[32] value);
|
rlm@8
|
12 method MemoryRequestStore (in UINT32[32] address, in UINT32[32] value);
|
rlm@8
|
13 };
|
rlm@8
|
14
|
rlm@8
|
15 };
|