view 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
line wrap: on
line source
1 service PROCESSORSYSTEMRRR
2 {
3 server hw (bsv, connection) <- sw (cpp, method)
4 {
5 method ReadCPUToHost (out UINT32[32] regValue, in UINT32[32] dummy);
6 method WriteHostToCPU (in UINT32[32] regValue);
7 };
9 server sw (cpp, method) <- hw (bsv, connection)
10 {
11 method MemoryRequestLoad (in UINT32[32] address, out UINT32[32] value);
12 method MemoryRequestStore (in UINT32[32] address, in UINT32[32] value);
13 };
15 };