Steps in the Verification of an Occam-to-FPGA Compiler.
Roger M. A. PeelJavier Wong Han FengPublished 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