Automatic Generation of Verified Concurrent Hardware.
Marcel OliveiraJim WoodcockPublished in: ICFEM (2007)
Keyphrases
- low cost
- hardware and software
- automatically generate
- real time
- computing power
- embedded systems
- concurrent execution
- random number generator
- software implementation
- massively parallel
- computing systems
- personal computer
- image processing
- databases
- hardware implementation
- computer systems
- computational power
- signal processing
- graphics hardware
- parallel architectures
- hardware architecture
- artificial intelligence
- vlsi implementation
- control program
- information retrieval