view modules/bluespec/Pygar/lab4/ProcessorSystemRRR.rrr @ 46:adcfa79d2c67 pygar svn.47

[svn r47] thru.c vmh which forwards sample
author punk
date Wed, 05 May 2010 12:43:51 -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 };