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 A transform accelerator for a transputer system
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  C. J. Dodge,  P. G. B. Ross,  P. E. Undrill,  Alastair R. Allen
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E  Alastair R. Allen
%B Proceedings of WoTUG\-15: Transputer Systems \- ongoing Research
%X A DSP based image transform accelerator for a transputer
   system is described. The formal specification language Z has
   been employed in the accelerator design, examples of which
   are presented including aspects of the refinement process
   and some of the problems encountered in working with a
   combined hardware/software specification.