db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Debugging and Verification of Parallel Systems \- the picoChip Way
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Andrew Duller,  Gajinder Panesar,  Daniel Towner
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Ian R. East, David Duce, Mark Green,  Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X This paper describes the methods that have been developed
   for debugging and verifying systems using devices from the
   picoArray(TM) family. In order to increase the computational
   ability of these devices the hardware debugging support has
   been kept to a minimum and the methods and tools described
   take this into account. An example of how some of these
   methods have been used to produce an 802.16 system is given.
   The important features of the new PC102 device are outlined.