Steps in the Verification of an Occam-to-FPGA Compiler

Roger M. A. Peel, Wong Han Feng, Javier. Steps in the Verification of an Occam-to-FPGA Compiler. In Hamid R. Arabnia, Jun Ni, editors, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 2. pages 716-724, CSREA Press, 2004.

Abstract

Abstract is missing.