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

Roger M. A. Peel Javier Wong Han Feng

Published in: PDPTA (2004)

Keyphrases

model checking
general purpose
software systems
real time
programming language
low cost

hardware implementation
high speed
single chip
verilog hdl
functional verification
digital signal

verification method
real time image processing
software implementation
hardware architecture
formal verification
field programmable gate array

face verification
signal processing
object oriented
high level
decision trees