Steps in the Verification of an Occam-to-FPGA Compiler. - Roger M. A. Peel; Javier Wong Han Feng (PDPTA, 2004)